Pertanyaan yang diberi tag «cc.complexity-theory»

P versus NP dan perhitungan terbatas sumber daya lainnya.

7
Untuk masalah dalam P apakah lebih mudah untuk memverifikasi hasil daripada menemukannya?
Untuk (versi pencarian) dari masalah NP- lengkap, verifikasi suatu solusi jelas lebih mudah daripada menemukannya, karena verifikasi dapat dilakukan dalam waktu polinomial, sementara menemukan saksi membutuhkan waktu (mungkin) eksponensial. Dalam P , bagaimanapun, solusinya juga dapat ditemukan dalam waktu polinomial, sehingga tidak tampak jelas kapan verifikasi lebih cepat daripada menemukan …
4
Mengapa kita menganggap ruang log sebagai model perhitungan yang efisien (bukan ruang polylog)?
Ini mungkin pertanyaan subyektif dan bukan pertanyaan jawaban yang konkret. Dalam teori kompleksitas kita mempelajari pengertian perhitungan yang efisien. Ada kelas-kelas seperti singkatan untuk waktu polinomial , dan L berarti ruang log . Keduanya dianggap direpresentasikan sebagai semacam "efisiensi", dan mereka menangkap kesulitan dari beberapa masalah dengan cukup baik.PP\mathsf{P}LL\mathsf{L} Tapi …
6
Cara bagi ahli matematika untuk tetap mendapat informasi tentang penelitian saat ini dalam teori kompleksitas
Teori kompleksitas adalah minat sekunder saya yang kuat tetapi itu bukan minat penelitian utama saya, jadi tidak ada harapan bagi saya untuk menghadiri semua konferensi, membaca semua blog, dan memastikan bahwa kerumunan "dalam" cc: saya di setiap bagian berita hangat. Saya mencoba melakukan beberapa dari ini, tetapi saya bertanya-tanya metode …
20
Masalah NP-hard pada pohon
Beberapa masalah optimisasi yang dikenal sebagai NP-hard pada grafik umum sepele dipecahkan dalam waktu polinomial (beberapa bahkan dalam waktu linier) ketika grafik input adalah pohon. Contohnya termasuk penutup simpul minimum, set independen maksimum, isomorfisme subgraph. Sebutkan beberapa masalah optimasi alami yang tetap NP-keras pada pohon.
4
Apa konsekuensi dari
Kita tahu bahwa L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} dan L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , di mana L2=DSPACE(log2n)L2=DSPACE(log2⁡n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . Kita juga tahu bahwa polyL≠PpolyL≠P\mathsf{polyL} \neq \mathsf{P}karena yang terakhir memiliki masalah lengkap di bawah ruang reduksi banyak-satu sementara logaritmik tidak (karena teorema hierarki ruang). Dalam rangka …
5
Apakah ada Hukum Konservasi dalam Teori Kompleksitas?
Mari saya mulai dengan beberapa contoh. Mengapa begitu sepele untuk menunjukkan CVP dalam P tetapi begitu sulit untuk menunjukkan LP dalam P; sementara keduanya adalah masalah P-complete. Atau anggap primality. Lebih mudah untuk menunjukkan komposit dalam NP daripada bilangan prima dalam NP (yang membutuhkan Pratt) dan akhirnya dalam P. Mengapa …
3
Varian anjak lengkap NP.
Buku Arora dan Barak menyajikan anjak piutang sebagai masalah berikut: FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}\text{FACTORING} = \{\langle L, U, N \rangle \;|\; (\exists \text{ a prime } p \in \{L, \ldots, U\})[p | N]\} Mereka menambahkan, lebih lanjut dalam Bab 2, bahwa menghilangkan fakta bahwa adalah prima membuat …
4
Teorema Ladner Umum
Teorema Ladner menyatakan bahwa jika P ≠ NP, maka ada hierarki tak terbatas dari kelas kompleksitas yang secara ketat berisi P dan secara ketat terkandung dalam NP. Buktinya menggunakan kelengkapan SAT di bawah banyak-satu pengurangan NP. Hirarki berisi kelas kompleksitas yang dibangun oleh semacam diagonalisasi, masing-masing berisi beberapa bahasa yang …
5
Apakah hierarki Chomsky sudah ketinggalan zaman?
Hirarki Chomsky (–Schützenberger) digunakan dalam buku teks ilmu komputer teoretis, tetapi itu jelas hanya mencakup sebagian kecil dari bahasa formal (REG, CFL, CSL, RE) dibandingkan dengan Diagram Kompleksitas Kebun Binatang . Apakah hierarki memainkan peran dalam penelitian saat ini lagi? Saya hanya menemukan sedikit referensi untuk Chomsky di sini di …
8
Berita kematian dari dugaan mati
Saya mencari dugaan tentang algoritme dan kompleksitas yang dipandang kredibel oleh banyak orang di beberapa titik waktu, tetapi kemudian mereka ditolak, atau setidaknya tidak dipercaya, karena pemasangan kontra-bukti. Berikut adalah dua contoh: Hipotesis oracle acak: hubungan antara kelas-kelas kompleksitas yang berlaku untuk hampir semua dunia yang ter-relativisasi, juga berlaku dalam …
4
Algoritma pendekatan untuk Metric TSP
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 …
8
Pentingnya Integrality Gap
Saya selalu mengalami kesulitan dalam memahami pentingnya Integrality Gap (IG) dan terikat padanya. IG adalah rasio (kualitas) jawaban integer optimal untuk (kualitas) solusi nyata optimal dari relaksasi masalah. Mari kita pertimbangkan vertex cover (VC) sebagai contoh. VC dapat dinyatakan sebagai menemukan solusi integer optimal dari set persamaan linear berikut: Kami …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.