Dalam sebuah makalah tentang merelatifkan perhitungan logspace, Ladner dan Lynch membangun sebuah oracle relatif terhadap yang . Ada beberapa contoh yang lebih patologis dalam hal ini dalam literatur. Saya telah membaca beberapa makalah tentang kelas ruang kecil yang direlatifikasi, dan salah satu...
Ini mirip dengan SAT, kecuali bahwa kita tahu penugasan masing-masing variabel, tetapi tidak tahu penugasan operator boolean apa pun. Dalam hal itu, apakah menemukan penugasan masing-masing operator sehingga ekspresi mengevaluasi nilai boolean yang diberikan masalah NPC? Sebenarnya, saya...
Masalah N-queen adalah ini: Input: N Keluaran: Penempatan N "ratu" pada papan catur NXN sehingga tidak ada dua ratu yang berada di baris, kolom, atau diagonal yang sama. Melakukan pencarian google pada ini, saya menemukan bahwa banyak slide oleh banyak profesor mengklaim ini adalah masalah...
Dipercaya secara luas bahwa beberapa masalah komputasi seperti grafik isomorfisme tidak dapat NP-lengkap karena tidak memiliki struktur atau redundansi yang cukup untuk menjadi komputasi yang sulit (NP-hard). Saya tertarik pada gagasan formal yang berbeda untuk struktur masalah komputasi dan...
Teorema hierarki macam apa yang ada untuk kedalaman rangkaian? Pernyataan seperti jika dan maka .g(n)∈o(f(n))g(n)∈o(f(n))g(n) \in o(f(n))f(n)∈nO(1)f(n)∈nO(1)f(n) \in n^{O(1)}SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))\mathsf{SizeDepth}(n^{O(1)}, g(n))...
Apa yang saat ini diketahui tentang perkiraan masalah genus? Sebuah pencarian awal memberitahu saya bahwa faktor pendekatan konstan sepele untuk grafik cukup padat, dan nϵnϵn^\epsilon -approximation algoritma telah dikesampingkan. Apakah informasi ini mutakhir, atau adakah batas yang lebih baik...
Mari kita rilekskan sedikit pewarnaan, yaitu, kita memungkinkan sejumlah kecil simpul yang berdekatan diberi warna yang sama. Komponen monokromatik didefinisikan sebagai komponen yang terhubung dalam subgraph yang disebabkan oleh set simpul yang menerima warna yang sama, dan pertanyaannya adalah...
Saya tertarik pada pertanyaan apakah NP sama dengan coNP atau tidak. Saya sangat menghargai saran tentang publikasi yang bagus untuk membaca topik ini. Sebagai catatan, saya tahu bahwa pertanyaan ini terkait erat dengan pertanyaan apakah P sama dengan NP atau tidak (sehingga jika NP! = CoNP maka...
Beberapa latar belakang: Saya tertarik untuk menemukan batas bawah (atau hasil kekerasan) "kurang dikenal" untuk masalah Belajar dengan Kesalahan (LWE), dan generalisasi seperti Belajar dengan Kesalahan atas Cincin. Untuk definisi spesifik, dll., Ini adalah survei yang bagus oleh Regev:...
Masalah terbuka yang sangat menarik dalam studi ukuran kompleksitas fungsi Boolean adalah dugaan sensitivitas vs blok sensitivitas. Untuk latar belakang tentang sensitivitas versus sensitivitas blok Anda dapat melihat posting blog berikut S. Aaronson di http://www.scottaaronson.com/blog/?p=453...
Apakah ada dengan properti berikut:L ∈ N PL∈NPL\in {\bf NP} Diketahui bahwa menyiratkan .P = N PL ∈ PL∈PL\in {\bf P}P = N PP=NP{\bf P}={\bf NP} Tidak ada (dikenal) waktu polinomial pengurangan Turing dari (atau beberapa masalah -Lengkap) ke .N P LSA TSATSATN PNP{\bf NP}L.LL Dengan kata lain,...
Saya punya beberapa pertanyaan tentang menipu sirkuit kedalaman konstan. Ini diketahui bahwa kemerdekaan-bijaksana adalah diperlukan untuk menipu A C 0 sirkuit kedalaman d , di mana n adalah ukuran input. Bagaimana seseorang bisa membuktikan
Saya ingin tahu apakah ada dunia yang direlatifikasi di mana . Saya juga tertarik untuk mengetahui apakah ada dunia yang direlatifikasi di mana .PA=NPA≠PPAPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}PB≠NPB=PPBPB≠NPB=PPB{\bf P^B} \not = {\bf NP^B} = {\bf
Secara kasar matriks peringkat dikatakan kaku, jika menurunkan peringkatnya menjadi nnnn , kita harus mengubah setidaknyan1+ϵdari entri, untuk beberapaϵ>0.n2n2\frac{n}{2}n1+ϵn1+ϵn^{1+\epsilon}ϵ>0ϵ>0\epsilon > 0 Jika matriks A kaku, maka program garis lurus terkecil yang mengkomputasi A x...
Saya, seperti banyak orang, adalah pengguna perangkat lunak matematika yang tajam seperti Mathematica dan Maple. Namun, saya menjadi semakin frustrasi dengan banyak kasus di mana perangkat lunak seperti itu hanya memberi Anda jawaban yang salah tanpa peringatan. Ini dapat terjadi ketika melakukan...
Biarkan menjadi jarak rata-rata dari grafik yang terhubungG .a d ( G )ad(G)\rm{ad}(G)G .G.G. Salah satu cara untuk menghitung adalah dengan menjumlahkan elemen matriks jarak dan menskalakan jumlah dengan tepat.D ( G ) , Ga d ( G )ad(G)\rm{ad}(G)D ( G ) ,D(G),D(G),GGG Jika grafik output adalah...
Asisten mengajar mata kuliah telah berhasil menulis sebuah program yang (secara deterministik) menghasilkan pertanyaan-pertanyaan ujian yang sulit. Sekarang, dia ingin menulis sebuah program yang menghasilkan jawaban yang sesuai. Masalah Penguji menanyakan apakah ini selalu mungkin; yang Pemeriksa...
Diketahui bahwa beberapa kelas kompleksitas sintaksis (tidak berhubungan) antara PP{\bf P} dan P S P A C EPSPACE{\bf PSPACE} memiliki properti berikut, P ⊆ C o N P ⊆ U S ⊆ C=P ⊆ P P ⊆ P S P A C EP⊆CoNP⊆US⊆C=P⊆PP⊆PSPACE{\bf P} \subseteq {\bf CoNP} \subseteq {\bf US} \subseteq {\bf C_=P} \subseteq...
Ini adalah tindak lanjut dari pertanyaan saya sebelumnya: Kompleksitas waktu deterministik yang diketahui paling baik untuk masalah alami dalam NP Saya merasa bingung bahwa kami belum dapat membuktikan waktu deterministik kuadratik lebih rendah untuk masalah NP yang menarik yang orang pedulikan...
Saya tertarik untuk mempelajari masalah lengkap Graph Isomorphism (GI). Dalam Makalah "Masalah Polinomi Setara dengan Isomorfisme Grafik" oleh Kellogg S. Booth, (1979), terbukti bahwa banyak masalah dasar adalah GI lengkap dengan menggunakan teknik penggantian Edge, teknik komposisi dll. Saya...