Tampak bagi saya bahwa kebanyakan ahli teori kompleksitas umumnya percaya pada aturan filosofis berikut: Jika kita tidak tahu algoritma yang efisien untuk masalah , dan kita dapat mengurangi masalah A ke masalah B , maka ada mungkin tidak algoritma yang efisien untuk masalah B ,...
Saya ingin belajar tentang algoritma aljabar dan kompleksitas. Secara khusus, saya tertarik pada PIT. Apakah ada satu set catatan kuliah, buku, makalah dan survei untuk siswa yang telah membaca buku teks standar tentang teori seperti buku Sipser atau buku teks kompleksitas Arora-Barak. Rangkaian...
Saya sedang membaca artikel wikipedia tentang masalah delapan ratu. Dinyatakan bahwa, tidak ada formula yang diketahui untuk jumlah pasti solusi. Setelah beberapa pencarian, saya menemukan sebuah makalah bernama "Pada kesulitan menghitung masalah pemetaan lengkap". Dalam tulisan ini ada masalah,...
Kami menganggap DAGs (diarahkan grafik asiklik) dengan satu node sumber sss dan satu sasaran simpul ttt ; tepi paralel yang bergabung dengan pasangan simpul yang sama diizinkan. Sebuah kkk - cut adalah satu set tepi yang removal menghancurkan semua sss - ttt jalur lama dari kkk ; jalur sss - lebih...
Razborov membuktikan bahwa pencocokan fungsi monoton tidak dalam mP . Tetapi bisakah kita menghitung pencocokan menggunakan sirkuit ukuran polinomial dengan beberapa negasi? Apakah ada sirkuit P / poli dengan negasi yang menghitung pencocokan? Apa trade-off antara jumlah negasi dan ukuran untuk...
Pertimbangkan vektor variabel x⃗ x→\vec{x} , dan seperangkat batasan linear yang ditentukan oleh A x⃗ ≤ bSEBUAHx→≤bA\vec{x}\leq b . Selanjutnya, pertimbangkan dua polytopes P1P2= { ( f1( x⃗ ) , ⋯ , fm( x⃗ ) ) ∣ A x⃗ ≤ b }= { ( g1( x⃗ ) , ⋯ , gm( x⃗ ) ) ∣ A x⃗ ≤ b...
Waktu konstan adalah kompleksitas akhir waktu mutlak yang rendah. Orang mungkin bertanya-tanya: adakah sesuatu yang nontrivial yang dapat dihitung dalam waktu yang konstan? Jika kita berpegang pada model mesin Turing, maka tidak banyak yang dapat dilakukan, karena jawabannya hanya dapat bergantung...
Untuk setiap bahasa lengkap NP yang sewenang-wenang, adakah selalu superset polytime yang komplemennya juga tidak terbatas? Versi sepele yang tidak menetapkan superset memiliki pelengkap tak terbatas telah diminta di /cs//q/50123/42961 Untuk keperluan pertanyaan ini, Anda dapat mengasumsikan...
Menurut Kompleksitas Kebun Binatang , Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1} dan kita tahu bahwa RegReg\mathsf{Reg} tidak dapat dihitung sehingga TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg} . Namun tidak disebutkan apakah Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0}...
Polinomial simetris dasar - k S n k ( x 1 , … , x n ) adalah jumlah dari semua produk dari variabel yang berbeda. Saya tertarik pada kompleksitas rangkaian aritmatika monoton dari polinomial ini. Algoritma pemrograman dinamis sederhana (serta Gambar 1 di bawah) memberikan sirkuit dengan gerbang O...
Bisakah nondeterminisme mempercepat perhitungan deterministik? Jika ya, berapa banyak? Dengan mempercepat perhitungan deterministik dengan nondeterminisme yang saya maksud adalah hasil dari bentuk: D T i m e (f( n ) ) ⊆ N T i m e ( n )DTsayame(f(n))⊆NTsayame(n)\mathsf{DTime}(f(n)) \subseteq...
Apakah ada pekerjaan pada menemukan jumlah minimum operasi aritmatika dasar yang diperlukan untuk menghitung determinan dari suatu oleh matriks untuk kecil dan tetap ? Misalnya,
Apa kompleksitas dari masalah berikut ini? Masukan : HHH a jalur Hamilton diKnKnK_n R⊆[n]2R⊆[n]2R \subseteq [n]^2 subset pasangan simpul bilangan bulat positifkkk Pertanyaan : apakah ada cocok sehingga untuk setiap , ? (di mana )( v , u ) ∈ RMMM(v,u)∈R(v,u)∈R(v,u) \in...
Biarkan menjadi fungsi yang memetakan sirkuit gerbang pada bit dan string bit ke . Asumsikan bahwa sirkuit dikodekan sebagai urutan asiklik dari penugasan mana adalah label kawat. sCnnxC(x)k:=g(i,j)i,j,kC i r c u i t E v a ls , nCsayarckamusayatEvSebuahls,n\mathsf{CircuitEval}_{s,...
Mempertimbangkan topik yang dibahas dalam konferensi seperti STOC, apakah ada algoritma atau kompleksitas peneliti aktif menggunakan COQ atau Isabelle? Jika demikian, bagaimana mereka menggunakannya dalam penelitian mereka? Saya berasumsi kebanyakan orang tidak akan menggunakan alat seperti itu...
Sebuah bahasa dalam L/polyL./halHailyL/poly jika ada mesin Turing logspace yang memutuskan bahasa dengan jumlah saran polinomial. Lihat di sini untuk info lebih lanjut: https://en.wikipedia.org/wiki/L/poly Pertanyaan Apa konsekuensi dari ?P⊆L/polyP⊆L./halHailyP \subseteq...
Apa kerumitan dalam menentukan apakah suatu interval bilangan asli mengandung bilangan prima? Varian Saringan Eratosthenes memberikan algoritma , di mana adalah panjang interval dan menyembunyikan menyembunyikan faktor polar-logaritmik di titik awal interval; dapatkah kita berbuat lebih baik (dalam...
Hal ini diketahui berkat Immerman dan Szelepcsényi bahwa jika f = Ω ( log ) (bahkan untuk fungsi yang dapat dibangun tanpa ruang).NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) Dalam makalah yang sama, Immerman menyatakan bahwa hierarki...
Sederhananya: apa korespondensi antara mesin Turing dengan oracle, dan keluarga sirkuit seragam dengan oracle? Bagaimana yang terakhir didefinisikan untuk mendapatkan model komputasi yang sama, untuk mesin Turing oracle yang diberikan? Ini mungkin pertanyaan mendasar, tetapi tidak jelas ke mana...
Setelah diskusi tentang batas bawah untuk 3SAT [ 1 ], saya bertanya-tanya apa hasil batas bawah utama yang dirumuskan sebagai pertukaran ruang-waktu. Saya mengecualikan hasil seperti, katakanlah, teorema Savitch; entri yang bagus akan fokus pada satu masalah dan batasannya. Contohnya...