Pertanyaan yang diberi tag «polynomial-time»

Treewith adalah parameter grafik penting yang menunjukkan seberapa dekat grafik dari menjadi pohon (walaupun tidak dalam arti topologi yang ketat). Sudah diketahui bahwa menghitung treewidth adalah NP-hard. Adakah kelas alami grafik di mana treewidth sulit untuk dihitung? Demikian pula: Apakah ada kelas grafik yang menarik di mana perhitungan treewidth mudah? …

13 graph-theory  np-hardness  polynomial-time  treewidth 

P / poly adalah kelas masalah keputusan yang dipecahkan oleh keluarga sirkuit Boolean ukuran polinomial. Alternatifnya dapat didefinisikan sebagai mesin Turing polinomial-waktu yang menerima string saran yang ukuran polinomial dalam n dan yang hanya didasarkan pada ukuran n. mP / poli adalah kelas masalah keputusan yang dipecahkan oleh keluarga sirkuit …

13 cc.complexity-theory  complexity-classes  circuit-complexity  polynomial-time  monotone 

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 

Ketika mencoba memecahkan masalah, saya akhirnya menyatakan bagian dari itu sebagai program linear integer berikut. Di sini adalah bilangan bulat positif yang diberikan sebagai bagian dari input. Subset tertentu dari variabel x i j diatur ke nol, dan sisanya dapat mengambil nilai integral positif:ℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,wℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,w\ell,m,n_{1},n_{2},\ldots,n_{\ell},c_{1},c_{2},\ldots,c_{m},wxijxijx_{ij} Memperkecil ∑mj=1cj∑ℓi=1xij∑j=1mcj∑i=1ℓxij\sum_{j=1}^{m}c_{j}\sum_{i=1}^{\ell}x_{ij} Tunduk pada: ∑mj=1xij=ni∀i∑j=1mxij=ni∀i\sum_{j=1}^{m}x_{ij}=n_{i}\,\,\forall i …

13 reference-request  linear-programming  polynomial-time  integer-programming  integrality-gap 

Pertimbangkan masalah berikut, Mengingat satu set bilangan positif { a 1 , ... , a n } dimana k ≥ 3 adalah konstanta, kita ingin partisi set ke m himpunan bagian dari ukuran k sehingga produk dari jumlah setiap bagian dimaksimalkan.n=kmn=kmn = k m{a1,…,an}{a1,…,an}\{ a_1, \dots, a_n \}k≥3k≥3k \ge 3mmmkkk …

12 cc.complexity-theory  np-hardness  application-of-theory  polynomial-time 

Pertimbangkan grafik tidak langsung yang terhubung dengan bobot tepi non-negatif, dan dua simpul dibedakan . Di bawah ini adalah beberapa masalah lintasan yang semuanya dari bentuk berikut: temukan lintasan , sedemikian sehingga beberapa fungsi bobot tepi pada lintasan adalah minimum. Dalam hal ini mereka semua adalah "saudara" dari masalah jalan …

10 graph-theory  graph-algorithms  np-complete  polynomial-time 

Di Kebun Binatang Kompleksitas, ia mengatakan [ 1 ] itu, dalam kompleksitas deskriptif, PPP dapat didefinisikan oleh tiga jenis yang berbeda dari formula, FO(LFP)FO(LFP)FO(LFP) yang juga FO(nO(1))FO(nO(1))FO(n^{O(1)}) , dan juga sebagai SO(HORN)SO(HORN)SO(HORN) . Namun, ada beberapa pengecualian, misalnya, EvennessEvennessEvenness tidak bisa diungkapkan oleh FP (FP memiliki kekuatan ekspresif yang sama …

10 lo.logic  polynomial-time  descriptive-complexity 

Teorema Mahaney memberi tahu kita bahwa jika ada -lengkap yang ditetapkan di bawah pengurangan polinomial-waktu banyak-satu, maka . (Lihat " Set lengkap lengkap untuk NP: Solusi dugaan Berman dan Hartmanis ")NPNPNPP= NPP=NPP = NP Adakah konsekuensi yang diketahui dari keberadaan set lengkap yang jarang untuk kelas kompleksitas lainnya? Khususnya, jika …

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace 

Tidak diketahui apakah atau P ⊈ C S L , di manaP⊆ CSL.P⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL adalah himpunan semua bahasa yang dapat ditentukan dalam waktu polinomial pada mesin Turing deterministik, danPPP adalah kelas bahasa konteks-sensitif, yang dikenal setara dengan N S P A C E ( O ( n ) ) …

10 cc.complexity-theory  fl.formal-languages  polynomial-time 

Saya minta maaf, ini sedikit pertanyaan "lunak". Teori informasi tidak memiliki konsep kompleksitas komputasi. Sebagai contoh, sebuah instance dari SAT, atau sebuah instance dari SAT ditambah sedikit yang menunjukkan kepuasan membawa jumlah informasi yang sama. Apakah ada cara untuk memformalkan konsep "yang secara politis dapat diketahui"? Kerangka kerja seperti itu …

9 cc.complexity-theory  it.information-theory  polynomial-time 

Pertimbangkan masalah di mana Anda diberi kisi 2D (misalnya papan catur) di mana kotak-kotak tertentu ditempati dan Anda perlu menempatkan jumlah minimum persegi panjang non-tumpang tindih dari berbagai ukuran wxh di mana w = 1 atau h = 1 (yaitu "persegi" segmen ") sedemikian rupa sehingga semua kotak kosong dihuni …

9 reference-request  np-hardness  planar-graphs  packing  polynomial-time 

Pertimbangkan masalah-masalah berikut: Masalah Vektor Orthogonal Input: Satu set dari Boolean vektor masing-masing panjang .S SSn nnddd Pertanyaan: Apakah ada vektor berbeda dan sehingga ?v 1 v1v_1v 2 ∈ S v2∈Sv_2 \in Sv 1 ⋅ v 2 = 0v1⋅v2=0v_1 \cdot v_2 = 0 Masalah Vektor Non-Ortogonal Input: Satu set dari …

8 cc.complexity-theory  ds.algorithms  linear-algebra  polynomial-time  boolean-matrix 

Saya mencari lebih banyak masalah di dengan kompleksitas waktu klasik batas bawah. Beberapa orang mungkin bertanya-tanya bagaimana Anda dapat membuktikan batas bawah seperti itu. Lihat di bawah.PPP Batas Bawah Eksponensial: Klaim: Jika Anda memiliki masalah yaitu -complete di bawah pengurangan polinomial, maka ada konstanta sehingga tidak dapat dipecahkan dalam waktu. …

8 cc.complexity-theory  complexity-classes  time-complexity  lower-bounds  polynomial-time 

Apa adalah beberapa contoh dari masalah dengan waktu kuasi-polinomial ( ) algoritma yang dibayangkan bisa berada di . Dengan kata lain, mereka berada di tanpa alasan yang jelas selain tidak ada yang menemukan algoritma polinomial-waktu?P Q PQ PQPQPPPPQ PQPQP Pertanyaan ini dimotivasi oleh hasil grafik isomorfisme terbaru (yang merupakan jawaban …

8 polynomial-time 

Saya tahu bahwa secara umum, kepuasan polinomial multivariat setara dengan 3-SAT; Namun, saya bertanya-tanya apakah ada teknik yang baik dalam kasus kuadratik, khususnya jika ada solusi waktu polinomial. Saya kira pertanyaan yang lebih umum adalah, adakah kelas polinomial multivarian yang masalah kepuasannya dapat dipecahkan secara efisien?

8 cc.complexity-theory  polynomials  polynomial-time  quadratic