Pertanyaan yang diberi tag «cc.complexity-theory»

P versus NP dan perhitungan terbatas sumber daya lainnya.


1
Kelas kompleksitas sirkuit linear
Kelas NCsayaNCsaya\textrm{NC}^i adalah fungsi kelas yang dapat dihitung oleh rangkaian keluarga dengan ukuran kipas masuk, nO ( 1 )nHAI(1)n^{O(1)} dan kedalaman O ( logsaya( n ) )HAI(catatansaya⁡(n))O(\log^i(n)) . The NCNC\textrm{NC} -hierarchy adalah gabungan dari kelas-kelas. Apakah ada studi varian ukuran linear dari hierarki ini? Itu adalah keluarga rangkaian fan-in terbatas, …

1
Apa kompleksitas game ini?
Ini adalah generalisasi dari pertanyaan saya sebelumnya . Mari menjadi mesin deterministik waktu polinomial yang dapat mengajukan pertanyaan untuk beberapa oracle . Awalnya kosong tetapi ini dapat diubah setelah permainan yang akan dijelaskan di bawah ini. Biarkan menjadi beberapa string.M.MMSEBUAHAASEBUAHAAxxx Pertimbangkan permainan Alice dan Bob berikut ini. Awalnya, Alice dan …


1
Apakah game ini EXPSPACE-lengkap?
Mari menjadi mesin deterministik waktu polinomial yang dapat mengajukan pertanyaan untuk beberapa oracle A . Awalnya A kosong tetapi ini dapat diubah setelah permainan yang akan dijelaskan di bawah ini. Biarkan x menjadi beberapa string.MMMAAAAAAxxx Pertimbangkan permainan Alice dan Bob berikut ini. Awalnya, Alice dan Bob memiliki dan m B …

2
Wawasan umum ke dalam kompleksitas hipotetis masalah grafik
Saya menemukan dua contoh kekerasan hipotetis dari beberapa masalah grafik. Kekerasan hipotesis berarti bahwa menyangkal beberapa dugaan akan menyiratkan kelengkapan NP dari masing-masing masalah grafik. Misalnya, dugaan Barnette menyatakan bahwa setiap grafik bipartit planar 3 yang terhubung adalah Hamilton. Feder dan Subi membuktikan bahwa menyangkal dugaan akan menyiratkan kelengkapan NP …

1
Menyortir dengan rata-rata perbandingan
Apakah ada algoritma sorting berbasis perbandingan yang menggunakan rata-rata lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) perbandingan? Keberadaan terburuk lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) algoritma perbandingan merupakan masalah terbuka, tapi sudah cukup kasus rata-rata untuk algoritma acak dengan yang diharapkan lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) perbandingan untuk setiap masukan . Signifikansi lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) adalah bahwa hal itu o(n)o(n)o(n) perbandingan dari optimal, membuang-buang rata-rata hanya o(1)o(1)o(1) …


1
Menentukan Bit Perkalian Biner Paling Signifikan
Saya tertarik untuk menentukan kerumitan masalah keputusan berikut: Diberikan dua bilangan bulat dan (masing-masing dengan paling banyak m bit), putuskan apakah bit paling signifikan dari perkalian adalah 1 (di mana hasilnya dicetak dalam 2m bit dengan kemungkinan memimpin 0's)?l 2 l 1 ⋅ l 2l1l1l_1l2l2l_2l1⋅ l2l1⋅l2l_1 \cdot l_2 Beberapa latar …



1
Apakah SAT-widthed decidable dalam logspace?
Elberfeld, Jakoby, dan Tantau 2010 ( ECCC TR10-062 ) membuktikan versi teorema Bodlaender yang hemat ruang. Mereka menunjukkan bahwa untuk grafik dengan treewidth paling banyak , dekomposisi pohon dengan lebar dapat ditemukan menggunakan ruang logaritmik. Faktor konstan dalam batas ruang tergantung pada . (Teorema Bodlaender menunjukkan batas waktu linier, dengan …


1
Kompleksitas jangkauan dalam sistem dinamik linier pada bidang terbatas
Misalkan AAA menjadi matriks di atas bidang hingga F2={0,1}F2={0,1}\mathbb{F}_2 = \{0,1\} dan xxx , yyy menjadi vektor ruang Fn2F2n\mathbb{F}_2^n . Saya tertarik pada kompleksitas komputasi untuk memutuskan apakah ada t∈Nt∈Nt \in \mathbb{N} sedemikian rupa sehingga Atx=yAtx=yA^t x = y , yaitu, dalam masalah keterjangkauan untuk sistem dinamika linier di atas …


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.