إثبات بمساعدة الحاسوب

مبرهنة الألوان الأربعة (Four Color Theorem) - هل يمكن تلوين أي خريطة بأربعة ألوان؟