سلام
آیا بعد از اثباتی که توسط کامپیوتر شده اثبات دیگری هم برای این قضیه مطرح شده؟ یا اصلا روشی هست که به وسیله ی اون روش بشه نقشه ای رو با چهار رنگ، رنگ کرد؟ منظورم الگوریتمی هست که به وسیله اون بشه هر نقشه ای رو با چهار رنگ، رنگ کرد؟ البته الگوریتم که زیاده ولی الگوریتمی که ثابت شده باشه که به وسیله این الگوریتم حتما میشه این کار رو کرد منظور من هست. آیا ارائه همچین الگوریتمی به معنی اثبات قضیه نیست؟
ممنون.