Pertanyaan yang diberi tag «complexity-theory»

Pertanyaan yang terkait dengan kompleksitas (komputasi) penyelesaian masalah

3
Membuktikan P = NP tanpa pernyataan matematis / program komputer
Ini adalah posting pertama saya setelah menjadi pengguna pasif untuk beberapa waktu sekarang. Saya ingin mengajukan beberapa pertanyaan jika saya bisa. Saya bukan ahli matematika tetapi pertanyaan saya berhubungan dengan bidang matematika / ilmu komputer. Secara khusus, masalah P vs NP. Saya sadar bahwa ini adalah masalah yang belum dapat …
2
Apakah Fungsi Tingkat Tinggi menyediakan lebih banyak daya untuk Pemrograman Fungsional?
Saya telah mengajukan pertanyaan serupa di cstheory.SE . Menurut jawaban ini pada Stackoverflow ada algoritma yang pada bahasa pemrograman fungsional murni non-malas memiliki kompleksitas , sedangkan algoritma yang sama dalam pemrograman imperatif adalah Ω ( n ) . Menambahkan kemalasan ke bahasa FP akan membuat algoritma Ω ( n ) …
1
Versi terbatas masalah Clique?
Pertimbangkan versi masalah Clique berikut ini di mana input berukuran dan kami diminta untuk menemukan klik ukuran . Batasannya adalah prosedur pengambilan keputusan tidak dapat mengubah grafik input menjadi representasi lain dan tidak dapat menggunakan representasi lain untuk menghitung jawabannya, selain bit tambahan di luar grafik input. Bit tambahan dapat …
2
Membuktikan DOUBLE-SAT adalah NP-complete
Masalah SAT yang terkenal didefinisikan di sini untuk referensi. Masalah DOUBLE-SAT didefinisikan sebagai DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least two satisfying assignments}\} Bagaimana kita membuktikannya sebagai NP-complete? Lebih dari satu cara untuk membuktikan akan …
3
Apakah ada mesin abstrak yang dapat menangkap konsumsi daya?
Ketika melaporkan kompleksitas algoritmik suatu algoritma, seseorang mengasumsikan perhitungan yang mendasarinya dilakukan pada beberapa mesin abstrak (misalnya RAM) yang mendekati CPU modern. Model semacam itu memungkinkan kami melaporkan kompleksitas algoritma waktu dan ruang. Sekarang, dengan penyebaran GPGPU , orang bertanya-tanya apakah ada model terkenal di mana orang dapat memperhitungkan konsumsi …
2
MIN-2-XOR-SAT dan MAX-2-XOR-SAT: apakah mereka NP-hard?
Apa kompleksitas dari dan ? Apakah mereka dalam P? Apakah ini NP-hard?MIN-2-XOR-SATMIN-2-XOR-SAT\text{MIN-2-XOR-SAT}MAX-2-XOR-SATMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} Untuk memformalkan ini lebih tepat, biarkan Φ(x)=∧niCi,Φ(x)=∧inCi,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, di mana dan setiap klausa adalah dalam bentuk atau .x=(x1,…,xm)x=(x1,…,xm)\mathbf{x} = (x_1,\dots,x_m)CiCiC_i(xi⊕xj)(xi⊕xj)(x_i \oplus x_j)(xi⊕¬xj)(xi⊕¬xj)(x_i \oplus \neg x_j) Masalah adalah untuk menemukan tugas untuk yang memenuhi . Masalah ini ada di …
2
Bisakah Masalah NP-Lengkap diselesaikan menggunakan paling banyak ruang polinomial (tetapi saat menggunakan waktu eksponensial?)
Saya membaca tentang NPC dan hubungannya dengan PSPACE dan saya ingin tahu apakah masalah NPC dapat dipecahkan dengan menggunakan algoritma dengan persyaratan ruang polinomial kasus terburuk, tetapi berpotensi mengambil waktu eksponensial (2 ^ P (n) di mana P adalah polinomial). Selain itu, dapatkah itu digeneralisasi ke EXPTIME secara umum? Alasan …
2
Masalah yang terasa eksponensial tetapi P
Saya mencoba membuat daftar algoritma / masalah yang "sangat berguna", seperti dalam, memecahkan masalah yang 'tampak' sangat eksponensial di alam, tetapi memiliki beberapa algoritma yang sangat pintar yang akhirnya menyelesaikannya. Contoh yang saya maksud: Linear Programming (Algoritma simpleks adalah waktu eksponensial; butuh waktu lama untuk menemukan solusi waktu polinomial!) Lebih …
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.