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

Tôi đã đi qua thuật toán đa thức giải quyết 2SAT. Tôi đã nhận thấy rằng 2SAT nằm trong P trong đó tất cả (hoặc nhiều người khác) trong các trường hợp SAT là NP-Complete. Điều gì làm cho vấn đề này khác nhau? Điều gì làm cho nó dễ …

55 cc.complexity-theory  np-hardness  big-picture  polynomial-time 

Tôi khá bối rối bởi tài liệu tối ưu hóa liên tục và tài liệu TCS về loại chương trình toán học (MP) (liên tục) nào có thể được giải quyết một cách hiệu quả, và loại nào không thể. Cộng đồng tối ưu hóa liên tục dường như tuyên …

31 ds.algorithms  optimization  linear-programming  semidefinite-programming  polynomial-time 

Tôi muốn tìm một thuật toán thời gian đa thức xác định xem khoảng của một ma trận đã cho có chứa ma trận hoán vị hay không. Nếu bất kỳ ai biết nếu vấn đề này thuộc một lớp phức tạp khác, thì điều đó cũng hữu ích. EDIT: …

30 cc.complexity-theory  linear-algebra  linear-programming  semidefinite-programming  polynomial-time 

Là một thuật toán đa thức thời gian xác định được biết cho vấn đề sau: Đầu vào: một số tự nhiên (trong mã hóa nhị phân)nnn Đầu ra: một số nguyên tố .p>np>np > n (Theo danh sách các vấn đề mở của Leonard Adeld, vấn đề đã được …

25 cc.complexity-theory  open-problem  nt.number-theory  polynomial-time  primes 

Các Not All Equal -SAT vấn đề (NAE -SAT), cho một tập C điều khoản trên một tập X của các biến boolean như vậy mà mỗi khoản có chứa ít nhất k literals, hỏi liệu có tồn tại một nhiệm vụ thật của các biến như vậy mỗi mệnh …

23 cc.complexity-theory  reference-request  np-hardness  polynomial-time 

Có bất kỳ vấn đề tự nhiên nào trong P mà giới hạn thời gian chạy được biết đến nhiều nhất có dạng , trong đó α là hằng số không hợp lý không?Ô ( nα)O(nα)O(n^\alpha)αα\alpha

21 cc.complexity-theory  time-complexity  polynomial-time 

Hãy xem xét ngôn ngữ .EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} Người ta biết rằng không thể được nhận ra bởi bất kỳ máy Turing xen kẽ không gian sublogarithmic (ATM) (Szepietowski, 1994) . (Có một máy ATM sử dụng không gian sublogarithmic cho các thành …

21 space-bounded  polynomial-time 

(Đây là phần tiếp theo của câu hỏi này và câu trả lời của nó .) Tôi có chương trình tuyến tính số nguyên (TU) hoàn toàn đơn phương (TU) sau đây. Dưới đây là tất cả các số nguyên dương được cho là một phần của đầu vào. Một …

21 ds.algorithms  reference-request  linear-programming  integer-programming  polynomial-time 

László Babai gần đây đã chứng minh rằng vấn đề Đồng phân đồ thị là trong thời gian quasipolynomial . Xem thêm bài nói chuyện của anh ấy tại Đại học Chicago, ghi chú từ các cuộc nói chuyện của Jeremy Kun GLL bài 1 , GLL bài 2 , …

21 cc.complexity-theory  complexity-classes  np-complete  polynomial-time  np-intermediate 

Tôi đang cố gắng giải quyết một vấn đề cụ thể và tôi nghĩ rằng tôi có thể giải quyết nó bằng lý thuyết automata. Tôi đang tự hỏi, những mô hình của automata có ngăn chặn có thể quyết định trong thời gian đa thức? tức là nếu bạn …

18 fl.formal-languages  automata-theory  time-complexity  polynomial-time  decidability 

Các kkk vấn đề -cycle là như sau: Sơ thẩm: Một đồ thị vô hướng GGG có nnn đỉnh và tối đa cạnh.(n2)(n2)n \choose 2 Câu hỏi: Có tồn tại một mô-tơ (thích hợp) trong không?kkkGGG Bối cảnh: Đối với bất kỳ k cố định nào kkk, chúng ta có …

15 graph-theory  graph-algorithms  clique  polynomial-time  fixed-parameter-tractable 

Một ngôn ngữ nằm trong nếu tồn tại máy Turing logspace quyết định ngôn ngữ với số lượng lời khuyên đa thức.L/polyL/polyL/poly Xem tại đây để biết thêm: https://en.wikipedia.org/wiki/L/poly Câu hỏi Hậu quả của gì?P⊆L/polyP⊆L/polyP \subseteq L/poly

14 cc.complexity-theory  circuit-complexity  polynomial-time  advice-and-nonuniformity  logspace 

Bổ đề: Giả sử tương đương eta chúng ta có điều đó (\x -> ⊥) = ⊥ :: A -> B. Bằng chứng: ⊥ = (\x -> ⊥ x)bằng cách tương đương eta, và (\x -> ⊥ x) = (\x -> ⊥)bằng cách giảm theo lambda. Báo cáo Haskell 2010, …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

Trả lời: không biết. Các câu hỏi được hỏi là tự nhiên, cởi mở và có vẻ khó khăn; câu hỏi bây giờ là một wiki cộng đồng. Tổng quat Câu hỏi tìm cách phân chia các ngôn ngữ thuộc lớp phức tạp - cùng với các máy Turing quyết …

14 cc.complexity-theory  polynomial-time  undecidability  independence 

Chúng tôi biết vấn đề đếm số lượng bài tập thỏa mãn trong một công thức boolean chung nhất định (CNF-SAT), một công thức DNF nhất định hoặc thậm chí một công thức 2SAT đã cho là một vấn đề # P- Complete. Bây giờ, hãy xem xét một CNF-SAT …

13 sat  counting-complexity  polynomial-time  monotone