Pertanyaan yang diberi tag «cc.complexity-theory»

P versus NP dan perhitungan terbatas sumber daya lainnya.

3
Apakah ada permainan sederhana dengan kompleksitas asimetris?
Pertimbangkan informasi lengkap permainan kombinatorial dua pemain yang berakhir setelah sejumlah polinomial gerakan, dan dengan cara bergantian, para pemain mengambil dari sejumlah terbatas gerakan yang diizinkan. Pertanyaan yang biasa adalah, seberapa sulit untuk mengetahui dari posisi yang diberikan pemenang. Yang lain adalah, betapa sulitnya untuk mengambil langkah kemenangan dari posisi …
1
Untuk apa c dibagi dengan c di AC0?
Misalkan input kita adalah biner dan kita harus menampilkan , di mana adalah bilangan bulat konstan. Ini hanya pergeseran jika adalah kekuatan dua, tetapi bagaimana dengan angka lainnya? Bisakah kita melakukannya dengan sirkuit kedalaman konstan untuk setiap ? Bagaimana dengan ?⌊ x / c ⌋ c c c c = …
2
Bagaimana menilai definisi kompleksitas perhitungan real yang alami atau cocok?
Seperti yang kita ketahui, definisi kompleksitas komputasi algoritma hampir tanpa kontroversi, tetapi definisi kompleksitas komputasi real atau model komputasi atas real tidak dalam kasus seperti itu. Kita tahu model dan model Blum dan Smales dalam buku Computable Analysis. Dan tampaknya, model dalam Analisis Komputasi konsisten dengan model klasik, tetapi definisi …
2
Kompleksitas garis lurus monomial
Biarkan menjadi bidang. Seperti biasa, untuk sebuah kita mendefinisikan sebagai kompleksitas garis lurus dari atas . Misalkan adalah himpunan monomial dari , yaitu monomial yang muncul dalam dengan koefisien tidak nol.kkkL ( f ) f k F f ff∈k[x1,x2,…,xn]f∈k[x1,x2,…,xn]f\in k[x_{1},x_{2},\ldots,x_{n}]L(f)L(f)L(f)fffkkkFFFffffff Benarkah ?∀m∈F:L(m)≤L(f)∀m∈F:L(m)≤L(f) \forall m\in F:L(m)\le L(f) Bahkan beberapa batas atas …
1
Kebingungan tentang reduksi penghitungan penutup simpul hingga penghitungan penutup siklus
Ini membingungkan saya. Salah satu kasus penghitungan yang mudah adalah ketika masalah keputusan ada di dan tidak ada solusi.PPP Kuliah menunjukkan bahwa masalah penghitungan jumlah kecocokan sempurna dalam grafik bipartit (ekuivalen, menghitung jumlah penutup siklus dalam grafik terarah) adalah .#P#P\#P Mereka memberikan pengurangan dari menghitung simpul penutup ukuran ke menghitung …
4
Masalah polinomial dalam kelas grafik yang didefinisikan oleh subgraf siklik terlarang
Crossposted dari MO . Misalkan adalah kelas grafik yang didefinisikan oleh sejumlah terbatas dari subgraph yang diinduksi terlarang, yang semuanya adalah siklik (mengandung setidaknya satu siklus).CCC Apakah ada masalah grafik NP-hard yang dapat diselesaikan dalam waktu polinomial untuk selain penutup Clique dan Clique?CCC Jika saya ingat dengan benar, ini tidak …
3
Adakah bukti non-konstruktif tentang keberadaan mesin Turing / NFA “kecil”?
Setelah membaca pertanyaan terkait , tentang bukti keberadaan algoritma yang tidak konstruktif, saya bertanya-tanya apakah ada metode untuk menunjukkan keberadaan mesin komputasi "kecil" (katakanlah, bijaksana) tanpa benar-benar membangunnya. Secara formal: misalkan kita diberi beberapa bahasa dan memperbaiki beberapa model perhitungan (NFA / mesin turing / dll.).L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* Apakah ada hasil …
1
Hampir selalu hampir benar
Saya mencari kelas kompleksitas yang berhubungan dengan APX karena BPP berhubungan dengan P. Saya sudah mengajukan pertanyaan yang sama di sini , tapi mungkin TCS akan menjadi lokasi yang lebih berbuah untuk jawaban. Alasan untuk pertanyaan ini adalah bahwa dalam masalah praktis kita sering perlu menemukan jawaban perkiraan (dengan demikian …
1
Model Komputasi dalam SETH
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 …
1
Impagliazzo dan kertas P = BPP terkenal Wigderson
Saya membaca makalah Impagliazzo dan Wigderson yang terkenal pada tahun 1997. Karena saya baru di bidang ini dan makalah ini adalah versi konferensi singkat, saya mengalami kesulitan mengikuti bukti mereka. Secara khusus, beberapa teorema baru mereka tidak memiliki bukti. Sejauh pengetahuan saya, belum ada versi jurnal yang diterbitkan.P=BPPP=BPP\mathsf P=\mathsf{BPP} Saya …
2
Intuisi untuk kelas UP
Kelas UP didefinisikan sebagai: Kelas masalah keputusan dipecahkan oleh mesin NP sedemikian rupa Jika jawabannya adalah 'ya,' tepat satu jalur perhitungan menerima. Jika jawabannya adalah 'tidak,' semua jalur perhitungan ditolak. Saya mencoba mengembangkan intuisi untuk definisi ini. Dapatkah seseorang mengatakan bahwa masalah UP adalah masalah dengan solusi unik (misalnya factorisation …
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.