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

Đưa ra một ví dụ về SAT, tôi muốn có thể ước tính mức độ khó để giải quyết trường hợp đó. Một cách là chạy các bộ giải hiện có, nhưng loại đó đánh bại mục đích ước tính độ khó. Một cách thứ hai có thể là tìm …

28 complexity-theory  satisfiability  heuristics 

Nếu tôi gặp một vấn đề khó khăn, một cách tiếp cận tiêu chuẩn là diễn đạt nó như một ví dụ SAT và thử chạy một bộ giải SAT trên nó. Một cách tiếp cận tiêu chuẩn khác là diễn đạt nó như một vấn đề thỏa mãn ràng …

18 heuristics  sat-solvers  constraint-programming 

Khi sử dụng A * (hoặc bất kỳ thuật toán tìm đường tốt nhất nào khác), chúng tôi nói rằng heuristic được sử dụng phải được chấp nhận , nghĩa là không bao giờ nên đánh giá quá cao độ dài (hoặc di chuyển của đường dẫn giải pháp thực …

16 algorithms  artificial-intelligence  search-algorithms  heuristics 

Tôi đã thực hiện một số thử nghiệm về nhiệt độ ban đầu khác nhau trong thuật toán ủ mô phỏng của mình và nhận thấy nhiệt độ bắt đầu có ảnh hưởng đến hiệu suất của thuật toán. Có cách nào để tính toán nhiệt độ ban đầu tốt …

14 optimization  artificial-intelligence  heuristics 

Hàm heuristic h(n)h(n)h (n) là ... Phù hợp nếu chi phí ước tính từ nút nnn đến mục tiêu không lớn hơn chi phí bước cho người kế nhiệm n′n′n' cộng với chi phí ước tính từ người kế nhiệm cho mục tiêu. Được chấp nhận nếu h(n)h(n)h(n) không bao …

12 algorithms  shortest-path  heuristics 

tôi có một vấn đề liên quan đến tình huống sau đây Tôi có hai mảng số như thế này: index/pos 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Array 1(i): 1 2 3 4 7 5 4 3 7 6 5 …

9 approximation  heuristics 

Có vấn đề sau đây đã được nghiên cứu trước? Nếu có, phương pháp / thuật toán nào đã được phát triển để giải quyết nó? Vấn đề ("Vấn đề chiều cao xếp chồng tối đa") Cho đa giác, tìm sự sắp xếp ổn định, không chồng chéo của chúng …

8 algorithms  time-complexity  optimization  computational-geometry  heuristics 

Một tìm kiếm * tìm ra giải pháp tối ưu cho các vấn đề miễn là heuristic có thể được chấp nhận, điều đó có nghĩa là nó không bao giờ đánh giá quá cao chi phí của đường dẫn đến từ bất kỳ nút nào (và nhất quán nhưng …

8 algorithms  search-algorithms  heuristics 

Tôi hiểu rằng 3-Opt Heuristic để giải quyết vấn đề Nhân viên bán hàng du lịch liên quan đến việc loại bỏ ba cạnh khỏi biểu đồ và thêm ba điểm nữa để hoàn thành chuyến tham quan. Tuy nhiên, tôi đã thấy nhiều bài báo đề cập rằng khi …

8 algorithms  optimization  heuristics  traveling-salesman 

Tôi đã đọc về Định lý bữa trưa miễn phí, nhưng tôi hoàn toàn không thể hiểu nó là gì. Tôi đã nghe định lý này được mô tả ở nơi khác như tuyên bố rằng "không có trình tối ưu hóa phổ quát cho mục đích chung". Mặt khác, …

7 algorithms  terminology  optimization  heuristics 

Gọi một nhóm các bộ "đa dạng" nếu mỗi bộ có ít nhất một phần tử duy nhất. Các cách tiếp cận khả thi nào để tìm tập hợp đa dạng lớn nhất trong một họ tập hợp \ mathcal {F} ?F={S1,…,Sk}F={S1,…,Sk}\mathcal{F} = \{S_1, \dotsc, S_k\}Si∈FSi∈FS_i \in \mathcal{F}SSSFF\mathcal{F} Một cách …

7 algorithms  combinatorics  heuristics 

Tôi đang làm luận án tốt nghiệp về việc chứng minh tính đúng đắn của chương trình để nhân 2 ma trận bằng logic Hoare. Để làm điều này, tôi cần tạo bất biến cho vòng lặp lồng nhau cho chương trình này: for i = 1:n for j = …

7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 

Tôi hiện đang làm việc trên một giải pháp cho một vấn đề mà (sau một chút về nghiên cứu) việc sử dụng một leo đồi, và specificly hơn một shotgun (hoặc ngẫu nhiên khởi động lại ) đồi leo ý tưởng thuật toán có vẻ là phù hợp nhất, …

7 algorithms  optimization  heuristics