哈博特图是最小的解吗?