2020年,Y. Wang基于构形和可归约性的经典概念提出了一份四色猜想(The Four Color Conjecture, 4CC)的归谬法证明.首先构造反例指......