Pertanyaan yang diberi tag «exp-time-algorithms»

Diketahui bahwa metrik TSP dapat diperkirakan dalam dan tidak dapat diperkirakan lebih baik dari 1231.51.51.5 dalam waktu polinomial. Apakah sesuatu yang diketahui tentang menemukan solusi pendekatan dalam waktu eksponensial (misalnya, kurang dari2nlangkah dengan hanya ruang polinomial)? Misalnya dalam waktu dan ruang apa kita dapat menemukan tur yang jaraknya paling jauh1.1×OPT?123122123122123\over …

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

Grafik adalah -choosable (juga dikenal sebagai -list-colorable ) jika, untuk setiap fungsi yang memetakan simpul ke set warna, ada penetapan warna sedemikian rupa, untuk semua simpul , , dan sedemikian rupa sehingga, untuk semua tepi , .k f k c v c ( v ) ∈ f ( v ) …

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

Algoritma klasik dapat menyelesaikan 3-SAT dalam waktu (acak) atau 1,3303 n waktu (deterministik). (Referensi: Batas Atas Terbaik di SAT )1.3071n1.3071n1.3071^n1.3303n1.3303n1.3303^n Sebagai perbandingan, menggunakan algoritma Grover pada komputer kuantum akan mencari dan memberikan solusi dalam , secara acak. (Ini mungkin masih memerlukan pengetahuan tentang berapa banyak solusi yang mungkin ada atau …

29 quantum-computing  sat  exp-time-algorithms 

Apa yang diketahui tentang kompleksitas tepat dari masalah superstring terpendek? Bisakah itu diselesaikan lebih cepat dari ? Apakah ada algoritma yang dikenal yang memecahkan superstring terpendek tanpa mengurangi menjadi TSP?O∗(2n)O∗(2n)O^*(2^n) UPD: menekan faktor polinomial.O∗(⋅)O∗(⋅)O^*(\cdot) Masalah superstring terpendek adalah masalah yang jawabannya adalah string terpendek yang berisi setiap string dari serangkaian …

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

Pertimbangkan masalah keputusan berikut Input : CNF ΦΦ\Phi monoton dan DNF monoton P .ΨΨ\Psi Pertanyaan : Apakah sebuah tautologi?Φ→ΨΦ→Ψ\Phi \to \Psi Tentunya Anda dapat mengatasi masalah ini dalam waktu , di mana adalah jumlah variabel dalam dan adalah panjang input. Di sisi lain, masalah ini lengkap dengan TNP. Selain itu, …

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

Apakah Anda mengetahui masalah apa pun (lebih disukai setidaknya agak terkenal), di mana, untuk ukuran masalah praktis , algoritma eksponensial berjalan jauh lebih cepat daripada rekan waktu polinomial yang paling terkenal. Sebagai contoh, anggaplah suatu masalah memiliki ukuran praktis * dan ada dua algoritma yang dikenal: Satu adalah 2 n …

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

Pertanyaan ini adalah tentang masalah pemrograman kuadratik dengan kendala kotak (kotak-QP), yaitu masalah optimasi formulir meminimalkan f(x)=xTAx+cTxf(x)=xTAx+cTxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{c}^T \mathbf{x} tunduk pada x ∈[0,1]nx∈[0,1]n\mathbf{x} \in [0,1]^n . Jika positif semi-pasti, maka semuanya akan bagus dan cembung dan mudah, dan kita bisa menyelesaikan masalah dalam waktu polinomial.SEBUAHSEBUAHA …

13 ds.algorithms  optimization  exp-time-algorithms 

Apakah mungkin bahwa ? Adakah konsekuensi menarik dari penahanan seperti itu? Apakah itu bertentangan dengan Hipotesis Waktu Eksponensial?SA T¯¯¯¯¯¯¯¯¯¯∈ NTsayaM.E( exp( n0,9) )SSEBUAHT¯∈NTsayaM.E(exp⁡(n0,9))\overline{SAT} \in NTIME(\exp(n^{0.9}))

12 sat  exp-time-algorithms  nexp 

Impagliazzo, Paturi dan Calabro, Impagliazzo, Paturi memperkenalkan Hipotesis Eksponensial-Waktu (ETH) dan Hipotesis Eksponensial- Kuat (SETH). Secara kasar, SETH mengatakan bahwa tidak ada algoritma yang memecahkan SAT dalam waktu . 1.99n1.99n1.99^n Saya bertanya-tanya apa artinya menghancurkan SETH. Kita pasti perlu menemukan algoritma yang memecahkan SAT dalam kurang dari langkah, tapi saya …

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

Apakah fakta bahwa masalah adalah waktu EXP lengkap berarti bahwa tidak ada dalam ?A D T I M E ( 2 o ( n ) )SEBUAHAASEBUAHAAD TsayaM.E( 2o ( n ))DTIME(2o(n))DTIME(2^{o(n)}) Saya sadar bahwa menurut teorema hierarki waktu, tidak termasuk dalam . Namun demikian ini tampaknya tidak mengecualikan segera keberadaan …

10 exp-time-algorithms  complexity 

Seberapa sulit masalah Set Cover jika jumlah elemen dibatasi oleh beberapa fungsi (misalnya, lognlog⁡n\log n ) di mana nnn adalah ukuran instance masalah. Secara formal, Misalkan U={e1,⋯,em}U={e1,⋯,em}\mathcal{U}=\{e_1, \cdots, e_m\} dan F={S1,⋯,Sn}F={S1,⋯,Sn}\mathcal{F} = \{S_1, \cdots, S_n\} mana Si⊆USi⊆US_i \subseteq \mathcal{U} dan m=O(logn)m=O(log⁡n)m = O(\log n) . Seberapa sulit untuk memutuskan masalah …

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

Apakah ada algoritma yang dikenal untuk masalah berikut yang mengalahkan algoritma naif? Input: Sistem dari ketidaksetaraan linear m .A x ≤ bAx≤bAx \le bmmm Keluaran: Solusi yang layak jika ada.x∗∈ { 0 , 1 }nx∗∈{0,1}nx^*\in \{0,1 \}^n Asumsikan bahwa dan b memiliki entri bilangan bulat. Saya tertarik pada batasan terburuk.SEBUAHAAbbb

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

Perbaiki . Untuk cukup besar , kami ingin memberi label semua subset ukuran persis dengan bilangan bulat positif dari . Kami ingin pelabelan ini memenuhi properti berikut: ada himpunan bilangan bulat, stn { 1 .. n } n / k { 1 ... T } Sk≥5k≥5k\ge5nnn{1..n}{1..n}\{1..n\}n/kn/kn/k{1...T}{1...T}\{1...T\}SSS Jika subset dari ukuran …

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

Apakah ada algoritma yang dikenal untuk masalah berikut yang mengalahkan algoritma naif? Input: matriks AAA dan vektor b,cb,cb,c , di mana semua entri A,b,cA,b,cA,b,c adalah bilangan bulat tidak negatif. x∗x∗x^*max{cTx:Ax≤b,x∈{0,1}n}max{cTx:Ax≤b,x∈{0,1}n}\max \{ c^T x : Ax \le b, x \in \{ 0,1\}^n \} Pertanyaan ini adalah versi yang disempurnakan dari pertanyaan …

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

Ketika saya melihat melalui " Pendekatan Pemrograman Dinamis untuk Masalah Sequencing " oleh Michael Held dan Richard M. Karp, saya datang dengan pertanyaan berikut: mengapa kompleksitas algoritma mereka untuk TSP adalah (hlm. 199), maksud saya kemana mereka mengambil faktor ? Jika saya mengerti benar berarti jumlah penambahan untuk setiap himpunan …

9 ds.algorithms  tsp  exp-time-algorithms