暂时还没有其他的办法，如果有也只能是假设法，但是计算机也是用的假设法啊，据说他们把这些情况分1482种情况检查，在计算机上历时1200个小时，作了100亿个判断，才最终证明了四色定理。以上回答你满意么？
