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

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp khoa học máy tính lý thuyết bởi vì nó có thể được trả lời trên trao đổi ngăn xếp khoa học máy tính. Di cư 7 năm trước . Được biết, mỗi vấn đề tối ưu hóa / …

26 complexity-theory  optimization  search-problem  decision-problem 

Tôi cố gắng giải quyết vấn đề bảo hiểm sau đây. Có máy phát với vùng phủ sóng 1km và n máy thu. Quyết định trong O ( n log n ) rằng tất cả các máy thu được bảo vệ bởi bất kỳ máy phát nào. Tất cả các …

14 algorithms  computational-geometry  search-problem 

Các ví dụ phổ biến về các vấn đề NP-hard (clique, 3-SAT, đỉnh đỉnh, v.v.) thuộc loại mà chúng ta không biết câu trả lời là "có" hay "không" trước đó. Giả sử rằng chúng ta có một vấn đề trong đó chúng ta biết câu trả lời là có, …

10 complexity-theory  np-hard  search-problem 

Do tính chất của câu hỏi, tôi phải bao gồm nhiều thông tin cơ bản (vì câu hỏi của tôi là: làm thế nào để thu hẹp điều này?) Điều đó nói rằng, nó có thể được tóm tắt (theo hiểu biết tốt nhất của tôi) như: Phương pháp nào …

10 reference-request  machine-learning  combinatorics  optimization  search-problem 

Tôi có một bộ điểm được xác định trong một không gian số liệu - vì vậy tôi có thể đo 'khoảng cách' giữa các điểm nhưng không có gì khác. Tôi muốn tìm điểm trung tâm nhất trong tập hợp này, mà tôi xác định là điểm có tổng …

9 complexity-theory  computational-geometry  lower-bounds  search-problem 

Tôi đã cho n đối tượng và một tập hợp n hoán vị của n đối tượng này (trong tổng số n! Hoán vị). Có một hoán vị cơ bản thực sự, mà tôi biết là một trong số các hoán vị n, nhưng tôi không biết cái nào. Một …

8 complexity-theory  lower-bounds  search-problem  permutations 

Tôi không biết làm thế nào để nói một cách tao nhã, nhưng về cơ bản, tôi muốn thực hiện thuật toán tìm kiếm vũ phu, nhưng có nhiều cách khác nhau mà tôi có thể liệt kê trong không gian tìm kiếm. Điều này có thể là ngây thơ …

7 algorithms  search-algorithms  decision-problem  np  search-problem 

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