“Chén Thánh thượng vân tay” sự kiện đối lý luận giới tinh lọc hiệu ứng lộ rõ, nhưng “Toán học nước cộng hoà” tự mình sửa sai động cơ vẫn chưa ngừng lại. Đương công nhiên đụng vào P/NP biên giới lỗ mãng hành vi bị nghiêm khắc khiển trách sau, một loại càng vì ẩn nấp, càng cụ mê hoặc tính, cũng bởi vậy ở nào đó lĩnh vực cơ hồ trở thành “Tiềm quy tắc” phương pháp luận xiếc, dần dần trồi lên mặt nước. Này đó là: ** đem độ cao phi đột, tổ hợp nổ mạnh hoặc ước thúc phức tạp thực tế ưu hoá vấn đề, thông qua tinh xảo toán học thay đổi ( lỏng, khảm nhập, thăng duy chờ ), chiếu rọi đến một cái kết cấu tốt đẹp, dễ dàng cầu giải đột không gian ( hoặc nghĩ đột, nhưng hữu hiệu toàn cục ưu hoá không gian ) trung, ở “Tân không gian” trung cầu được “Toàn cục tối ưu giải”, lại đem này chiếu rọi hồi nguyên vấn đề không gian, cũng tuyên bố này tức vì nguyên vấn đề “Đột phá tính xấp xỉ giải” thậm chí “Tối ưu giải”. **
Này bộ phương pháp luận, bị dân gian duy trì trật tự giả nhóm cay độc mà xưng là ** “Đột hóa ảo thuật” **. Ảo thuật tinh túy ở chỗ: ** thay đổi quá trình bản thân khả năng nghiêm cẩn thả giàu có toán học mỹ cảm, tân không gian trung cầu giải cũng đích xác hiệu suất cao mà chính xác, nhưng trí mạng nhược điểm thường thường giấu ở “Chiếu rọi hồi nguyên không gian” này một bước sự chính xác, tính khả thi tổn thất, cùng với đối nguyên vấn đề thực tế mục tiêu hàm số “Thế phẩm” tính chất ái muội không rõ thượng. **
Lúc này đây, kíp nổ điểm xuất hiện ở chip vật lý thiết kế tự động hoá ( EDA ) lĩnh vực. Một cái từ đứng đầu cao giáo cùng minh tinh AI chip mới thành lập công ty liên hợp tạo thành đoàn đội, ở đỉnh cấp tập san liên tục phát biểu luận văn, tuyên bố này đưa ra “Siêu đại quy mô mạch điện hợp thành bố cục hệ thống dây điện thống nhất đột ưu hoá dàn giáo” ( tên gọi tắt UCOF ), có thể đem truyền thống thượng yêu cầu mấy tháng thay đổi, ỷ lại đại lượng chuyên gia kinh nghiệm cùng dẫn dắt thức quy tắc chip bố cục hệ thống dây điện vấn đề, chuyển hóa vì một cái nhưng chứng minh thu liễm đột ưu hoá vấn đề, cũng ở “Hợp lý đa thức thời gian nội” cầu giải, được đến bố cục phương án ở công hao, khi tự cùng diện tích chờ mấu chốt chỉ tiêu thượng, ** toàn diện siêu việt ** hiện có thương nghiệp công cụ cùng học thuật tuyến đầu phương pháp.
Luận văn tràn ngập xinh đẹp toán học: Đem phi đột đơn nguyên vị trí ước thúc, tuyến võng Topology ước thúc, khi tự ước thúc chờ, thông qua dẫn vào phụ trợ lượng biến đổi, Lagrange đối ngẫu lỏng, cùng với xảo diệu đột xấp xỉ kỹ xảo, từng cái “Đột hóa” hoặc “Tuyến tính hóa”, cuối cùng chỉnh hợp thành một cái khổng lồ nhưng kết cấu rõ ràng ( như nửa quy chế hoa hoặc lần thứ hai trùy quy hoạch ) đột ưu hoá mô hình. Cầu giải khí bộ phận chọn dùng mới nhất nội điểm pháp gia tốc kỹ thuật, thực nghiệm bộ phận triển lãm ở công khai tiêu chuẩn cơ bản thí nghiệm tập tổng số cái chân thật chip thiết kế trường hợp thượng “Kinh người” tăng lên, biểu đồ ngăn nắp, thống kê lộ rõ.
Nên thành quả bị coi là “AI for EDA” cùng “Toán học điều khiển chip thiết kế” điển phạm, đoàn đội đạt được kếch xù nguy hiểm đầu tư cùng chính phủ trọng điểm nghiên cứu phát minh kế hoạch duy trì, vinh quang không ai sánh bằng. Truyền thống EDA đầu sỏ viện nghiên cứu cũng đem này liệt vào trọng điểm theo dõi đối tượng.
Nhưng mà, ở “Lô-ga-rít” liên minh bên trong, một cái chuyên chú với vận trù học cùng tổ hợp ưu hoá tử đoàn thể “Đột kính”, lại đối UCOF dàn giáo sinh ra nồng hậu, hoài nghi hứng thú. Tổ trưởng là một vị ở chất bán dẫn ngành sản xuất làm quá mười năm thuật toán nghiên cứu phát minh sau mới chuyển hướng học thuật thâm niên chuyên gia, danh hiệu “Khuê thợ”.
“Khuê thợ” cùng hắn tiểu tổ không có trực tiếp khiêu chiến đối phương phức tạp đột hóa quá trình —— kia yêu cầu thật lớn thời gian đầu nhập. Bọn họ chọn dùng “Kết quả phản đẩy” cùng “Biên giới thí nghiệm” sách lược:
1.** “U linh ước thúc” thí nghiệm **: Bọn họ lựa chọn sử dụng luận văn trung một cái bị “Thành công đột hóa” mấu chốt ước thúc —— đơn nguyên trùng điệp tránh cho ước thúc. Luận văn trung tướng này chuyển hóa vì một loạt tuyến tính bất đẳng thức cùng đột lần thứ hai ước thúc. Nhưng mà, “Đột kính” tiểu tổ cấu tạo một loạt cực đoan nhưng vật lý thượng khả năng tồn tại “Bàn cờ cách” thức dày đặc bố cục mới bắt đầu điều kiện, ở này đó điều kiện hạ, UCOF mô hình cầu được “Tối ưu giải” ở toán học thượng thỏa mãn sở hữu đột hóa sau ước thúc, nhưng khi bọn hắn đem giải chiếu rọi hồi nguyên thủy, ly tán đơn nguyên tọa độ khi, phát hiện ** chút ít đơn nguyên chi gian xuất hiện vật lý thượng không có khả năng tồn tại, thấp hơn chế tạo công nghệ cực hạn nhỏ bé trùng điệp hoặc khoảng cách **. Luận văn đối này loại “Biên giới tình huống” xử lý lời nói hàm hồ, chỉ chung chung nói ở “Sau xử lý” giai đoạn sẽ tu chỉnh.
2.** mục tiêu hàm số sai lệch phân tích **: Chip bố cục trung tâm mục tiêu chi nhất là tuyến trường ( cùng công hao, duyên khi cường tương quan ) nhỏ nhất hóa. UCOF dùng đột, căn cứ vào tuyến võng tư thản nạp thụ mô hình liên tục hàm số tới gần tựa ly tán, mang tầng phân phối cùng thông khổng ước thúc thực tế tuyến trường. Loại này xấp xỉ ở đại đa số dưới tình huống hợp lý, nhưng ở mật độ cao, bất quy tắc hình dạng mô khối khu vực, “Đột kính” tiểu tổ thông qua ly tán sự kiện mô phỏng phát hiện, UCOF “Tối ưu” giải đối ứng ** dự đánh giá tuyến trường ** cùng ** trải qua kỹ càng tỉ mỉ hệ thống dây điện công cụ thực tế đi tuyến sau chân thật tuyến trường ** chi gian tồn tại hệ thống tính, thả ở nào đó trường hợp trung cao tới 15-20% lệch lạc. Luận văn trung cơ hồ sở hữu tính năng tương đối, đều căn cứ vào UCOF tự thân “Dự đánh giá” giá trị, mà phi cùng thương nghiệp công cụ hoàn thành toàn lưu trình sau chân thật kết quả đối lập.
3.** “Sau xử lý hắc rương” xem kỹ **: UCOF luận văn thừa nhận này đột ưu hoá phát ra yêu cầu “Nhẹ lượng cấp sau xử lý” tới thỏa mãn sở hữu vật lý thiết kế quy tắc. Nhưng “Sau xử lý” cụ thể thuật toán, này đối cuối cùng kết quả ảnh hưởng trình độ, bị coi là công trình chi tiết mà chưa tỏ tường tế công khai. “Đột kính” tiểu tổ thông qua nghịch hướng công trình cùng hữu hạn tin tức phỏng đoán, cái này “Sau xử lý” khả năng hơn xa “Nhẹ lượng cấp”, mà là một cái phức tạp, khả năng phá hư đột ưu hoá giải tối ưu tính bảo đảm ** lần thứ hai ưu hoá thậm chí dẫn dắt thức tu bổ quá trình **. UCOF tuyên bố tính năng ưu thế, có bao nhiêu đến từ tinh xảo đột hóa mô hình, lại có bao nhiêu bị trộm quy công với cái này không trong suốt “Sau xử lý”?
Căn cứ vào này đó phát hiện, “Đột kính” tiểu tổ tuyên bố một phần đề vì 《 xem kỹ “Đột hóa” ánh sáng: Đối UCOF dàn giáo ở vật lý thực hiện sự chính xác cùng tính năng đánh giá trong suốt độ nghi ngờ 》 trường thiên phân tích báo cáo. Báo cáo không có ngắt lời đối phương tạo giả, mà là bén nhọn mà đưa ra một cái căn bản tính vấn đề:
** “Đem phi đột thế giới mạnh mẽ chiếu rọi đến đột không gian ‘ tối ưu giải ’, đương nó xuyên qua chiếu rọi nghịch biến hóa trở lại rối rắm phức tạp hiện thực khi, nó trên người còn dư lại nhiều ít ‘ tối ưu tính ’? Chúng ta đạt được, đến tột cùng là nguyên vấn đề giải, vẫn là một cái ở một cái khác càng ‘ hữu hảo ’ song song vũ trụ trung biểu hiện ưu dị, nhưng trở về bản thổ sau khả năng khí hậu không phục ‘ dị vực khách thăm ’? Đương luận văn dùng đột không gian trung xinh đẹp toán học cùng thay thế mục tiêu hàm số thượng ‘ tối ưu ’ tới tuyên bố thế giới hiện thực đột phá khi, đây có phải cấu thành một loại phương pháp luận mặt ‘ lầm đạo tính đóng gói ’?” **
Này phân báo cáo lại lần nữa bậc lửa dư luận. Lúc này đây, tranh luận càng thêm chuyên nghiệp, nhưng cũng càng thêm chạm đến “Toán học nước cộng hoà” nhận tri trung tâm.
Rất nhiều ứng dụng toán học gia cùng cao giai kỹ sư đồng cảm như bản thân mình cũng bị. “Đột kính” nghi ngờ, chọc trúng bọn họ hằng ngày nghiên cứu trung một cái phổ biến đau điểm cùng dụ hoặc: Đối mặt nan giải phi đột vấn đề, thông qua lỏng, đột hóa tới đạt được nhưng xử lý vấn đề cùng xinh đẹp lý luận bảo đảm, này bản thân là quan trọng thả thường dùng nghiên cứu thủ đoạn. Nhưng như thế nào thành thật mà báo cáo loại này thay đổi mang đến tổn thất? Như thế nào không đem “Lỏng sau vấn đề tối ưu giải” cố ý vô tình mà tuyên truyền vì “Nguyên vấn đề cao chất lượng giải”? Cái này giới hạn ở theo đuổi phát biểu cùng lực ảnh hưởng dưới áp lực, thường thường trở nên mơ hồ.
Duy trì UCOF đoàn đội người biện xưng: “Đây là lĩnh vực đi tới nhất định phải đi qua chi lộ! Không có hoàn mỹ mô hình, chúng ta đột hóa dàn giáo đã cực đại mà tăng lên tìm tòi hiệu suất cùng kết quả hạ giới, sau xử lý là tất yếu công trình thực hiện chi tiết. ‘ đột kính ’ là ở dùng lý tưởng hóa tiêu chuẩn bóp chết sáng tạo!”
Nhưng càng nhiều người, đặc biệt là sản nghiệp giới chân chính yêu cầu đem thuật toán rơi xuống đất sinh sản tuyến kỹ sư, đứng ở “Đột kính” một bên. “Chúng ta ăn qua quá nhiều loại này mệt,” một vị chip thiết kế công ty kỹ thuật tổng giám ở chuyên nghiệp diễn đàn nhắn lại, “Học thuật luận văn ‘ tối ưu ’ bố cục, bắt được chúng ta chân thật công nghệ kho, phức tạp thiết kế quy tắc cùng triệu héc cấp bậc khi tự ước thúc tiếp theo chạy, căn bản không phải lần đó sự, thậm chí so với chúng ta thủ công điều còn kém. Lãng phí đại lượng thời gian ở thích xứng cùng ‘ giải thích vì cái gì luận văn kết quả xuất hiện lại không được ’ thượng. Chúng ta yêu cầu chính là đối thế giới hiện thực có ‘ sự chính xác ’ ưu hoá, mà không phải toán học trong không gian ‘ không trung lầu các tối ưu ’. Duy trì ‘ đột kính ’, cần thiết đánh vỡ loại này ‘ đột hóa tức thắng lợi ’ ảo giác!”
“Lý sở thự” cùng “Toán học trọng tài đình” đối mặt cái này càng vi diệu, càng đề cập phương pháp luận màu xám mảnh đất trường hợp, áp dụng thận trọng mà thâm nhập thái độ. Bọn họ tổ chức vượt ngành học chuyên gia tổ ( bao gồm ưu hoá lý luận, chip vật lý thiết kế, thuật toán công trình lĩnh vực quyền uy ), cũng không nóng lòng làm ra “Có tội” quyết định, mà là khởi động một hồi ** công khai, Marathon thức “Phương pháp luận phiên điều trần” **.
Phiên điều trần tiêu điểm, không hề là số liệu thật giả hoặc công thức sai lầm, mà là thâm nhập tham thảo:
- UCOF dàn giáo trung, từ phi đột đến đột mỗi một bước thay đổi, này ** tin tức tổn thất cùng tính khả thi lệch khỏi quỹ đạo ** hay không có thể nghiêm khắc lượng hóa? Tác giả hay không đầy đủ công bố này đó lượng?
- “Sau xử lý” bước đi thuật toán phức tạp độ, đối giải thay đổi biên độ, hay không ứng bị coi là trung tâm phương pháp một bộ phận ban cho hoàn chỉnh công khai cùng lý luận phân tích?
- ở tính năng đánh giá trung, sử dụng ** thay thế mục tiêu hàm số giá trị ** cùng sử dụng ** cuối cùng vật lý thực hiện chỉ tiêu ** tiến hành đối lập, này hợp lý tính cùng lầm đạo tính biên giới ở nơi nào?
- ở “Toán học nước cộng hoà” chuẩn tắc hạ, một thiên tuyên bố “Giải quyết” hoặc “Lộ rõ ưu hoá” mỗ thực tế công trình vấn đề luận văn, này ** đối thế giới hiện thực phức tạp tính đơn giản hoá cùng trừu tượng, ứng tuần hoàn như thế nào trong suốt cùng thành thật tiêu chuẩn **?
Trận này phiên điều trần, tiêu chí “Toán học nước cộng hoà” tự mình tinh lọc vận động, từ truy tra “Rõ ràng sai lầm” cùng “Cố ý lừa gạt”, tiến vào càng gian nan nước sâu khu: ** xem kỹ cùng quy phạm những cái đó ở phương pháp luận thượng “Nhìn như chính xác”, thậm chí rất có sáng tạo, nhưng khả năng thông qua xảo diệu trừu tượng cùng lựa chọn tính báo cáo, ở “Chân thật thế giới hữu hiệu tính” thượng sinh ra hệ thống tính lầm đạo nghiên cứu thực tiễn. **
“Đột hóa ảo thuật” trường hợp, giống một cái chuông cảnh báo, đập vào mỗi một cái ý đồ dùng tuyệt đẹp toán học tới thuần phục phức tạp hiện thực nghiên cứu giả trong lòng. Nó chất vấn: Khi chúng ta đem phức tạp thế giới trang nhập toán học tinh xảo bao khi, chúng ta là ở công bố chân lý, vẫn là ở chế tạo một cái càng phù hợp chúng ta tính toán năng lực, nhưng khả năng cùng hiện thực tách rời “Mô phỏng thú bông”? Toán học nghiêm cẩn, hay không hẳn là không chỉ có giới hạn trong suy luận quá trình, càng ứng bao dung từ hiện thực trừu tượng đến mô hình, lại từ mô hình kết luận chiếu rọi hồi hiện thực ** toàn xích thành thật **?
Phiên điều trần còn tại tiếp tục, kết luận cũng còn chưa biết. Nhưng trận này biện luận bản thân, đã làm “Toán học nước cộng hoà” công dân nhóm ý thức được, bảo vệ chân thật, không chỉ có yêu cầu bắt được giả tạo công thức tay, càng cần nữa cảnh giác những cái đó dù chưa giả tạo công thức, lại khả năng vô hình trung vặn vẹo vấn đề bản thân cùng chân thật thế giới liên hệ, càng thêm tinh xảo “Nhận tri ma thuật sư”. Mà đối kháng loại này ma thuật, yêu cầu không chỉ là càng nghiêm khắc toán học, có lẽ còn có đối hiện thực phức tạp tính vĩnh không biến mất kính sợ, cùng với đối tự thân phương pháp cực hạn tính, thời khắc bảo trì thanh tỉnh cùng thẳng thắn thành khẩn.