618000₫
sổ tra cứu xsmb Năm 1976, cuối cùng thì định lý cũng được chứng minh bởi Kenneth Appel và Wolfgang Haken tại trường Đại học Illinois với sự trợ giúp của máy vi tính (trong khoảng 1000 giờ máy). Nhà khoa học John A. Koch cũng góp phần cải tiến thuật toán để giải quyết trọn vẹn bài toán 4 màu.
sổ tra cứu xsmb Năm 1976, cuối cùng thì định lý cũng được chứng minh bởi Kenneth Appel và Wolfgang Haken tại trường Đại học Illinois với sự trợ giúp của máy vi tính (trong khoảng 1000 giờ máy). Nhà khoa học John A. Koch cũng góp phần cải tiến thuật toán để giải quyết trọn vẹn bài toán 4 màu.
Một số vấn đề đáng kể trong phát triển, hầu hết là với kiểu động cơ nguyên thủy, đã trì hoãn việc sản xuất chiếc Skywarrior cho đến tận mùa Xuân năm 1956. Cho đến lúc đó, chiếc A-3 là chiếc máy bay to nhất và nặng nhất từng được thiết kế để hoạt động thường xuyên trên tàu sân bay, cho dù điều khôi hài là nó chỉ là phần nhỏ nhất được bố trí trên những chiếc tàu sân bay lớn nhất vốn còn chưa được đưa vào hoạt động. Để chứa được dưới hầm tàu, cánh của chiếc A-3 được gấp lên trên bên ngoài các động cơ nằm sát xuống, và cánh đuôi được gấp sang phải . Do kích thước cồng kềnh và kiểu dáng không được thon thả, nó được đặt tên lóng là The Whale (Cá Voi), và sau khi được chuyển đổi sang vai trò chiến tranh điện tử, nó trở thành The Electric Whale (Cá Voi Điện). Việc sản xuất được chấm dứt vào năm 1961.