展开 四色问题的解决利用了计算机的哪些优势