Đồ thị và Mạng lướiMaps

Không có gì tiến triển về bài toán 4 màu cho đến năm 1976, khi Wolfgang Haken và Kenneth Appel sử dụng máy tính để giải bài toán này. Họ gom vô vàn kiểu bản đồ khác nhau thành 1936 kiểu bản đồ cụ thể, mỗi bản đồ được kiểm tra bởi máy tính, tổng cộng hết tất cả 1000 giờ đồng hồ.