Hiểu về việc lập trình cơ khí nguyên thủy

Chương trình gốc (IP) là một lớp tối ưu hóa toán học nơi mà một số hay tất cả các biến số quyết định được buộc phải lấy chỉ giá trị nguyên. Trong kỹ thuật, điều này xuất hiện tự nhiên khi nào liên quan đến các lựa chọn riêng biệt: bao nhiêu đơn vị để tạo ra, mà các thành phần để chọn, dù để mở một cơ sở, hoặc con đường định giới hạn để gán. Dạng thức tổng quát của một chương trình tuyến tính là giảm thiểu (hoặc tối đa) một chức năng mục tiêu tuyến tính đến hạn chế tuyến tính, với các hạn chế không thể phân chia [FL: 0] thường gây ra vấn đề [FT][FT] [FL] [FL] [FL] [FL]

Kỹ sư gặp IP trong các lĩnh vực khác nhau như thiết kế cấu trúc (chọn các phần của danh mục riêng biệt), kế hoạch điện tử (sự cam kết và mở rộng của các thành phần tiêu chuẩn, sự tổng hợp hóa học (chọn dụng cụ và cấu hình), và các thiết lập quỹ đạo không gian (chỉ định các khe cắm). Ngay cả khi vật lý hay kinh tế liên tục, cần phải chọn từ một tập hợp các thành phần chuẩn, để tính toán số nguyên tố, hoặc xử lý các điều kiện hợp lý (nếu- thời bấy giờ) dẫn đến việc lập quỹ đạo. Ông không phải là những học giả thuyết trình viên cấp cao; họ là những kỹ sư cần thiết để có thể quyết định đúng lúc, để thực hiện các thiết lập các thiết lập các mục tiêu chính xác trong vòng vài tuần hoặc các tuần.

Tại sao phương pháp thực tiễn trở thành thực hành?

Các thuật toán chính xác truyền thống cho phép lập trình và cắt giảm các nhánh, chi nhánh và các chương trình sinh động tìm ra những số nguyên tối ưu toàn cầu. chúng hoạt động bằng cách đưa ra các khả năng có cấu trúc, cắt tỉa các nhánh sử dụng các giới hạn từ sự thư giãn lập trình tuyến tính. Tuy nhiên, đối với các trường hợp lớn với hàng ngàn số nguyên và hạn chế phức tạp, cây số có thể phát nổ theo cấp số nhân. ngay cả với các máy bay phức tạp và cắt cắt, kỹ thuật IP vẫn còn nằm trong ngân sách thực sự cần thiết cho các hoạt động của thế giới, ví dụ một ngày một nhà máy sản xuất có thể cần một giải pháp trong một ngày không cần một giải pháp, không cần giải quyết một phút.

Hơn nữa, các nhà giải quyết chính xác rất nhạy cảm với cấu trúc vấn đề: có tính đối xứng IP, những người có nhiều hạn chế bình đẳng, hoặc những người có các điều kiện phi tuyến tính (như là hai điều khoản) thường đánh bại trạng thái của nghệ thuật giải quyết hiện tại. Trong kỹ thuật, vấn đề thường bao gồm các tính năng phức tạp như [FLT: 0] hình nón [FL: 0] [FL:1] [FL: 1] hoặc [FT:2] chi phí tuyến tính [FL:] theo chiều dài [FL] mà tôi đang thúc đẩy IP vượt qua các phương pháp chính xác. Điều này thúc đẩy sự phát triển khả năng tiên tiến của sự hy sinh để trao đổi tốc độ và độ mạnh.

Khả năng chữa bệnh cao: Một lặn sâu hơn

Những khám phá về lập trình số nguyên có thể được phân loại thành những dự án nghiên cứu xây dựng (có một giải pháp ban đầu có thể thực hiện) và cải tiến (có tính chất tinh luyện một ứng viên).

Siêu thám hiểm: Hướng dẫn Tìm kiếm ngẫu nhiên

Siêu âm như [FLT:] [FLT: t [FLT: 1] [FLT:]] giả lập Annealing [FLT: t], , và Tìm kiếm [ST] [FLTT:] [FLTTTTT: t] [FTTTTTTTTTT]]]] [FT]] [FTL: tiến hóa các giải pháp tự nhiên [FTTTTTTTTTTTTTTTTT:]] [FTL:]]]]] [FL: [FLTCLTCL: tiến hóa các ứng dụng cơ chế hoá nhanh hơn các biến đổi qua các chuỗi âm lượng tử, thường là một chuỗi âm lượng thấp nhất, một chuỗi âm lượng thấp hơn.

Những phương pháp này phổ biến trong kỹ thuật vì chúng dễ song song, cần thiết chỉ đánh giá hàm số (không có dốc màu), và có thể xử lý các hạn chế hộp đen. Chẳng hạn, GA đã được áp dụng thành công cho [FLT: 0], nơi mà mục tiêu là tính toán nhưng hạn chế số nguyên là quan trọng.

Tìm kiếm & chung quanh

VNS đã có hệ thống khai thác ý tưởng thay đổi cấu trúc khu phố trong lúc tìm kiếm. Bắt đầu từ một giải pháp ban đầu, VNS áp dụng một chuỗi di chuyển ở những khu vực xa (chia sẻ) và sau đó thực hiện tìm kiếm địa phương trong giải pháp tốt nhất hiện nay. Trong các vấn đề kỹ thuật như [FLT: 0]veal với cửa sổ thời gian hoặc [FL:2] bố trí khả năng [FL:] [FL:], T], thường xuyên vượt quá hàng tỷ lệ một vì nó có thể thoát ra được một cách sâu nhất định bởi vì nó có thể thoát khỏi vùng phụ nữ.

Tìm kiếm chung quanh (LNS)

LNS đặc biệt mạnh mẽ khi một bộ giải mã chính xác có thể được sử dụng trong một bộ vi xử lý con. Phương pháp phá hủy một phần của giải pháp hiện tại (v. d., gỡ bỏ 20% các nhiệm vụ số nguyên) và sau đó xây dựng lại nó tối ưu khi sử dụng một bộ giải quyết lập trình nhỏ IP hay ép buộc. Trong bối cảnh kỹ thuật như [FLT: 0], bộ lọc [FLTTTTT:1), và [FL: 2] fab [FL] bộ vi xử lý lập trình [FL: FL], LNS có thể tạo ra gần giây trong các giải pháp đầy đủ các giải pháp IPs.

Sự thư giãn và đi lại với sự sửa chữa

Thay vì chỉ đơn giản giải quyết sự thư giãn chọc dò tủy sống và quay tròn, nâng cao sử dụng việc sửa chữa vết thương: giải quyết một số biến số dựa trên giá trị nguyên (v. d., giá trị gần 0 hay 1), giải quyết việc chọc dò tủy sống bị giảm, và lặp lại. Việc này [FLT: 0] khả năng nạp [FLT: 0] khả năng tăng [FT:1], sửa đổi một số giá trị nguyên được nhúng vào các máy giải quyết thương mại, có thể nhanh chóng tạo ra các giải pháp khả năng hữu hiệu sau đó được cải thiện bằng cách tìm kiếm cục bộ. Đối với chương trình tìm kiếm tổng hợp với nhiều biến (máy tính toán, kỹ thuật nhanh, kỹ thuật này cung cấp một giải pháp ban đầu.

Những người có khả năng kết hợp sức mạnh

Phương pháp hữu hiệu nhất cho IP phức tạp thường là một lai kết hợp các khám phá khác nhau hoặc kết hợp các tính năng chính xác. Ví dụ, một thuật toán [FLT: 0] [FLT:] ) (GA + tìm kiếm cục bộ) áp dụng một tìm kiếm địa phương khác nhau cho mọi giải pháp, đảm bảo rằng dân số luôn luôn tối ưu địa phương. Một thuật toán khác [FLT:] Sự phân hủy [FLT:] [FT:] [FT] kết hợp với một vấn đề ông chủ: giải quyết chính xác các giải quyết các vấn đề phụ thuộc, trong khi ông giải quyết các nguyên tố phụ thuộc vào địa phương.

Phương pháp lai đặc biệt có giá trị vì chúng cân bằng độ tăng cường và đa dạng hóa. Trong kỹ thuật, nơi dữ liệu vấn đề thay đổi (v. d., các dự báo cập nhật giờ), các lai có thể được điều chỉnh để sử dụng cấu trúc tái tạo. Lấy thí dụ, trong [FLT: 0] chương trình [FLT: 1], một hỗn hợp lập trình ép buộc và mã hóa có thể xử lý cả sức mạnh và giới hạn (c) của Phiên bản (sức mạnh của Phi - e - rơ).

Những ứng dụng trong ngành kỹ thuật: Gương mẫu cụ thể

Thiết kế mạng và sự kiên cường

Thiết kế mạng điện tử và tiện ích thường bao gồm việc chọn các liên kết có thể có hàng triệu biến. Những người giải mã có thể cố gắng tìm đường dẫn để tồn tại sự thất bại. Mô hình lập trình gốc cho [FLT: 0] đã được hiển thị để đạt được giải pháp trong vòng 5% phút.

Tạo ra bố trí và kế hoạch

Trong các nhà máy, vấn đề sản xuất tế bào [FLT:] ) [FLT:] [FLT:]] đã dùng một bộ nhớ đa khởi động để tìm kiếm bộ nhớ thích nghi để giải quyết các thí dụ với 200 máy trong vòng 20 giây, vượt quá các trình giải quyết chính xác chi nhánh và quy mô quy mô.

