Thứ 42 chương Máy tính nan đề
Sáng sớm hôm sau, Chu Vũ Hiên treo lên hai cái mắt quầng thâm vọt vào khoa máy tính phòng thí nghiệm.
Hắn cơ hồ là một đêm không ngủ, cả đêm đều tại điều chỉnh thử Tiêu Túc nói lên cái kia toán học mô hình.
Nhưng trong ánh mắt của hắn lóe ánh sáng, loại kia chỉ có phá giải nan đề sau mới có hưng phấn tia sáng.
“Triệu sư huynh! Ta làm xong!”
Hắn đem Laptop hướng về trên bàn vừa để xuống, thanh âm lớn toàn bộ người của phòng thí nghiệm đều xoay đầu lại.
Triệu Minh Viễn từ trong một đống dấu hiệu ngẩng đầu, đẩy vừa dầy vừa nặng kính mắt:
“Cái gì làm xong?”
“Nhiệm vụ dự đoán mô hình! Ngươi đến xem!”
Chu Vũ Hiên ấn mở một cái chương trình giới diện, phía trên nhảy lên thời gian thực sinh thành mô phỏng số liệu.
Triệu Minh Viễn tiến tới nhìn mấy giây, con mắt đột nhiên trợn to.
Hắn đoạt lấy con chuột, nhanh chóng hoán đổi lấy khác biệt số liệu đồ thị hình chiếu, hô hấp dần dần trở nên gấp rút.
“Xác suất trúng...... Tăng lên 12.3%?”
Hắn khó có thể tin nhìn xem Chu Vũ Hiên, “Ngươi dùng phương pháp gì làm được? Chúng ta thử mười mấy thiên đỉnh sẽ trong luận văn phép tính, tốt nhất cũng chỉ có thể đề thăng 4%!”
Trong phòng thí nghiệm mấy cái khác tiến sĩ sinh cũng vây quanh, nhìn chằm chằm trên màn hình đẹp không tưởng nổi đường cong đồ.
“Đây quả thực giống gian lận.”
Một cái mang mắt kiếng gọng đen nữ sinh lẩm bẩm nói, “Chúng ta tập dữ liệu rất bẩn, có rất nhiều tiếng ồn, giới hạn trên lý thuyết hẳn là ngay tại trên dưới 8% ......”
Chu Vũ Hiên gãi đầu một cái, đột nhiên có chút ngượng ngùng:
“Kỳ thực...... Không phải ta một người giải quyết.”
“Đó là ai? Ngươi tìm ngoài trường chuyên gia?” Triệu Minh Viễn truy vấn.
“Là Tiêu Túc. Nhà trọ chúng ta Tiêu Túc.”
Chu Vũ Hiên nói, “Liền cái kia toán học hệ thiên tài, các ngươi hẳn nghe nói qua.”
Trong phòng thí nghiệm an tĩnh mấy giây.
Tiếp đó có người hít vào một ngụm khí lạnh.
“Cái kia mười lăm tuổi phát JAMS Tiêu Túc?”
Kính đen nữ sinh hỏi, “Ta cho là hắn chỉ là làm thuần toán học......”
“Cho nên hắn giải quyết như thế nào?”
Triệu Minh Viễn vội vàng hỏi, “Dùng cái gì toán học công cụ?”
Chu Vũ Hiên há to miệng, đột nhiên phát hiện mình nói không rõ ràng.
Hắn nếm thử hồi ức tối hôm qua Tiêu Túc tại trên giấy viết những cái kia công thức, những cái kia danh từ “Điểm quá trình”, “Hawkes quá trình”, “Ngẫu nhiên tối ưu khống chế”, “Hamilton-Jacobi-Bellman phương trình”.
Mỗi một cái hắn đều nghe qua, nhưng liền cùng một chỗ giống như thiên thư.
“Hắn nói...... Phải dùng điểm quá trình thiết lập mô hình, bởi vì nhiệm vụ ở giữa có từ kích hiệu ứng.”
Chu Vũ Hiên cố gắng thuật lại, “Tiếp đó cần giải một cái ngẫu nhiên vấn đề khống chế, Dùng...... Dùng biến phân suy đoán tới tránh duy đếm tai nạn?”
Hắn nói đến đập nói lắp ba, mấy cái tiến sĩ sinh biểu lộ từ chờ mong đã biến thành hoang mang.
Triệu Minh Viễn nhíu mày:
“Điểm quá trình tại tính toán nhiệm vụ thiết lập mô hình bên trong ứng dụng...... Ta giống như ở đâu gặp qua liên quan luận văn.”
Hắn cấp tốc tại trên máy tính lùng tìm, mấy phút sau điều ra một thiên dự sách in.
“Là bản này, năm ngoái NeurIPS trong hội nghị việc làm, nhưng tác giả cũng thừa nhận phương pháp của bọn hắn chỉ áp dụng với quy mô nhỏ số liệu.”
“Tiêu Túc nói có thể kết hợp Monaco phương pháp.” Chu Vũ Hiên nói bổ sung.
“Monaco + Điểm quá trình + Ngẫu nhiên khống chế......”
Triệu Minh Viễn tự lẩm bẩm, con mắt càng ngày càng sáng, “Cái này mạch suy nghĩ cực kỳ ngang tàng, nhưng trên lý luận hoàn toàn có thể thực hiện! chờ đã, trong này toán học lượng tính toán hẳn là to lớn vô cùng, các ngươi như thế nào thực hiện?”
Chu Vũ Hiên cười khổ:
“Tiêu Túc cho ta mấy cái đơn giản hoá xấp xỉ kỹ xảo. Nói thật, những cái kia toán học suy luận chính ta cũng không hoàn toàn xem hiểu, chỉ là dựa theo hắn cho trình tự thực hiện.”
Trong phòng thí nghiệm lại là hoàn toàn yên tĩnh.
Mấy cái tiến sĩ sinh liếc nhìn nhau, đều có thể từ đối phương trong mắt nhìn thấy đồng dạng rung động.
Bọn họ đều là khoa máy tính người nổi bật, toán học bản lĩnh đều không kém, nhưng nghe Chu Vũ Hiên miêu tả, Tiêu Túc sử dụng toán học công cụ đã vượt ra khỏi bọn hắn quen thuộc phạm trù.
“Ta muốn gặp mặt cái này Tiêu Túc.”
Triệu Minh Viễn đột nhiên nói, “Trên tay chúng ta còn có cái vấn đề khó khăn lớn hơn, kẹt gần một tháng. Nếu như có thể mời hắn xem......”
9:00 tối, Tiêu Túc đang ngồi ở trước bàn sách nhìn một bản thật dày 《 Tính toán Số Học Đạo Luận 》.
Dưới ánh đèn, gò má của hắn hình dáng rõ ràng, ánh mắt chuyên chú đến phảng phất toàn bộ thế giới chỉ còn lại trên trang sách công thức.
Chu Vũ Hiên đẩy cửa lúc đi vào, Tiêu Túc vừa vặn lật qua một trang.
“Tiếu ca!”
Chu Vũ Hiên trong thanh âm mang theo không ức chế được hưng phấn, “Ngươi đoán làm gì? Hôm nay ta đem cái kia mô hình đưa cho Triệu sư huynh nhìn, bọn hắn toàn bộ người của phòng thí nghiệm đều sợ ngây người!”
Tiêu Túc ngẩng đầu, trên mặt không có gì biểu lộ: “Giải quyết vấn đề liền tốt.”
“Không chỉ là cái này!”
Chu Vũ Hiên kéo qua cái ghế ngồi xuống, “Triệu sư huynh bọn hắn bây giờ gặp phải một cái vấn đề khó khăn lớn hơn, là khoa máy tính trọng điểm phòng thí nghiệm đầu đề, đã kẹt một tháng. Hắn muốn mời ngươi giúp một tay xem, ngày mai có thời gian không?”
Tiêu Túc nghĩ nghĩ, gật gật đầu: “Có thể. Ta vừa vặn tại nhìn tính toán toán học đồ vật.”
Hắn nói đến hời hợt, nhưng Chu Vũ Hiên biết câu nói này trọng lượng.
Tiêu Túc nói “Vừa vặn tại nhìn”, vậy ý nghĩa hắn đã hệ thống nghiên cứu cái lĩnh vực đó, mà không phải tùy tiện lật qua.
“Tiếu ca, ngươi như thế nào đột nhiên đối với tính toán toán học cảm thấy hứng thú?”
Chu Vũ Hiên tò mò hỏi, “Phía trước ngươi không phải một mực tại làm bao nhiêu cùng số học vật lý sao?”
Tiêu Túc khép sách lại, hiếm thấy nói thêm vài câu lời nói: “Tính toán toán học rất có ý tứ.”
“Cho nên ngươi muốn nghiên cứu tính toán toán học?” Chu Vũ Hiên hỏi.
“Còn tại hiểu rõ.” Tiêu Túc nói, “Nhưng máy tính cùng số học kết hợp chính xác chơi rất vui.”
Hắn nói “Chơi vui”, giống như hài tử bình thường nói chơi game chơi vui tự nhiên.
Nhưng Chu Vũ Hiên biết, Tiêu Túc “Chơi vui” Mang ý nghĩa có thể muốn giải quyết cái nào đó lĩnh vực trọng đại nan đề.
Kinh đại khoa máy tính lầu chính là trong sân trường tối hiện đại hóa một trong kiến trúc, pha lê màn tường dưới ánh mặt trời chiếu lấp lánh.
Lầu một đại sảnh trên màn hình nhấp nhô biểu hiện ra mới nhất nghiên cứu khoa học thành quả cùng học thuật hoạt động thông tri.
Chu Vũ Hiên mang theo Tiêu Túc xuyên qua hành lang, hai bên cửa phòng thí nghiệm phần lớn là mở, có thể trông thấy bên trong thành hàng server tủ máy, cực lớn màn hình cùng Bạch Bản Thượng rậm rạp chằng chịt công thức.
“Bên này.”
Chu Vũ Hiên đẩy ra một phiến ghi rõ “Cao tính năng tính toán phòng thí nghiệm” Môn.
Trong phòng thí nghiệm bày mười mấy đài máy trạm, treo trên tường ba khối màn hình lớn, giờ phút này đang hiện lên phức tạp mạng lưới topol (cấu trúc liên kết) đồ cùng thời gian thực dòng số liệu.
5 cái tiến sĩ sinh vây quanh ở bạch bản phía trước thảo luận cái gì, Triệu Minh Viễn đứng ở chính giữa, cầm trong tay bút dạ, cau mày.
“Triệu sư huynh, Tiêu Túc tới.” Chu Vũ Hiên nói.
Tất cả mọi người đều xoay đầu lại.
Tiêu Túc mặc đơn giản màu trắng T lo lắng cùng quần jean, thân hình còn rất non nớt, nhìn hoàn toàn không giống trong truyền thuyết toán học thiên tài.
Triệu Minh Viễn sửng sốt một chút, lập tức bước nhanh đi tới:
“Tiêu Túc đồng học, cửu ngưỡng đại danh! Ta là Triệu Minh Viễn, khoa máy tính bác ba.”
Tiêu Túc gật gật đầu, cùng hắn nắm tay.
“Chu Vũ Hiên hẳn là theo như ngươi nói, chúng ta có một vấn đề khó khăn muốn mời ngươi giúp một tay xem.”
Triệu Minh Viễn đi thẳng vào vấn đề, “Tới, mời tới bên này.”
Hắn đem Tiêu Túc đưa đến bạch bản phía trước.
Bạch Bản Thượng viết đầy công thức cùng ngụy dấu hiệu, còn dán mấy trương in ra biểu đồ.
“Chúng ta đang làm một cái đại quy mô đồ tính toán hệ thống ưu hóa hạng mục.”
Triệu Minh Viễn bắt đầu giảng giải, “Nói đơn giản, chính là xử lý siêu đại quy mô đồ số liệu. Tỉ như xã giao mạng lưới, protein hỗ trợ lẫn nhau mạng lưới, internet kết nối quan hệ loại này. Một cái đồ có thể có mấy chục ức cái tiết điểm, mấy trăm ức đầu bên cạnh.”
Tiêu Túc an tĩnh nghe, con mắt nhìn chằm chằm bạch bản thượng công thức.
“Truyền thống phương pháp là đồ chia cắt, đem hình lớn cắt thành khối nhỏ, phân phối đến trên khác biệt tính toán tiết điểm xử lý.”
Triệu Minh Viễn nói tiếp, “Nhưng vấn đề ở chỗ, rất nhiều đồ toán pháp cần tại khác biệt phân khu ở giữa thường xuyên thông tin. Nếu như chia cắt không được khá, thông tin chi tiêu liền sẽ trở thành bình cảnh, thậm chí so tính toán bản thân còn tốn thời gian.”
Hắn chỉ chỉ Bạch Bản Thượng một cái phức tạp công thức:
“Mục tiêu của chúng ta là tìm được tối ưu đồ chia cắt phương án, thu nhỏ lại vượt phân khu vừa đếm, cũng chính là thông tin lượng. Đây là một cái kinh điển đồ phân chia vấn đề, nhưng quy mô quá lớn, chính xác cầu giải không có khả năng.”
Trong phòng thí nghiệm một cái khác tiến sĩ sinh nói bổ sung:
“Phiền toái hơn chính là, rất nhiều thế giới chân thật đồ đều có đặc thù kết cấu. Tỉ như xã giao mạng lưới có cộng đồng kết cấu, trang web kết nối có tầng cấp kết cấu, sinh vật mạng lưới có module hóa kết cấu. Hiện hữu thông dụng chia cắt phép tính thường thường không để ý đến những thứ này kết cấu đặc thù, dẫn đến hiệu quả không tốt.”
Triệu Minh Viễn điểm đầu:
“Cho nên chúng ta muốn khai phát một loại tự thích ứng đồ chia cắt phép tính, có thể tự động phát hiện đồ kết cấu đặc thù, đồng thời dưới đây ưu hóa chia cắt phương án. Nhưng trong này toán học thiết lập mô hình vô cùng khó khăn.”
Hắn chuyển hướng Tiêu Túc, trong mắt mang theo chờ mong.
“Chúng ta đã thử phổ phương pháp, nhiều tầng thay đổi nhỏ, lưu toán pháp...... Kết quả tốt nhất cũng chỉ là so hiện hữu phương án đề thăng trên dưới 15% . Nhưng chúng ta tin tưởng giới hạn trên lý thuyết hẳn là có thể đề thăng 40% phía trên.”