Pertanyaan yang diberi tag «polynomial-time»

Saya telah menemukan algoritma polinomial yang memecahkan 2SAT. Saya menemukan itu mengejutkan bahwa 2SAT ada di P di mana semua (atau banyak lainnya) dari instance SAT adalah NP-Complete. Apa yang membuat masalah ini berbeda? Apa yang membuatnya sangat mudah (Lengkap-NL - bahkan lebih mudah daripada P)?

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

Saya agak bingung dengan literatur optimasi kontinu dan literatur TCS tentang jenis program matematika (MP) yang dapat diselesaikan secara efisien, dan yang tidak. Komunitas optimisasi berkelanjutan tampaknya mengklaim bahwa semua program cembung dapat diselesaikan secara efisien, tetapi saya yakin definisi "efisien" mereka tidak sesuai dengan definisi TCS. Pertanyaan ini telah …

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

Saya ingin mencari algoritma waktu polinomial yang menentukan apakah rentang set matriks yang diberikan berisi matriks permutasi. Jika ada yang tahu jika masalah ini dari kelas kompleksitas yang berbeda, itu akan sangat membantu. EDIT: Saya telah menandai pertanyaan ini dengan Linear Programming, karena saya memiliki kecurigaan yang kuat bahwa jika …

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

Apakah algoritme waktu polinomial deterministik yang dikenal untuk masalah berikut: Input: angka alami nnn (dalam pengkodean biner) Output: bilangan prima p>np>np > n . (Menurut daftar masalah terbuka oleh Leonard Adleman, masalahnya terbuka pada 1995.)

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

Masalah Tidak Semua Sama dengan -SAT (NAE k -SAT), diberikan satu set C klausa atas seperangkat X variabel boolean sehingga setiap klausa berisi paling banyak k literal, menanyakan apakah ada penugasan kebenaran dari variabel sedemikian rupa sehingga setiap klausa berisi setidaknya satu true dan literal false.kkkkkkCCCXXXkkk Masalah PLANAR NAE -SAT …

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

Apakah ada masalah alami dalam P yang terikat waktu berjalan paling dikenal adalah dari bentuk , di mana adalah konstanta irasional ?O ( nα)HAI(nα)O(n^\alpha)αα\alpha

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

Pertimbangkan bahasa EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} . Diketahui bahwa EQUALITYEQUALITY \mathtt{EQUALITY} tidak dapat dikenali oleh mesin Turing (ATM) sublogaritmik yang bergantian (Szepietowski, 1994) . (Ada ATM yang menggunakan ruang sublogaritmik untuk anggota tetapi tidak untuk semua bukan anggota!) Di sisi lain, Freivalds (1981) menunjukkan …

21 space-bounded  polynomial-time 

(Ini adalah tindak lanjut dari pertanyaan ini dan jawabannya .) Saya memiliki program linear integer benar-benar unimodular (TU) berikut (ILP). Di sini semua bilangan bulat positif diberikan sebagai bagian dari input. Subset tertentu dari variabel diatur ke nol, dan sisanya dapat mengambil nilai integral positif:x i jℓ , m , …

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

László Babai baru-baru ini membuktikan bahwa masalah Graph Isomorphism berada dalam masa quasipolynomial . Lihat juga ceramahnya di University of Chicago, catatan dari pembicaraan oleh Jeremy Kun GLL pos 1 , GLL pos 2 , GLL pos 3 . Menurut teorema Ladner, jika , maka tidak kosong, yaitu berisi masalah …

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

Saya mencoba untuk memecahkan masalah tertentu, dan saya pikir saya mungkin bisa menyelesaikannya dengan menggunakan teori automata. Saya bertanya-tanya, model automata apa yang memiliki penahanan yang dapat ditentukan dalam waktu polinomial? yaitu jika Anda memiliki mesin Anda dapat menguji apakah efisien.M1,M2M1,M2M_1, M_2L ( M1) ⊆ L ( M2)L(M.1)⊆L(M.2)L(M_1) \subseteq L(M_2) …

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

Masalah cycle adalah sebagai berikut:kkk Instance: Grafik tidak berarah dengan simpul dan hingga n \ pilih 2 sisi.GGGnnn(n2)(n2)n \choose 2 Pertanyaan: Apakah ada kkk siklus) di GGG ? Latar Belakang: Untuk setiap k yang diperbaiki kkk, kita dapat menyelesaikan 2k2k2k cycle dalam waktu O(n2)O(n2)O(n^2) . Raphael Yuster, Uri Zwick: Menemukan …

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

Sebuah bahasa dalam L/polyL./halHailyL/poly jika ada mesin Turing logspace yang memutuskan bahasa dengan jumlah saran polinomial. Lihat di sini untuk info lebih lanjut: https://en.wikipedia.org/wiki/L/poly Pertanyaan Apa konsekuensi dari ?P⊆L/polyP⊆L./halHailyP \subseteq L/poly

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

Lemma: Dengan asumsi kesetaraan eta kita memilikinya (\x -> ⊥) = ⊥ :: A -> B. Bukti: ⊥ = (\x -> ⊥ x)dengan kesetaraan eta, dan (\x -> ⊥ x) = (\x -> ⊥)dengan pengurangan di bawah lambda. Laporan Haskell 2010, bagian 6.2 menentukan seqfungsi dengan dua persamaan: seq :: …

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 

Jawab: tidak dikenal. Pertanyaan yang diajukan wajar, terbuka, dan tampaknya sulit; pertanyaannya sekarang adalah wiki komunitas. Gambaran Pertanyaannya adalah mencoba untuk membagi bahasa yang termasuk dalam kelas kompleksitas - bersama dengan mesin Turing keputusan (TMs) yang menerima bahasa ini - menjadi dua subkelas pelengkap:PPP bahasa gnostik dan TM (yang layak …

14 cc.complexity-theory  polynomial-time  undecidability  independence 

Kita tahu masalah menghitung jumlah penugasan yang memuaskan dalam formula boolean umum yang diberikan (CNF-SAT), formula DNF yang diberikan, atau bahkan formula 2SAT yang diberikan adalah masalah # P-complete . Sekarang, pertimbangkan CNF-SAT tanpa literal negatif (tidak , selalu A ). Masalah keputusan sangat mudah (atur semua variabel ke TRUE …

13 sat  counting-complexity  polynomial-time  monotone