Câu hỏi được gắn thẻ «exp-time-algorithms»

Được biết, TSP số liệu có thể được xấp xỉ trong vòng và không thể xấp xỉ tốt hơn trong thời gian đa thức. Có bất cứ điều gì được biết về việc tìm các giải pháp gần đúng trong thời gian theo cấp số nhân (ví dụ: dưới bước …

44 cc.complexity-theory  graph-algorithms  approximation-algorithms  tsp  exp-time-algorithms 

Biểu đồ là -choosable (còn được gọi là -list-colorable ) nếu, đối với mọi hàm ánh xạ các đỉnh thành tập hợp các màu , có một phép gán màu sao cho tất cả các đỉnh , và sao cho tất cả các cạnh , .k f k c v …

39 graph-theory  co.combinatorics  graph-colouring  exp-time-algorithms 

Các thuật toán cổ điển có thể giải 3-SAT trong thời gian (ngẫu nhiên) hoặc thời gian (xác định). (Tham khảo: tốt nhất Upper Bounds trên SAT )1.3071n1.3071n1.3071^n1.3303n1.3303n1.3303^n Để so sánh, sử dụng thuật toán của Grover trên máy tính lượng tử sẽ tìm kiếm và cung cấp giải pháp …

29 quantum-computing  sat  exp-time-algorithms 

Những gì được biết về độ phức tạp chính xác của vấn đề siêu dây ngắn nhất? Nó có thể được giải quyết nhanh hơn so với O∗(2n)O∗(2n)O^*(2^n) ? Có các thuật toán đã biết giải quyết siêu chuỗi ngắn nhất mà không giảm xuống TSP không? CẬP NHẬT: O∗(⋅)O∗(⋅)O^*(\cdot) …

18 cc.complexity-theory  ds.algorithms  graph-theory  tsp  exp-time-algorithms 

Hãy xem xét vấn đề quyết định sau đây Đầu vào : Một CNF đơn điệu và đơn điệu DNF .ΦΦ\PhiΨΨ\Psi Câu hỏi : là tautology không?Φ→ΨΦ→Ψ\Phi \to \Psi Chắc chắn bạn có thể giải quyết vấn đề này trong -time, trong đó là số lượng biến trong và là …

14 exp-time-algorithms  boolean-formulas  fine-grained 

Bạn có biết về bất kỳ vấn đề nào (tốt nhất là ít nhất là được biết đến một chút), trong đó, đối với quy mô vấn đề thực tế , thuật toán hàm mũ chạy nhanh hơn nhiều so với đối tác thời gian đa thức nổi tiếng nhất. …

13 time-complexity  polynomial-time  exp-time-algorithms 

Câu hỏi này là về các vấn đề lập trình bậc hai với các ràng buộc hộp (hộp-QP), nghĩa là các vấn đề tối ưu hóa của biểu mẫu thu nhỏ chủ đề cho x ∈ [ 0 , 1 ] n .f( x ) = xTA x + cTxf(x)=xTAx+cTxf(\mathbf{x}) …

13 ds.algorithms  optimization  exp-time-algorithms 

Có thể là ? Có những hậu quả thú vị của việc ngăn chặn như vậy? Nó sẽ mâu thuẫn với giả thuyết thời gian theo cấp số nhân?SAT¯¯¯¯¯¯¯¯¯¯∈NTIME(exp(n0.9))SAT¯∈NTIME(exp⁡(n0.9))\overline{SAT} \in NTIME(\exp(n^{0.9}))

12 sat  exp-time-algorithms  nexp 

Impagliazzo, Paturi và Calabro, Impagliazzo, Paturi đã giới thiệu Giả thuyết theo thời gian lũy thừa (ETH) và Giả thuyết thời gian theo hàm mũ mạnh mẽ (SETH). Một cách thô bạo, SETH nói rằng không có thuật toán nào giải được SAT trong thời gian . 1.99n1.99n1.99^n Tôi đã …

11 cc.complexity-theory  sat  exp-time-algorithms 

Có phải thực tế là một vấn đề là thời gian EXP hoàn thành ngụ ý rằng A không nằm trong D T I M E ( 2 o ( n ) ) ?MộtAAMộtAAD TTôiME( 2o ( n ))DTIME(2o(n))DTIME(2^{o(n)}) Tôi biết rằng theo định lý phân cấp thời gian, không …

10 exp-time-algorithms  complexity 

Vấn đề Set Cover khó đến mức nào nếu số lượng phần tử bị giới hạn bởi một số chức năng (ví dụ: ) trong đó n là kích thước của thể hiện vấn đề. Chính thứclognlog⁡n\log nnnn Hãy và F = { S 1 , ⋯ , S n …

10 np-hardness  set-cover  exp-time-algorithms 

Có thuật toán nào được biết cho vấn đề sau đánh bại thuật toán ngây thơ không? Đầu vào: Một hệ thống của bất đẳng thức tuyến tính.mA x ≤ bAx≤bAx \le bmmm Đầu ra: Một giải pháp khả thi nếu có.x*∈ { 0 , 1 }nx∗∈{0,1}nx^*\in \{0,1 \}^n Giả …

10 np-hardness  integer-programming  exp-time-algorithms 

Fix k≥5k≥5k\ge5 . Đối với bất kỳ đủ lớn nnn, chúng tôi muốn gắn nhãn tất cả các tập hợp con của {1..n}{1..n}\{1..n\} có kích thước chính xác bằng n/kn/kn/k theo số nguyên dương từ {1...T}{1...T}\{1...T\} . Chúng tôi muốn ghi nhãn này để đáp ứng các thuộc tính sau: …

10 ds.algorithms  graph-algorithms  it.information-theory  nt.number-theory  exp-time-algorithms 

Có thuật toán nào được biết cho vấn đề sau đánh bại thuật toán ngây thơ không? Dữ liệu vào: ma trận và vectơ , trong đó tất cả các mục của là các số nguyên không âm.MộtAAb , cb,cb,cA , b , cMột,b,cA,b,c Đầu ra: một giải pháp tối …

9 np-hardness  integer-programming  exp-time-algorithms 

Khi tôi xem qua " Cách tiếp cận lập trình động đối với các vấn đề tuần tự " của Michael Held và Richard M. Karp, tôi đã đưa ra câu hỏi sau: tại sao độ phức tạp của thuật toán của họ đối với TSP là (∑n−1k=2k(k−1)(n−1k))+(n−1)(∑k=2n−1k(k−1)(n−1k))+(n−1)(\sum_{k=2}^{n-1}k(k-1)\binom{n-1}{k})+(n-1) (trang 199), …

9 ds.algorithms  tsp  exp-time-algorithms