Pertanyaan yang diberi tag «complexity-theory»

Saya memiliki masalah yang saya duga adalah NP-complete. Sangat mudah untuk membuktikan bahwa itu adalah NP. Kereta pikiran saya saat ini berkisar menggunakan pengurangan dari ransel tetapi akan menghasilkan contoh 0-1-ransel dengan nilai setiap item sama dengan beratnya. Apakah ini masih lengkap dengan NP? Atau apakah saya melewatkan sesuatu?

9 complexity-theory  np-complete  decision-problem  packing 

Dalam masalah Subset Sum, bisakah beberapa angka yang diberikan sama? Sebagai contoh, kita mungkin memiliki dan targetnya adalah ? Dapatkah saya berasumsi bahwa saya memiliki solusi spesifik dengan angka dan dan dan tidak?a1,a2,a3,…,ana1,a2,a3,…,ana_1,a_2,a_3,\dots,a_n[1,1,1,2,3,4][1,1,1,2,3,4][1,1,1,2,3,4]5552223331,1,11,1,11,1,1222

9 complexity-theory  terminology 

Begitu NPNPNP singkatan dari masalah di mana kita memiliki saksi kecil yang dapat diverifikasi YESYESYES contoh dan c o NPcoNPcoNP untuk saksi kecil yang dapat diverifikasi NHAINONOcontoh. Bagaimana cara kerjanya? PNPPNPP^{NP} NPNPNPNPNP^{NP} c o NPNPcoNPNPcoNP^{NP} dan seterusnya?

8 complexity-theory  np 

Saya sedang membaca makalah ini di mana penulis menjelaskan Teorema 1, yang menyatakan "Obyek yang Dapat Dicapai" (sebagaimana didefinisikan dalam makalah ini) adalah NP-complete. Namun, mereka membuktikan pengurangan hanya dalam satu arah, yaitu dari 2P1N SAT ke Obyek yang Dapat Dicapai. Ini hanya membuktikan bahwa masalahnya adalah NP-hard; apakah kita …

8 complexity-theory  np-complete  np-hard  satisfiability 

Saya melihat di mana-mana bahwa persamaan rekursif untuk kompleksitas Strassen alg adalah: T( n ) = 7 T(n2) + O (n2) .T(n)=7T(n2)+O(n2).T(n) = 7T(\tfrac{n}{2})+O(n^2).Ini tidak begitu jelas bagi saya. Parameternnn seharusnya ukuran input, tetapi tampaknya ini adalah satu dimensi dari matriks sedangkan ukuran input sebenarnya n2n2n^2. Juga, setiap matriks input …

8 algorithms  complexity-theory  divide-and-conquer  matrix 

Membiarkan L1L1L_1 dan L2L2L_2 menjadi yang berikut: L1={r:∃x,y∈Z such that x2+y2=r}L1={r:∃x,y∈Z such that x2+y2=r}L_1=\{r:\exists x,y \in \mathbb{Z} \text{ such that } x^2+y^2=r\} L2={(N,M):M&lt;N,∃1&lt;d≤M such that d|N}L2={(N,M):M&lt;N,∃1&lt;d≤M such that d|N}L_2=\{(N,M): M<N, \exists 1<d\leq M \text{ such that d|N} \} Klaim L1≤PL2L1≤PL2L_1 \leq_P L_2 Bukti Sketsa Jika saya ingin tahu apakah r∈L1r∈L1r\in …

8 complexity-theory  time-complexity  np  decision-problem 

