Câu hỏi được gắn thẻ «heuristics»

Có những giải thích lý thuyết nào cho sự thành công thực tế của người giải SAT, và ai đó có thể đưa ra một cái nhìn tổng quan "kiểu wikipedia" và giải thích buộc tất cả chúng lại với nhau không? Bằng cách tương tự, phân tích được làm …

43 cc.complexity-theory  ds.algorithms  sat  heuristics 

Vấn đề hôn nhân ổn định: http://en.wikipedia.org/wiki/Stable_marẩu_propet Tôi biết rằng đối với một ví dụ của SMP, nhiều cuộc hôn nhân ổn định khác có thể xảy ra ngoài cuộc hôn nhân được thuật toán Gale-Shapley trả về. Tuy nhiên, nếu chúng ta chỉ được cung cấp , số lượng …

24 ds.algorithms  co.combinatorics  graph-algorithms  heuristics  matching 

Có NP hoàn thành bất kỳ vấn đề với không có tập con vô hạn của trường như rằng các thành viên trong Φ thể được quyết định trong thời gian đa thức, và cho tất cả x ∈ Φ , x có thể được giải quyết trong thời gian …

18 cc.complexity-theory  np-complete  heuristics 

Tôi muốn tính toán treewidth của đồ thị. Có các phương pháp phỏng đoán thực sự tốt cho các vấn đề đồ thị NP-cứng khác như VF2 cho phép đẳng cấu đồ thị con, với mã có sẵn trong igraph chẳng hạn. Tôi đã thử chúng trên biểu đồ của …

18 ds.algorithms  graph-algorithms  treewidth  heuristics 

Tôi đang chuẩn bị một số tài liệu khóa học về heuristic để tối ưu hóa, và đã xem xét các phương pháp gốc tọa độ. Cài đặt ở đây là một hàm đa biến mà bạn muốn tối ưu hóa. f có thuộc tính giới hạn trong bất kỳ …

14 ds.algorithms  reference-request  optimization  heuristics 

Trong giấy bởi Kempe-Kleinberg-Tardos, Authors đề xuất một giải thuật tham lam dựa trên chức năng submodular để xác định nhất nút có ảnh hưởng trong một đồ thị, với các ứng dụng mạng xã hội.kkk Về cơ bản thuật toán diễn ra như sau: S= e m p t …

13 ds.algorithms  graph-theory  dc.distributed-comp  social-sciences  heuristics 

Chi nhánh và ràng buộc là một heuristic hiệu quả cho các vấn đề tìm kiếm và Wikipedia liệt kê một số vấn đề khó khăn trong đó chi nhánh và liên kết đã được sử dụng. Tuy nhiên, tôi không thể tìm thấy tài liệu tham khảo để đề …

13 ds.algorithms  reference-request  optimization  heuristics 

Các bộ giải SMT như Z3 hoặc Boolector sử dụng một bộ heuristic phức tạp để giải quyết các vấn đề. Tuy nhiên, điều này cũng làm cho việc dự đoán hiệu suất của một bộ giải như vậy cho một vấn đề nhất định rất khó khăn. Câu hỏi …

9 ds.algorithms  sat  heuristics 

Tôi đang tìm kiếm danh sách các vấn đề tối ưu hóa NP-hard, nơi có nghiên cứu tích cực về kinh nghiệm thực tế để giải quyết chúng và có những điểm chuẩn chung, mà mọi người cố gắng đánh bại. Ví dụ bao gồm: Tái tạo cây phyloetic (ví …

9 heuristics 

Tôi đang dạy một khóa học về siêu mô hình và cần tạo ra các trường hợp thú vị về các vấn đề tổ hợp cổ điển cho dự án thuật ngữ. Hãy tập trung vào TSP. Chúng tôi đang giải quyết các đồ thị có kích thước và lớn …

9 ds.algorithms  co.combinatorics  optimization  tsp  heuristics 

Kể từ thứ sáu, đã đến lúc trả lời câu hỏi CW. Tôi đang tìm kiếm các heuristic có sử dụng rộng rãi trong các vấn đề tối ưu hóa. Để giới hạn phạm vi đối với các heuristic 'thân thiện với lý thuyết' hơn, đây là các quy tắc …

9 ds.algorithms  reference-request  optimization  heuristics 

Làm thế nào người ta có thể tìm thấy các góc của khối đơn vị trong gần một điểm trong khối? Sử dụng số liệu L1, sao cho trong 4d | - 0000 | = , | - 0001 | = ( ở bên phải), v.v.d+ 1d+1d+1RdRd\mathbb{R}^dxxxxxxΣ xTôi∑xi\sum {x_i}xxxx3+ x2+ …

8 ds.algorithms  approximation-algorithms  heuristics