Thứ 46 chương giải quyết
Hai ngày sau, Tiêu Túc cơ hồ ngâm mình ở khoa máy tính trong phòng thí nghiệm.
Hắn vẫn còn đang suy tư Lưu Hình đang thì hóa cụ thể hình thức.
Xã giao mạng lưới cao duy khảm vào trên bản chất là một tổ vectơ, những thứ này vectơ hẳn là ở vào cái nào đó thấp duy Lưu Hình thượng, đây là trực giác của hắn, nhưng cần nghiêm khắc toán học chứng minh.
Hắn tại Bạch Bản Thượng vẽ lấy sơ đồ.
Một cái cao duy không gian, bên trong có cong một cái thấp duy Lưu Hình, số liệu điểm phân bố tại cái này Lưu Hình thượng.
“Giống như trong vũ trụ tinh hệ.”
Lý Vũ Vi nhìn xem sơ đồ nói, “Nhìn rải tại không gian ba chiều, nhưng trên thực tế có thể phân bố tại trên một ít hai chiều màng, đây là huyền lý luận thuyết pháp đúng không?”
Tiêu Túc gật đầu.
Hắn gần nhất tại đọc lý luận vật lý, chính xác thấy qua tương tự khái niệm.
Toán học chỗ kỳ diệu chính là ở, khác biệt lĩnh vực kết cấu thường thường kinh người tương tự.
Sáng hôm sau, hắn tại thư viện đọc qua một bản liên quan tới Lý Quần biểu thị bàn về chuyên tác lúc, đột nhiên có linh cảm.
Quyển sách kia gọi 《 Lý Quần cùng Lý Đại Số biểu thị 》, tác giả là Pháp quốc nhà số học Serge Lãng.
Trong sách có một chương giảng Tề Tính không gian bao nhiêu, nâng lên mỗi cái Tề Tính không gian cũng có thể nhìn làm cái nào đó Lý Quần mô hình đi một cái bế Tử Quần Thương Không Gian.
Mà tại trên cái này Thương Không Gian, Lý Quần tự nhiên tác dụng, đưa ra phong phú tính đối xứng.
Tiêu Túc nhìn chằm chằm trong sách một đoạn văn nhìn rất lâu:
“Tề Tính không gian bên trên bao nhiêu Do Lý Quần biểu thị lý luận hoàn toàn quyết định.”
Đột nhiên, phía trước ý tưởng mơ hồ trở lên rõ ràng.
Xã giao mạng lưới có ích nhà tương tự tính chất quan hệ có thể cấu thành một loại nào đó xấp xỉ tính đối xứng.
Nếu như người sử dụng A cùng người sử dụng B tương tự, người sử dụng B cùng người sử dụng C tương tự, như vậy người sử dụng A cùng người sử dụng C cũng phải có một loại nào đó tương tự tính chất.
Cái này không hoàn toàn là cân đối, nhưng xấp xỉ thỏa mãn truyền lại tính chất.
Loại này “Xấp xỉ tính đối xứng” Có thể dùng Lý Quần “Mềm” Tác dụng để diễn tả, tức cho phép tác dụng có nhỏ sai sót.
Nếu như đem khảm vào không gian lấy vì cái nào đó Lý Quần Tề Tính không gian, như vậy khảm vào vectơ ở giữa biến hóa liền có thể dùng nhóm nguyên tố biểu thị, mà khảm vào tính ổn định liền đối ứng tại nhóm tác dụng tính liên tục.
Ý nghĩ này cực kỳ to gan.
Bởi vì Lý Quần lý luận bình thường ứng dụng ở lý luận vật lý và thuần toán học thâm ảo lĩnh vực, có rất ít người đem nó dùng đến phép tính thiết kế loại này “Thế tục” Về vấn đề.
Nhưng Tiêu Túc cảm thấy cái này rất tự nhiên, toán học công cụ không có phân biệt cao thấp giàu nghèo, chỉ có áp dụng hay không.
Buổi chiều, Tiêu Túc mang theo ý nghĩ này trở lại phòng thí nghiệm.
Triệu Minh Viễn hòa mấy cái tiến sĩ sinh vây lại, nghe hắn giảng giải.
Tiêu Túc tại Bạch Bản Thượng vẽ lên một cái mới sơ đồ.
“Chúng ta muốn tìm không là bình thường thấp duy Lưu Hình.”
“Mà là cái nào đó Lý Quần tác dụng quỹ đạo. Càng tinh xác nói, là Lý Quần G mô hình đi một cái bế Tử Quần H lấy được Tề Tính không gian G/H.”
Hắn tại Bạch Bản Thượng viết xuống:
Thiết lập G là Lý Quần, H là bế Tử Quần, thì Tề Tính không gian M=G/H bên trên có một cái tự nhiên G tác dụng: g(xH)=(gx)H.
“Nếu như chúng ta khảm vào chiếu rọi f:V→M đem đồ tiết điểm chiếu rọi đến đông đủ tính chất không gian M bên trong, như vậy tiết điểm ở giữa tương tự tính chất liền có thể dùng M bên trên khoảng cách tới độ lượng.”
“Mà khoảng cách này tại G tác dụng phía dưới là không đổi, nếu như hai cái khảm vào vectơ chênh lệch một cái nhóm nguyên tố tác dụng, bọn chúng đại biểu tiết điểm hẳn là vốn sẵn có tương đồng kết cấu nhân vật.”
Trong phòng thí nghiệm rất yên tĩnh, chỉ có Tiêu Túc nét bút qua bạch bản âm thanh.
Mấy cái tiến sĩ sinh cố gắng đuổi kịp, Hoàng Vĩ Lương ngẫu ngươi gật đầu, Lý Vũ Vi cau mày, rõ ràng có nhiều chỗ vẫn chưa hoàn toàn lý giải.
“Nhưng vấn đề thực tế bên trong, tính đối xứng không phải hoàn toàn.”
Triệu Minh Viễn chỉ ra, “Xã giao mạng lưới bên trong quan hệ không phải hoàn toàn đối xưng.”
“Cho nên phải dùng ‘Nhuyễn’ tác dụng.”
Tiêu Túc nói, “Cho phép nhóm tác dụng có chênh lệch. Chúng ta có thể định nghĩa một cái thiệt hại hàm số, bao hàm hai bộ phận: Một bộ phận độ lượng khảm vào tại trên Tề Tính không gian mô phỏng hợp ưu độ, một bộ phận khác độ lượng tính đối xứng phá thiếu trình độ.”
Hắn viết xuống một cái ưu hóa vấn đề:
min_{f:V→M, g∈G} Σ_{v∈V} d(f(v), gf(π(v)))² + λΣ_{(u,v)∈E} |d(f(u),f(v)) - w(u,v)|
Trong đó d là Tề Tính không gian bên trên khoảng cách, π Là cái nào đó tiết điểm chiếu rọi, w là bên cạnh quyền trọng, λ Là đang thì hóa tham số.
“Cái này ưu hóa vấn đề có thể dùng giao thế thay đổi pháp cầu giải.”
Tiêu Túc nói, “Cố định f ưu hóa g, cố định g ưu hóa f.
Mỗi một bước cũng là lồi ưu hóa hoặc có bế thức giải.”
Khi Tiêu Túc để bút xuống lúc, một bộ hoàn chỉnh lý luận dàn khung đã lộ ra tại Bạch Bản Thượng.
Từ Lý Quần cùng Tề Tính không gian định nghĩa, đến khảm vào mô hình tạo dựng, đến ưu hóa toán pháp thiết kế, lại đến lý luận tính chất phân tích.
Trong phòng thí nghiệm trầm mặc mấy giây, tiếp đó bộc phát ra thấp giọng nghị luận.
“Cái này dàn khung...... Quá hoàn chỉnh.”
Hoàng Vĩ Lương lẩm bẩm nói, “Từ toán học cơ sở đến phép tính thực hiện, một mạch mà thành.”
“Ta cần thời gian tiêu hoá.”
Lý Vũ Vi thành thật nói, “Lý Quần tác dụng, Tề Tính không gian, mềm tính đối xứng...... Những thứ này khái niệm ta phải trở về tra tư liệu.”
Triệu Minh Viễn thì càng thiết thực: “Bây giờ cần nghiệm chứng. Tiêu Túc, ngươi đoán chừng thực hiện cái này phép tính cần bao nhiêu đi dấu hiệu?”
Tiêu Túc nghĩ nghĩ.
“hạch tâm toán pháp đại khái năm trăm đi. Nhưng cần một chút Lý Quần tính toán kho, chỉ số chiếu rọi, đối số chiếu rọi, trắc dây nối đất tính toán những thứ này.”
“Chúng ta có sẵn.”
Triệu Minh Viễn nói, “Phòng thí nghiệm phía trước làm qua một chút Lưu Hình ưu hóa hạng mục, tích lũy không thiếu dấu hiệu. Ta lập tức tổ chức người bắt đầu thực hiện.”
Tiếp xuống hai giờ, phòng thí nghiệm tiến nhập hiệu suất cao trạng thái làm việc.
Triệu Minh Viễn phân phối nhiệm vụ, Hoàng Vĩ Lương phụ trách thực hiện Lý Quần tính toán hạch tâm module, Lý Vũ Vi phụ trách biên soạn ưu hóa toán pháp, mặt khác hai cái tiến sĩ sinh phụ trách chuẩn bị khảo thí số liệu cùng thiết kế thí nghiệm.
Tiêu Túc thì ngồi ở bạch bản phía trước, tùy thời giải đáp vấn đề, hoặc bổ sung một chút toán học chi tiết.
Bàn phím tiếng đánh đông đúc mà quy luật, giống như là một hồi con số thế giới hòa âm.
Tiêu Túc nhìn xem trong phòng thí nghiệm mọi người bận rộn, đột nhiên có một loại cảm giác xa lạ.
Hắn không còn là tự mình suy xét, mà là trở thành một cái đoàn đội một bộ phận.
Loại cảm giác này rất kỳ quái, nhưng không làm cho người chán ghét.
Ba giờ sau, đệ nhất bản dấu hiệu viết xong.
“Chạy cái con số nhỏ căn cứ tụ tập thử xem.”
Triệu Minh Viễn nói, trong thanh âm mang theo khẩn trương và chờ mong.
Chương trình bắt đầu vận hành.
Trên màn hình lăn qua từng hàng nhật ký tin tức, biểu hiện ra thay đổi số lần, thiệt hại hàm số giá trị, thu liễm tình huống.
Ánh mắt mọi người đều nhìn chằm chằm màn hình, trong phòng thí nghiệm an tĩnh có thể nghe được server quạt tiếng ông ông.
Sau 5 phút, chương trình vận hành hoàn tất.
Triệu Minh Viễn hít sâu một hơi, ấn mở kết quả văn kiện.
Không khí đọng lại.
“Xác suất trúng tăng lên 42%......”
Triệu Minh Viễn nhìn chằm chằm màn hình, âm thanh có chút phát run, “Hơn nữa vận hành thời gian còn giảm bớt 30%.”
Lý Vũ Vi tiến tới nhìn chi tiết cặn kẽ, hít vào một ngụm khí lạnh:
“Đây không phải cải tiến, đây là cách tân a! tại trên Twitter tập dữ liệu, cộng đồng phát hiện xác suất trúng từ 71% Tăng lên tới 89%, cái này đã vượt qua nhân loại đánh dấu viên tài nghệ!”
Trong phòng thí nghiệm bộc phát ra tiếng hoan hô.
Hoàng Vĩ Lương cùng một cái khác tiến sĩ sinh vỗ tay chúc mừng, có người thậm chí nhảy dựng lên.
Bọn hắn bị vấn đề này hành hạ một tháng, thử vô số phương pháp, tiến triển cực kỳ bé nhỏ, bây giờ cuối cùng thấy được đột phá tính tiến triển, không phải mấy phần trăm cải tiến, mà là bay vọt về chất.
Triệu Minh Viễn chuyển hướng Tiêu Túc, trong mắt tràn đầy kính nể:
“Tiêu Túc, ngươi bản này luận văn phát ra đi, chắc chắn là SIGCOMM hoặc TOIS cấp bậc.”
SIGCOMM là mạng máy tính lĩnh vực đỉnh cấp hội nghị, được vinh dự “Mạng lưới lĩnh vực Oscar”, tỷ số trúng tuyển quanh năm thấp hơn 20%.
Một thiên SIGCOMM luận văn đủ để cho một cái tiến sĩ sinh tại giới học thuật đặt chân.
TOIS nhưng là ACM hệ thống thông tin hợp thành san, là thu lượm thông tin, đề cử hệ thống, xã giao mạng lưới phân tích lĩnh vực kỳ hạm tập san, ảnh hưởng thừa số cao tới 6.7.
Tiêu Túc đối với tập san tên không mẫn cảm, chỉ là gật gật đầu: “Vậy thì ném a.”
“Ngươi là đệ nhất tác giả.”
Triệu Minh Viễn nghiêm túc nói, “Chúng ta chỉ là làm thực hiện cùng thí nghiệm bộ phận. Ý nghĩ này hạch tâm hoàn toàn là ngươi.”
“Mọi người cùng nhau.” Tiêu Túc nói đến rất tự nhiên.
Hắn thấy, giải quyết vấn đề là trọng yếu nhất, kí tên trình tự là thứ yếu.
Hơn nữa Triệu Minh Viễn bọn hắn thực hiện việc làm cũng rất trọng yếu, khá hơn nữa toán học ý nghĩ, nếu như không thể hiệu suất cao thực hiện, cũng chỉ là đàm binh trên giấy.
Loại thái độ này để cho trong phòng thí nghiệm người càng thêm xúc động.
Tại giới học thuật, vì luận văn kí tên hục hặc với nhau chuyện nhiều lắm, Tiêu Túc thuần túy ngược lại lộ ra trân quý.