Saya yakin pasti ada yang salah dengan alasan berikut karena jika tidak banyak penelitian P vs NP akan dikurangi tetapi saya tidak dapat menentukan kesalahan saya: Untuk bilangan bulat tetap k&gt;0k&gt;0k>0 menetapkan Bk:={⟨φ⟩|φis a wff of ZF and has a proof of length≤k|φ|k}Bk: ={⟨φ⟩|φadalah wff dari ZF dan memiliki bukti …

8 complexity-theory  np-complete  logic  p-vs-np 

Pendekatan umum untuk memutuskan apakah dua grafik yang diberikan adalah isomorfik adalah dengan menghitung apa yang disebut label kanonik (sebagai alternatif, grafik kanonik) dari masing-masing grafik dan untuk memeriksa apakah mereka cocok atau tidak. Alat-alat seperti Nauty menghitung grafik kanonik melalui pohon pencarian yang dipangkas menggunakan beberapa ide pintar yang …

8 complexity-theory  graph-isomorphism 

Saya baru mengenal teori kompleksitas dan ingin tahu apa itu teori kompleksitas struktural? apa masalah yang coba diselesaikan oleh para ahli teori dalam bidang ini dan apa masa depannya? Dari wikipedia: Teori kompleksitas struktural atau hanya kompleksitas struktural adalah studi tentang kelas kompleksitas, bukan kompleksitas komputasi dari masalah dan algoritma …

8 complexity-theory  reference-request 

Ini adalah tugas dari kontes IT Jerman ("Bundeswettbewerb Informatik"), tetapi karena batas waktu sudah lewat, menanyakan pertanyaan ini tidak curang. Dengan diberi graf titik-tertimbang, terarah dan nilai , temukan subset dari simpul yang memaksimalkan tunduk pada Apakah ini masalah NP-hard?G = ( V, E)G=(V,E)G=(V, E)cvcvc_vVr e s⊆ VVres⊆VV_{res}\subseteq V∑v ∈Vr …

8 complexity-theory  reductions  np-hard 

Selama beberapa tahun terakhir, saya membangun sebuah komputer mekanik yang ditenagai oleh kelereng dan membuat game darinya. Ini mirip dengan Digi-Comp II yang lama, kecuali untuk dua perbedaan utama: Bagian dapat diposisikan di papan tulis. Anda dapat menghubungkan banyak 'bit' secara bersamaan menggunakan roda gigi. Ketika salah satu dari bit-bit …

8 complexity-theory  turing-machines  computer-architecture  computation-models 

Setelah kelas Teori Komputasi saya hari ini, pertanyaan ini muncul di benak saya: Jika masalah dapat diselesaikan oleh robot terbatas, masalah ini milik P. Saya pikir itu benar, karena automata mengenali bahasa yang sangat sederhana, maka semua bahasa ini akan memiliki algoritma polinomial untuk menyelesaikannya. Jadi, apakah benar bahwa masalah …

8 complexity-theory  automata  finite-automata  polynomial-time 

Saya baru-baru ini memikirkan bukti berikut bahwa L = P menyiratkan P = NP. Misalkan L = P. Biarkan A menjadi masalah di NP. Dengan definisi verifikasi NP, setiap solusi positif untuk A memiliki saksi yang dapat diverifikasi dalam waktu polinomial. Karena P = L, solusi yang sama dapat diverifikasi …

8 complexity-theory  p-vs-np 

Ini adalah sesuatu yang tidak dapat saya temukan - tetapi saya selalu merasa menarik bahwa lemma pemompaan hanyalah sebuah lemma (terutama karena ia memiliki nama yang sama untuk bahasa biasa, bahasa bebas konteks, dll ...) Apa itu lemma?

8 complexity-theory  regular-languages  finite-automata 

Pertanyaan saya adalah sebagai berikut. Asumsikan bahwaΠΠ\Piadalah masalah NP-hard. Diberikan contoh sewenang-wenangIII dari ΠΠ\Pi dan berasumsi bahwa musuh tahu bahwa kejadian ini mudah diselesaikan, apakah mungkin untuk menemukan algoritma waktu polinomial deterministik untuk menyelesaikan contoh khusus ini III? Misalnya: Misalkan saja ΠΠ\Piadalah GRAFIK WARNA. Musuh memberi Anda grafikGGG dengan nnn …

8 complexity-theory  np-complete  np-hard  np  p-vs-np