Bộ phận định vị tài nguyên trong các hoạt động vệ tinh

Chương trình vệ tinh phải gán một bộ quan sát (giáo sư cần thiết cửa sổ và năng lượng thời gian riêng cho quỹ đạo của vệ tinh. Đây là một địa chỉ IP phức tạp với những hạn chế và số nguyên có số nguyên ưu tiên. Một sự pha trộn lai được mô phỏng bằng mô phỏng ngang bằng một vòng thư giãn lập trình tuyến tính đã được triển khai trong hệ thống mặt đất, cho phép gần hai chu kỳ gần tối ưu cho hơn 50 vệ tinh.

Hợp nhất với việc học hỏi máy

Việc tích hợp nghiên cứu ] [ML:1) [FL: 1] để hướng dẫn tìm kiếm tìm kiếm dựa trên sự tổng hợp chung [FLT: 1]. Thay vì dùng sự liên tục tìm kiếm [FL: 3], mô hình ML dự đoán biến cố hứa hẹn hoặc các khu vực hứa hẹn được sửa chữa dựa trên các tính năng của trường hợp. Điều này [FLT:] khả năng tự học [FLT:], không có mất thời gian, một nửa] đặc biệt hứa hẹn cho các vấn đề kỹ thuật tái diễn (v. d., dự đoán việc tạo hàng tuần) để lặp lại các mẫu hình ảnh. Lấy thí dụ, một mạng thần kinh có thể dự đoán một biến mà sẽ được ưu tiên trong việc tìm kiếm, không mất thời gian.

