Ada beberapa gagasan yang saling bersaing tentang "grafik jarang". Misalnya, grafik permukaan-embeddable dapat dianggap jarang. Atau grafik dengan kepadatan tepi terbatas. Atau grafik dengan ketebalan tinggi. Grafik dengan ekspansi besar. Grafik dengan treewidth terikat. (Bahkan di dalam subbidang...
Katakanlah kita menemukan peradaban asing yang dapat mengirim dan menerima pesan menggunakan saluran komunikasi digital antarbintang. (Katakanlah menggunakan gelombang radio termodulasi, pulsa laser, memposisikan ulang bintang dalam berbagai orbit, apa pun yang Anda lakukan.) Mari kita asumsikan...
Arora dan Barak menunjukkan bahwa dapat dinyatakan sebagai B P ⋅ N P yaitu sekumpulan bahasa yang memiliki reduksi acak menjadi 3SAT. M A juga generalisasi acak alami N P dalam bahwa Anda mengganti verifier deterministik dengan satu acak.AMAM\mathsf{AM}BP⋅NPBP⋅NP\mathsf{BP}\cdot...
Ketika saya memikirkan perangkat lunak yang tidak aman saya pikir itu "terlalu berguna" dan dapat disalahgunakan oleh penyerang. Jadi dalam arti mengamankan perangkat lunak adalah proses membuat perangkat lunak kurang bermanfaat. Dalam Ilmu Komputer Teoritis Anda tidak bekerja dengan dunia nyata....
Diberikan sedemikian sehingga koefisien p , q dibatasi oleh B , apakah p ≡ q tahan ?p ( x1, ... , xn) , q( x1, ... , xn) ∈ Z [ x1, ... , xn]p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x_1,\dots,x_n),q(x_1,\dots,x_n)\in \Bbb Z[x_1,\dots,x_n]p,qp,qp,qBBBp≡qp≡qp\equiv q Lemma Schwartz-Zippel berlaku di sini...
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...
Pernahkah ada penelitian untuk menentukan apakah kecerdasan manusia dapat mengungguli algoritma (yaitu menguji apakah Teorema No Free Lunch berlaku untuk kecerdasan manusia)? Sejalan dengan itu, adakah yang mengembangkan metode teknis untuk memanfaatkan setiap sifat unik dan supra-komputasional...
Dalam kompleksitas komunikasi, dugaan log-rank menyatakan hal itu cc(M)=(logrk(M))O(1)cc(M)=(logrk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Di mana adalah kompleksitas komunikasi M ( x , y ) dan r k ( M ) adalah pangkat M (sebagai matriks) atas
Dalam pertanyaan sebelumnya tentang hierarki waktu, saya telah belajar bahwa kesetaraan antara dua kelas dapat disebarkan ke kelas yang lebih kompleks dan ketidaksetaraan dapat disebarkan ke kelas yang lebih kompleks, dengan argumen menggunakan padding. Karena itu, sebuah pertanyaan muncul di...
Untuk menjawab "masalah apa yang dapat diselesaikan dengan komputasi", kami mengembangkan teori komputabilitas. Untuk masalah yang dapat dihitung, apakah ada teori untuk menjawab pertanyaan "apakah program yang saya dapatkan paling sederhana"? Saya tidak berpikir kompleksitas komputasi menjawab...
Saya telah tertarik pada berbagai topik seperti Combinatory Logic, Lambda Calculus, Functional Programming untuk sementara waktu dan telah mempelajarinya. Namun, tidak seperti "Theory of Computation" yang berusaha menjawab pertanyaan "computability" yaitu, hal-hal yang dapat / tidak dapat dihitung...
f,gf,gf,gf(n)logf(n)=o(g(n))f(n)logf(n)=o(g(n))f(n) \log f(n) = o(g(n))DTIME(f(n))⊊DTIME(g(n))DTIME(f(n))⊊DTIME(g(n)) DTIME(f(n)) \subsetneq DTIME(g(n))f,gf,gf,gf(n+1)=o(g(n))f(n+1)=o(g(n))f(n+1)=o(g(n))itu adalah Ada banyak hasil (lama dan saat ini) yang menggunakan teorema hierarki waktu untuk...
Diketahui bahwa NP-Complete Problem yang disebut Subset Sum memiliki FPTAS. Saya bertanya-tanya apakah ada masalah Lengkap PSPACE yang juga memiliki FPTAS? Terima kasih
Baru-baru ini saya berpikir tentang "mengimpor" beberapa pertanyaan terkait fisika ke dalam kuantum CS: Gagasan fenomena hukum-daerah dalam sistem Hamilton biasanya merupakan singkatan dari Hamiltonian lokal pada beberapa kisi, yang groundstate menunjukkan properti di mana keterjeratan suatu...
Teori kompleksitas komputasi mengklasifikasikan masalah berdasarkan kesulitannya. Teori sistem kompleks membahas sistem yang menunjukkan perilaku yang tidak jelas muncul dari sifat-sifat bagian individu sistem. Contohnya termasuk sistem kacau, sistem adaptif yang kompleks, atau sistem...
Saya mulai terlibat dengan Optimalisasi Matematika baru-baru ini dan saya menyukainya. Tampaknya banyak masalah pengoptimalan dapat dengan mudah diekspresikan dan dipecahkan sebagai program linier (misalnya aliran jaringan, tepi / simpul penutup, penjual keliling dll.) Saya tahu bahwa beberapa di...
Ini adalah pos yang dipisahkan dari Konsekuensi UP sama dengan NP , dan juga pertanyaan lanjutan untuk Kelas Kompleksitas Semantik vs. Sintaksis . Dalam posting di atas kita belajar tentang kelas semantik dan sintaksis . Secara singkat dinyatakan, ketika suatu kelas dapat dikarakteristikkan...
Konteks : Ada beberapa makalah yang mempelajari implikasi dari kurva timelike tertutup (CTL) terhadap kompleksitas kuantum. Pada tahun 2008, Aaronson dan Watrous menerbitkan makalah terkenal mereka tentang topik ini yang menunjukkan bahwa bentuk perjalanan waktu tertentu dapat membuat komputasi...
Baru-baru ini ada beberapa hasil baru pada studi eksperimental berbasis komputer dari Erdos Discrepancy Problem (EDP) (melalui solver SAT, dikutip di bawah). Masalah ini telah dikutip dan dipelajari oleh beberapa (T) peneliti CS. Namun (mungkin mendalam?) Tautan ke (T) CS tidak begitu jelas. Apa...
Dalam https://en.wikipedia.org/wiki/Geometric_complexity_theory disebutkan bahwa ".. Ketan Mulmuley percaya bahwa program tersebut, jika layak, kemungkinan akan memakan waktu sekitar 100 tahun sebelum dapat menyelesaikan masalah P vs NP". Tampaknya mengindikasikan bahwa satu-satunya program yang...