Tân sinh đưa tin thời gian tổng cộng có hai ngày, cho nên ngày thứ ba mới có thể chính thức đi học.

Hơn nữa từ hôm nay trở đi, hắn liền có mỹ nữ bồi hắn cùng nhau học tập lạp, không bao giờ dùng mỗi ngày nhìn cái kia cơ bắp mãnh nam.

Cùng đinh tiểu kỳ mặt đối mặt ngồi, Thẩm từ tâm quyết định hôm nay nghiên cứu một chút mấy ngày hôm trước rút thăm trúng thưởng trừu đến cái gì bốn màu định lý.

Không biết các ngươi khi còn nhỏ có hay không quan sát quá trong nhà bản đồ, vô luận cỡ nào phức tạp địa hình, như thế nào khúc chiết biên giới, chỉnh trương bản đồ đều chỉ dùng bốn loại nhan sắc tô màu. Mà đây là bốn màu vấn đề từ mặt chữ thượng miêu tả vấn đề.

Mà nói lên bốn màu định lý, liền không thể không nhắc tới chúng ta sinh hoạt hằng ngày trung sở dụng một cái cơ bản công cụ sản xuất máy tính. Bởi vì hiện tại cơ hồ sở hữu bốn màu định lý chứng minh tương quan quá trình đều dùng tới rồi máy tính. Này cũng vì toán học vấn đề chứng minh phương pháp mở ra một cái tân ý nghĩ, tức máy tính phụ trợ chứng minh pháp.

Mà vấn đề này sớm nhất là từ tốt nghiệp ở Luân Đôn đại học cách tư ở 1852 năm đưa ra, ngay lúc đó hắn đang ở một nhà nghiên cứu khoa học đơn vị công tác, ngẫu nhiên gian chú ý tới bản đồ tô màu chỉ dùng bốn loại thuốc màu, vì thế không tự chủ được đưa ra như vậy một vấn đề.

Hắn vốn tưởng rằng lấy chính mình Luân Đôn đại học cao tài sinh thân phận, cái này nho nhỏ vấn đề còn không phải dễ như trở bàn tay, chính là ở phía sau tới nghiên cứu trung, cho dù mời sư từ trứ danh toán học gia đức • Morgan đồng bào đệ đệ, lại hao phí suốt ba tháng thời gian, vấn đề này cũng không hề tiến triển.

Vì thế cùng năm mười tháng bọn họ thỉnh giáo Morgan, chính là ngay cả Morgan cũng không có cách nào giải quyết vấn đề này, vì thế vấn đề này lại một lần truyền lưu đến hắn bạn tốt, trứ danh toán học gia Hami đốn tước sĩ trong tay, nhưng là vị này đáng thương lão tước sĩ đến chết cũng không có giải quyết vấn đề này.

Lại sau lại thẳng đến 1872 năm, lúc ấy trứ danh toán học gia Khải Lợi mới chính thức hướng Luân Đôn toán học học được đưa ra vấn đề này, từ đó về sau vấn đề này đã bị thế giới rộng khắp chú ý.

Ở 1878 năm cùng 1880 năm cùng sở hữu hai tên toán học gia đệ trình luận văn, tuyên bố chứng minh rồi bốn màu định lý, chính là sau lại toàn bộ bị lật đổ.

Sau lại lục tục lại có rất nhiều người tự xưng chứng minh rồi, chính là không ai có thể hoàn toàn chính xác cấp ra làm chứng minh phương pháp.

Thẳng đến 1913 năm, nước Mỹ toán học gia áo khắc hoắc phu kết hợp tiền nhân phương pháp, dùng tân thiết tưởng, từ nhỏ bản đồ bắt đầu, từng bước trinh thám chứng minh.

Nhưng dùng loại này phương pháp tiến bộ thong thả, 47 năm qua đi, tới rồi 1960 năm, mới từ chứng minh 22 quốc dưới bản đồ có thể dùng bốn màu tô màu, đẩy mạnh đến 50 quốc dưới.

Sau đó chính là máy tính phát minh cùng vận dụng.

1976 năm, nước Mỹ Illinois đại học lợi dụng máy tính phụ trợ, làm 10 tỷ cái phán đoán, kết quả không có một trương bản đồ là yêu cầu bốn màu trở lên, rốt cuộc đến đây bốn màu định lý chứng minh rốt cuộc bị họa thượng một cái không tính hoàn mỹ dấu chấm câu.

Nhưng bởi vì máy tính luận chứng phương pháp cứu này căn bản vẫn là phương pháp enumeration, cũng không pháp cấp ra lệnh người tin phục tự hỏi quá trình, cho nên mọi người vẫn là đang tìm kiếm một loại ngắn gọn toán học ngôn ngữ tới chứng minh.

Xem xong bốn màu định lý phát triển lịch sử, Thẩm từ tâm trong lòng đối vấn đề này đại khái có cái hiểu biết, đồng thời cũng may mắn chính mình không có giống một con sa điêu giống nhau, lúc ấy trực tiếp đem luận văn phát ra đi.

Bốn màu định lý chính là thế giới cận đại tam đại toán học phỏng đoán chi nhất, ( mặt khác hai đại phỏng đoán là Định lý lớn Fermat cùng Goldbach phỏng đoán ) tuy rằng đã bị máy tính chứng minh rồi, nhưng bằng vào chính mình một cái nho nhỏ chuẩn sinh viên thân phận phát biểu một thiên giải quyết thế giới cấp nan đề luận văn, phỏng chừng chính mình có khả năng bị cắt miếng nghiên cứu.

Hiện tại toán học giới đối với bốn màu định lý thái độ phân thành hai cái bè phái. Một bộ phận người cho rằng bốn màu định lý hẳn là kêu bốn màu phỏng đoán, bởi vì nó còn không có bị nhân loại dùng ngắn gọn toán học ngôn ngữ chứng minh, này cũng ý nghĩa này một bộ phận người cũng không thừa nhận máy tính chứng minh quyền uy tính cùng khoa học tính.

Một khác bộ phận người tắc cho rằng nếu cái này định lý đã bị máy tính chứng minh rồi, như vậy cũng đã có thể nói là định lý.

Sau đó Thẩm từ tâm cảm thấy cái này mệnh đề quá khó khăn, trong lúc nhất thời thương tâm quá độ, cư nhiên rời đi nhân thế.

Đinh tiểu kỳ nghe thấy cái này tin tức, cũng thương tâm quá độ rời đi nhân thế.

Trần bưu mất đi bạn tốt, cũng thương tâm quá độ, rời đi nhân thế.

Nga, đúng rồi, còn có công cụ người giả minh, nghe thấy cái này tin tức cũng thương tâm quá độ, rời đi nhân thế.

…… Toàn thư xong

Giang hồ tái kiến, các vị bảo trọng.