Hướng tương lai

Các thế hệ của sự tìm kiếm IP tiếp theo rất có thể sẽ bao gồm các thuật toán tự quảng bá mà điều chỉnh các tham số trực tuyến báo chí [FLT:] [FLT:] [FLT:] vận động viên:3] mà chọn tốt nhất trên ruồi, và phương pháp tạo cảm hứng [như mô phỏng annealliers [Falliers] cho các vấn đề ép buộc buộc người dùng các hệ thống mạng Internet, và [các phương tiện giao thông thông thông thông thông thông thông minh] [FLT] [FLT:] [FT:] [FT:5], NW] [như mô phỏng các vấn đề nan giải pháp đa thức].

Việc chuẩn hoá thư viện định kỳ (v. d., [FLT: 0]MIPB ) đã tăng tốc phát triển công bằng bằng bằng cách cho phép so sánh công bằng. Phần mềm kỹ thuật ngày càng chấp nhận những thành phần chính, sự phân biệt giữa "Hearly" và "exct" là mờ nhạt; những người giải quyết hiện đại như Guro và CPLEX đã kết hợp nhiều người tham số (cho phép bơm, RINS, chi nhánh địa phương) như là những chiến lược mặc định. Các kỹ sư có thể lợi dụng những công cụ này mà không cần phải thay đổi, nhưng ông cần thiết để hiểu các tham số và các tham số cần thiết cho các hoạt động cơ bản.

Tóm lại, những nhà thám hiểm tiên tiến không phải là một sự thay thế cho các phương pháp chính xác mà là một kho vũ khí bổ sung cho phép các kỹ sư xử lý các vấn đề trước đây đã vượt quá tầm với. bằng cách hiểu phong cảnh của những người nghiên cứu về thời gian, tìm kiếm khu vực lân cận, và lai, các kỹ sư có thể phát triển hoặc chọn đúng sự thách thức số nguyên cụ thể của họ - tăng cân bằng chất lượng giải pháp và tốc độ tính toán mà kỹ thuật hiện đại yêu cầu.