Thứ 65 chương Thuận tay chứng nhận
Tiêu Túc đem cái này mấy cái tuyến tại trên notebook nhóm đi ra, còn tại bên cạnh vẽ lên mấy cái mũi tên, đánh dấu ra riêng phần mình bình cảnh.
Đại diện mô hình: Duy đếm tai nạn, lượng tính toán nổ tung.
Nguyên Khải phát: Vô lý luận cam đoan, thu liễm chậm.
Bưng đến bưng: Huấn luyện số liệu ỷ lại, hiện hóa khó khăn chứng nhận.
Hắn nhìn chằm chằm cái này mấy dòng chữ nhìn rất lâu.
Cũng là hảo mạch suy nghĩ, cũng đều tại riêng phần mình trên đường đua làm ra thành quả.
Nhưng Tiêu Túc luôn cảm thấy, bọn chúng thiếu chút gì.
Thiếu chính là đối với vấn đề bản thân kết cấu lý giải.
Những phương pháp này cũng là tại “Giải” Bên trên làm văn chương.
Như thế nào lùng tìm càng nhanh, như thế nào thu thập mẫu càng thông minh, như thế nào mô phỏng hợp chuẩn hơn.
Nhưng chúng nó rất ít đi hỏi, cái này chờ giải ưu hóa vấn đề, bản thân nó có cái gì ở bên trong tính chất?
Có cái gì là không đổi?
Có cái gì tính đối xứng?
Giống như giải vi phân phương trình, ngươi hướng về phía một cái phương trình cứng rắn tính toán có thể tính tới thiên hoang địa lão.
Nhưng nếu như có thể phát hiện nó là cái nào đó bảo toàn hệ thống Euler - Lagrangian phương trình, lập tức liền có thể sử dụng biến phân nguyên lý đem nó đơn giản hoá hơn phân nửa.
Ưu hóa vấn đề cũng giống vậy.
Tiêu Túc nhớ tới phía trước đã học qua Lý Quần cùng Lý Đại Số nội dung.
Nhóm luận nghiên cứu chính là tính đối xứng, tại một loại nào đó biến hóa phía dưới bảo trì không đổi tính chất.
Nếu như một cái hệ thống có tính đối xứng, như vậy nó giải tất nhiên rơi vào một ít đặc định trên quỹ đạo.
Những thứ này quỹ đạo kết cấu, so toàn bộ không gian đơn giản hơn nhiều.
Công nghiệp trong cảnh tượng những cái kia cao duy ngẫu hợp số liệu, thật sự hoàn toàn ngẫu nhiên sao?
Không phải.
Thiết bị vận hành tham số ở giữa, nhất định có một loại nào đó vật lý quy luật tại ước thúc.
Sinh sản lưu trình số liệu, nhất định có nhân quả dây xích tại khu động.
Cho dù là nhìn hỗn loạn nhất tiếng ồn, cũng có thể là có một loại nào đó thống kê bên trên không biến tính.
Nếu như có thể tìm được những thứ này không biến tính, dùng bọn chúng đem cao duy không gian “Phân tầng” “Phân diệp”, đem một cái vấn đề lớn phá giải thành một hệ liệt thấp duy tử vấn đề tổ hợp......
Tiêu Túc ngòi bút dừng ở trên giấy.
Đây chính là hắn tại trong phòng họp chưa kịp nghĩ lại phương hướng.
Hình lá kết cấu là trong hình học vi phân một cái khái niệm, miêu tả như thế nào đem một cái cao duy Lưu Hình phân giải thành một số thấp duy “Lá cây”, mỗi cái lá cây nội bộ bóng loáng, lá cây ở giữa không tương giao.
Lúc trước hắn đã vận dụng phương pháp này giải quyết mấy cái khóa đề chỗ khó, nhưng mà không có nghĩ qua vận dụng đến vấn đề này.
Nếu như có thể cấu tạo ra dạng này một cái kết cấu, để cho ưu hóa vấn đề cục bộ giải pháp tốt nhất rơi vào trên khác biệt lá cây, toàn cục giải pháp tốt nhất rơi vào nào đó phiến đặc định trên phiến lá, vậy thì trước tiên có thể tìm lá cây, lại tìm trên phiến lá điểm.
Lùng tìm không gian bị áp súc.
Từ toàn bộ cao duy không gian, áp súc đến vài miếng thấp duy Lưu Hình thượng.
Tiêu Túc tại trên notebook viết xuống một cái từ: Hình lá kết cấu.
Lại viết xuống một cái khác từ: Lý Quần tác dụng.
Nếu có thể ở trên mục tiêu hàm số định nghĩa vực định nghĩa một cái Lý Quần tác dụng, sau đó dùng nhóm tác dụng quỹ đạo đến phân diệp, như vậy cùng một cái trên quỹ đạo điểm, tất nhiên có một loại nào đó giống nhau tính chất.
Nếu như có thể chứng minh toàn cục giải pháp tốt nhất nhất định rơi vào trên một loại nào đó đặc biệt quỹ đạo loại hình, vậy thì trước tiên có thể dùng nhóm luận đem quỹ đạo loại hình phân loại, sẽ ở số ít mấy loại trong quỹ đạo tinh tế lùng tìm.
Trên lý luận là có thể được.
Nhưng vấn đề cũng theo nhau mà tới.
Đầu tiên, mục tiêu hàm số kết cấu là không biết.
Nếu như là hộp đen vấn đề, chỉ biết là đưa vào thu phát số liệu, định nghĩa thế nào nhóm tác dụng?
Thứ yếu, dù cho có thể định nghĩa nhóm tác dụng, như thế nào cam đoan quỹ đạo phân diệp cùng ưu hóa vấn đề cực trị kết cấu là kiêm dung?
Nếu như một chiếc lá bên trong vừa có cao phong lại có thung lũng, cái kia phân cũng là trắng phân.
Đệ tam, cũng là khó khăn nhất, như thế nào định vị toàn cục giải pháp tốt nhất chỗ cái kia cái lá cây?
Cái này cần một loại nào đó “Không lượng biến đổi”, một cái tại nhóm tác dụng phía dưới bảo trì không thay đổi lại có thể chỉ thị cực trị vị trí đại lượng vô hướng hàm số.
Tiêu Túc tại trên notebook viết xuống 3 cái dấu chấm hỏi, tiếp đó nhìn chằm chằm bọn chúng xuất thần.
Ngoài cửa sổ ve kêu càng ngày càng vang lên.
Trong tiệm sách hơi lạnh mở rất đủ, đầu ngón tay của hắn lại hơi hơi phát nhiệt.
Những vấn đề này, mỗi một cái đều đủ nghĩ rất lâu.
Nhưng ít ra, phương hướng có.
Mấy ngày kế tiếp, Tiêu Túc sinh hoạt trở nên cực kỳ đơn giản.
Bảy giờ sáng nửa, từ phòng ngủ đi đến thư viện, lầu ba gần cửa sổ cái bàn kia, ngồi xuống, mở sách.
Giữa trưa đi nhà ăn tùy tiện ăn một chút, trở về tiếp tục.
Chạng vạng tối đóng quán, trở về phòng ngủ rửa mặt, tiếp đó đi đếm học viện nghiên cứu cái gian phòng kia phòng làm việc nhỏ, tiếp tục đợi cho đêm khuya.
Văn phòng Bạch Bản Thượng chữ viết từ đầu tán biến thành đông đúc, lại từ đông đúc bị lau làm lại.
Tiếp đó, hắn tại Bạch Bản Thượng vẽ lên một cái đơn giản hai chiều khảo thí hàm số. Nó có hai cái bướu lạc đà, một cái cao một cái thấp, toàn cục giải pháp tốt nhất ngay tại trên lùn cái kia.
Hắn thử dùng chính mình thiết tưởng phương pháp cấu tạo hình lá kết cấu, nhưng mà thất bại.
Phân Diệp Duy Nhất tính chất cam đoan không được, cùng một cái điểm có thể phân đến khác biệt trên phiến lá, sau này ưu hóa kết quả đi theo chạy loạn.
Sau đó, hắn từ thư viện mượn tới một bản 《 Lê Mạn Lưu Hình hình lá kết cấu lý luận 》, lật đến bộ phận sau, một lần nữa nghiên cứu “Hình lá kết cấu đang thì tính chất” Cái kia một chương.
“Phải bảo đảm hình lá kết cấu duy nhất, cần định nghĩa một cái đang chảy hình thượng khắp nơi không phải thoái hóa có thể tích phân bố.”
Tiêu Túc nhìn chằm chằm hàng chữ kia nhìn rất lâu, tiếp đó tại Bạch Bản Thượng gia một nhóm công thức.
Dùng Lý Đại Số kết cấu hằng số tới cấu tạo cái này phân bố.
Tiếp đó hắn lại cho mượn 《 Lý Quần tác dụng ở dưới hệ thống động lực 》, đọc được “Quỹ đạo loại hình phân giải” Cái kia một tiết lúc, hắn ngừng lại.
Một chương này viết lên, nếu như Lý Quần tác dụng là bóng loáng, như vậy Lưu Hình thượng điểm có thể căn cứ vào mê hướng Tử Quần chung ách loại đến phân loại, mỗi một loại cấu thành một cái bóng loáng tử Lưu Hình.
Những mầm mống này Lưu Hình, chính là quỹ đạo “Hình”.
Tiêu Túc trong đầu thoáng qua một cái ý niệm.
Mê hướng Tử Quần, cố định cái nào đó điểm những cái kia nhóm nguyên tố tạo thành Tử Quần.
Khác biệt điểm, có thể có khác biệt loại hình mê hướng Tử Quần.
Nếu như có thể chứng minh, toàn cục giải pháp tốt nhất mê hướng Tử Quần loại hình là duy nhất, hoặc ít nhất là hiếm thấy, vậy thì có thể ngược lại, trước tiên tìm tất cả khả năng mê hướng Tử Quần loại hình, tiếp đó chỉ lùng tìm những khả năng kia bao hàm toàn cục tối ưu loại hình.
Ý nghĩ này so với hắn phía trước thiết tưởng “Không lượng biến đổi” Càng tinh tế hơn.
Không lượng biến đổi là đại lượng vô hướng hàm số, quá lớn.
Mê hướng Tử Quần loại hình là đại số kết cấu, lượng tin tức lớn hơn.
Hắn lập tức ở trên notebook đem cái này mạch suy nghĩ nhớ kỹ, tiếp đó bắt đầu suy luận.
Sau đó, hắn dùng cả một cái buổi sáng tới nghiệm chứng ý nghĩ này tại trên đơn giản ví dụ khả thi.
Hắn trước tiên cấu tạo mấy cái thấp duy khảo thí hàm số, mỗi cái hàm số đều chắc chắn nghĩa một cái đơn giản Lý Quần tác dụng, tức xoay tròn nhóm hoặc bình di nhóm.
Tiếp đó hắn tính toán mỗi cái gọi lên mê hướng Tử Quần, phân loại, lại so sánh những thứ này phân loại cùng hàm số cực trị điểm phân bố.
Kết quả so với hắn dự đoán muốn hảo.
Đang xoay tròn cân đối hàm số bên trên, toàn cục ưu điểm nhất vừa vặn là mê hướng Tử Quần lớn nhất những cái kia điểm, cũng chính là xoay tròn tính đối xứng cao nhất điểm.
Tại trên bình di cân đối hàm số, toàn cục ưu điểm nhất rơi vào mê hướng Tử Quần bình thường trên quỹ đạo, cũng chính là không có bất kỳ cái gì tính đối xứng điểm.
Hai loại cực đoan, nhưng đều có quy luật.
Tiêu Túc tựa lưng vào ghế ngồi, nhìn xem Bạch Bản Thượng rậm rạp chằng chịt suy luận, thật dài thở ra một hơi.
Có thể thực hiện.
Ít nhất tại trên đơn giản ví dụ, có thể thực hiện.
Sau đó muốn làm, là đem bộ này phương pháp mở rộng đến lúc bình thường.
Cần chứng minh tồn tại tính chất, cần đưa ra cấu tạo toán pháp, cần phân tích tính toán phức tạp độ, cần nghiệm chứng tại Cao Duy Phi tuyến tính chất trên hệ thống biểu hiện......
Sự tình còn rất nhiều.
Nhưng khó khăn nhất quan khẩu, đã qua.
Tiêu Túc đứng lên, hoạt động một chút có chút cứng ngắc bả vai.
Mấy ngày kế tiếp, Tiêu Túc dọc theo cái phương hướng này không ngừng suy xét, cuối cùng tại một cái ngày mưa viết xong cuối cùng luận văn.
Hắn tựa lưng vào ghế ngồi, nhìn chằm chằm trên màn hình ngày đó ba mươi bảy trang văn kiện, phát mấy giây ngốc.
Thư viện điều hoà không khí càng không ngừng tản ra hơi lạnh, ngoài cửa sổ mưa to nhào vào trên tường thủy tinh, hiện ra một loại trầm trọng kiềm chế.
Điện thoại chấn một cái.
Là Cố Thanh Trần tin tức.
“Xong việc không có? Ta tại thư viện cửa.”
Tiêu Túc trở về cái “Ân”, đóng lại máy tính, cầm lấy dù đi ra ngoài.
Cửa lầu, Cố Thanh Trần che dù đứng ở nơi đó, trong tay mang theo hai cái phích nước ấm, bên trong chứa táo đỏ cây long nhãn trà.
“Đi, đi phòng làm việc của ta nói.”
Hắn đem trong đó một cái ly đưa cho Tiêu Túc, “Ngươi mấy ngày nay có phải hay không lại thức đêm? Lưu Hạo Nhiên nói với ta, hắn 12h khuya đi ngang qua ngươi phòng ngủ, nhìn nhà của ngươi đèn vẫn sáng.”
Tiêu Túc tiếp nhận phích nước ấm, không có tiếp lời.
Cố Thanh Trần nhìn ra hắn đang giả ngu, bất đắc dĩ lắc đầu, dẫn người hướng về văn phòng đi.
Hai người xuyên qua màn mưa, đế giày giẫm ra một chuỗi bọt nước.
Lên lầu thời điểm Cố Thanh Trần lại hỏi: “Tiêu đề nghĩ kỹ?”
“Nghĩ kỹ.” Tiêu Túc nói.
“Kêu cái gì?”
“《 Căn cứ vào Lý Quần quỹ đạo phân loại Cao Duy Phi tuyến tính chất toàn cục ưu hóa phương pháp 》.”
Cố Thanh Trần gật gật đầu, đẩy ra cửa văn phòng.
Trong phòng mở lấy đèn, trên giá sách chất đầy sách, trên bàn bày ra mấy quyển lật đến một nửa tập san.
Cố Thanh Trần đem phích nước ấm thả xuống, kéo qua một cái ghế ngồi xuống, vỗ vỗ chỗ bên cạnh: “Tới, cho ta xem một chút.”
Tiêu Túc bật máy tính lên, đem màn hình xoay qua chỗ khác.
Trong văn phòng an tĩnh lại, chỉ có ngoài cửa sổ tí tách tí tách tiếng mưa rơi.
Cố Thanh Trần một nhóm một nhóm nhìn xuống, ngẫu nhiên hoạt động một chút con chuột, ngẫu nhiên dừng lại nhìn chằm chằm một đoạn xuất thần.
Tiêu Túc tựa ở bên cửa sổ uống trà, ánh mắt rơi vào trên ngoài cửa sổ màn mưa.
Đại khái qua hai mươi phút, Cố Thanh Trần ngẩng đầu, biểu lộ có chút phức tạp.
“Ngươi cái này......” Hắn dừng một chút, giống như là tại sắp xếp ngôn ngữ, “Ngươi cái này không chỉ là giải quyết một vấn đề.”
Tiêu Túc không nói chuyện.
Cố Thanh Trần lại cúi đầu xuống, lật về phía trước vài trang, lại nhìn mấy hàng, lại lật trở về.
Như thế nhiều lần mấy lần, cuối cùng hắn đem con chuột vừa để xuống, hướng về trên ghế dựa dựa vào một chút, thật dài thở hắt ra.
“Ngươi có nhớ hay không Érd cái cái kia phỏng đoán?”
Tiêu Túc gật đầu.
Érd cái là Princeton đại học giáo sư, quốc tế không phải tuyến tính chất phân tích lĩnh vực tuyệt đối quyền uy.
Hắn tại hai mươi năm trước đưa ra một cái liên quan tới Cao Duy Phi lồi hàm số toàn cục giải pháp tốt nhất tồn tại tính chất phỏng đoán, một mực không thể chứng minh.
Suy đoán này nếu có thể chứng nhận đi ra, toàn cục ưu hóa lý luận cơ sở có thể hướng phía trước đẩy một bước dài.
Cố Thanh Trần chỉ vào màn hình: “Ngươi trong này, thuận tay cho hắn chứng nhận.”
Tiêu Túc “Ân” Một tiếng.
“Liền ‘Ân ’?” Cố Thanh Trần cười, “Érd cái lão gia tử nếu là nhìn thấy ngươi cái này luận văn, đoán chừng phải mất ngủ.”
Tiêu Túc nghĩ nghĩ: “Vậy ta thêm một cái gửi tới lời cảm ơn.”
Cố Thanh Trần bị hắn lời này chẹn họng một chút, sửng sốt hai giây, tiếp đó cười ra tiếng.
“Được được được, ngươi lợi hại.”
Hắn đứng lên, đi đến bên cửa sổ, nhìn xem mưa bên ngoài, đột nhiên hỏi, “Gửi bản thảo nghĩ được chưa?”
Tiêu Túc nói: “《 Toán học phát minh 》 a.”
Tiêu Túc phía trước ngày đó liên quan tới có lý điểm song bánh quy điểm phụ cận thêm quyền độ lượng tính toán luận văn, chính là phát tại trên cái này tập san.
Cố Thanh Trần gật gật đầu, không có hỏi nhiều nữa.
Hắn đã đầy đủ hiểu rõ Tiêu Túc.
Hắn không phải loại kia cần người khác cổ vũ hoặc đề nghị loại hình, hắn làm mỗi một cái quyết định, cũng là chính mình nghĩ rõ.
Hỏi nhiều ngược lại là nói nhảm.
Mưa nhỏ lại chút, biến thành nhỏ nhỏ mưa bụi.
Cố Thanh Trần yên lặng nhìn xem hắn: “Vậy thì ném a.”
Tiêu Túc gật gật đầu, “Ân” Một tiếng.