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

Giả sử tôi có một vị trí "S" và một vị từ đơn điệu "P" trên S. Tôi muốn tìm một hoặc tất cả các phần tử tối đa của S thỏa mãn P. EDIT : Tôi quan tâm đến việc giảm thiểu số lượng đánh giá của P . …

28 ds.algorithms  ds.data-structures  partial-order  order-theory  search-problem 

Trong "Thông tin lượng tử và thông tin lượng tử" của Mike và Ike, thuật toán của Grover được giải thích rất chi tiết. Tuy nhiên, trong cuốn sách và trong tất cả các giải thích tôi đã tìm thấy trực tuyến về thuật toán của Grover, dường như không …

16 quantum-computing  quantum-information  oracles  search-problem  black-box 

Hãy xem xét một vị trí hữu hạn trên mục và là một vị từ đơn điệu không xác định trên (nghĩa là với mọi , , nếu và thì ) . Tôi có thể đánh giá bằng cách cung cấp một nút và tìm hiểu xem có giữ hay …

15 ds.algorithms  lg.learning  partial-order  search-problem  order-theory 

Nếu , thì có một thuật toán logspace giải quyết phiên bản quyết định của 2-SAT.L=NLL=NL\mathsf{L = NL} Có phải ngụ ý rằng có một thuật toán logspace để có được một bài tập thỏa mãn , khi được đưa ra một ví dụ 2-SAT thỏa đáng làm đầu vào …

15 sat  search-problem  logspace 

Tôi đã đọc bài viết trên wikipedia về vấn đề tám nữ hoàng. Nó được tuyên bố rằng, không có công thức được biết đến cho số lượng chính xác của các giải pháp. Sau một số tìm kiếm, tôi tìm thấy một bài báo có tên "Về độ khó …

14 cc.complexity-theory  counting-complexity  search-problem 

Tôi có một câu hỏi (hy vọng đơn giản, có thể ngớ ngẩn) trên tờ giấy mốc của Babai cho thấy là quasipolynomial.GIGI\mathsf{GI} Babai đã chỉ ra cách tạo chứng chỉ rằng hai đồ thị cho i ∈ { 1 , 2 } là đẳng cấu, theo thời gian quasipolynomial …

13 graph-isomorphism  search-problem 

Dễ dàng thấy rằng nếu thì có tổng số các vấn đề tìm kiếm không thể giải quyết trong thời gian đa thức (tạo ra một vấn đề tìm kiếm tổng thể bằng cách có cả các nhân chứng cho tư cách thành viên và các nhân chứng cho việc …

13 cc.complexity-theory  reference-request  search-problem 

Lớp phức tạp PPAD được phát minh bởi Christos Papadimitriou trong bài báo năm 1994 của ông . Lớp này được thiết kế để nắm bắt sự phức tạp của các vấn đề tìm kiếm trong đó sự tồn tại của một giải pháp được đảm bảo bởi "Đối số …

13 cc.complexity-theory  reductions  search-problem  ppad 

Xét một vị từ P đơn điệu trên lũy thừa 2 | n | (đặt hàng bằng cách đưa vào). Bằng cách "đơn điệu" Ý tôi là: ∀ x , y ∈ 2 | n | sao cho x ⊂ y , nếu P ( x ) thì P ( …

12 ds.algorithms  ds.data-structures  partial-order  order-theory  search-problem 

Hãy xem xét vấn đề sau. Có giá trị chưa biết v 1 , ⋯ , v n ∈ R . Nhiệm vụ là tìm chỉ mục của cái lớn nhất chỉ sử dụng các truy vấn có dạng sau. Một truy vấn được chỉ định bởi một tập hợp …

10 approximation-algorithms  randomized-algorithms  search-problem  random-walks  binary-trees 

Tôi đã suy nghĩ về câu hỏi sau đây vào nhiều thời điểm kể từ khi tôi thấy câu hỏi này trên Mật mã học . Câu hỏi Đặt RRR là mối quan hệ TFNP . Một nhà tiên tri ngẫu nhiên có thể giúp P / poly phá vỡ …

9 cr.crypto-security  relativization  advice-and-nonuniformity  search-problem  random-oracles