Saat membaca makalah tentang menggunakan metode aljabar untuk mendeteksi beberapa subgraf yang diinduksi, tampak bahwa edge ideal adalah alat penting yang menghubungkan teori aljabar dan grafik komutatif. Karena saya tidak terbiasa dengan perhitungan objek aljabar, apakah ada referensi atau buku...
Hal ini diketahui bahwa ukuran minimum -circuits komputasi fungsi paritas persis sama dengan 3 ( n - 1 ) . Bukti batas bawah didasarkan pada metode eliminasi gerbang.U2U2U_23 ( n - 1 )3(n-1)3(n-1) Baru-baru ini, saya melihat bahwa metode gerbang penghapusan bekerja dengan baik juga untuk...
Kompleksitas rangkaian bounded depth adalah salah satu bidang penelitian utama dalam teori kompleksitas sirkuit. Topik ini memiliki asal dalam hasil seperti "fungsi paritas tidak dalam " dan "fungsi mod tidak dihitung oleh ", di mana adalah kelas bahasa yang dapat ditentukan oleh non-seragam,...
Batas bawah Blum adalah sirkuit batas bawah paling dikenal atas dasar lengkap untuk fungsi eksplisit f : { 0 , 1 } n → { 0 , 1 } , lih. Jawaban Jukna untuk pertanyaan ini untuk hasil terkait.3n−o(n)3n−o(n)3n-o(n)f:{0,1}n→{0,1}f:{0,1}n→{0,1}f : \{0,1\}^n \to \{0,1\} Apa batas bawah paling dikenal...
Sirkuit Boolean yang non-deterministik memiliki, di samping input biasa , satu set input "non-deterministik" y = ( y 1 , ... , y m ) . Sirkuit non-deterministik C menerima input x jika ada y sedemikian sehingga output sirkuit 1 on ( x , y ) . Analog dengan P / p o l yx=(x1,…,xn)x=(x1,…,xn)x =...
Saya mencari contoh alami dari algoritma yang efisien (yaitu dalam waktu polinomial) st kebenaran dan efisiensi mereka dapat dibuktikan secara konstruktif (misalnya di PR APRSEBUAHPRA atau ), tetapiHSEBUAHHSEBUAHHA tidak ada bukti menggunakan hanya konsep efisien yang diketahui (yaitu kita tidak...
Beberapa pekerjaan pada sensitivitas vs sensitivitas blok telah ditujukan untuk memeriksa fungsi dengan kesenjangan sebesar mungkin antara s(f)s(f)s(f) dan bs(f)bs(f)bs(f) untuk menyelesaikan dugaan bahwa bs(f)bs(f)bs(f) hanya lebih besar secara polinomi dari s(f)s(f)s(f) . Bagaimana dengan arah...
Latar Belakang Hal ini diketahui bahwa ada sebuah ramalan AAA seperti itu, PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A . Bahkan diketahui bahwa pemisahan relatif terhadap oracle acak. Secara informal, seseorang mungkin menafsirkan ini berarti bahwa ada banyak nubuat yang PSPACEPSPACEPSPACE dan...
Seperti diketahui, PARITY tidak dapat dilakukan di sirkuit dengan kedalaman konstan berukuran poli, dan pada kenyataannya sirkuit dept membutuhkan jumlah gerbang EXP. Bagaimana dengan sirkuit QUANTUM? a) Dapatkah PARITY dilakukan dengan sirkuit kuantum yang memiliki kedalaman konstan dan jumlah...
Bagaimana jika ada yang diketahui tentang kompleksitas parameter dari penghitungan angka perpotongan grafik (jumlah klik terkecil yang diperlukan untuk menutupi semua tepinya)? Sudah lama dikenal sebagai NP-complete, dan itu jelas FPT karena memiliki kernel: jika Anda dapat menutupi grafik dengan...
Saya telah diberitahu bahwa ada beberapa waktu algoritma polinomial baik untuk mendekati jumlah jalur sederhana dalam grafik diarahkan dari yang diberikan mulai vertex untuk diberikan berakhir vertex . Adakah yang tahu referensi yang bagus tentang hal ini?sssttt Latar belakang: menghitung jumlah...
Metode musuh negatif ( A D V±SEBUAHDV±ADV^\pm ) adalah SDP yang mencirikan kompleksitas kueri kuantum. Ini adalah generalisasi dari metode permusuhan yang banyak digunakan ( A D VSEBUAHDVADV ), dan mengatasi dua penghalang yang menghalangi metode permusuhan: Hambatan pengujian properti: jika...
Versi pendek. Bukti asli bahwa # 2-SAT adalah #P -lengkap menunjukkan, pada kenyataannya, bahwa contoh-contoh dari # 2-SAT yang keduanya monoton (tidak melibatkan negasi dari variabel apa pun) dan bipartit (grafik yang dibentuk oleh klausa di atas variabel adalah grafik bipartit) adalah #P -hard ....
Banyak teorema dan "paradoks" - diagonalisasi Cantor, ketidakpastian hatling, tidak dihargai kompleksitas Kolmogorov, Gödel Incompleteness, Chaitin Incompleteness, paradox Russell, dll. - semua pada dasarnya memiliki bukti yang sama dengan diagonisasi (perhatikan bahwa ini lebih spesifik daripada...
Penggoda Karena masalahnya gondrong di sini adalah kasus khusus yang menangkap esensinya. Masalah: Misalkan A menjadi algoritme detrministik untuk 3-SAT. Apakah masalah sepenuhnya mensimulasikan algoritma A (pada setiap contoh masalah). P-Space keras? (Lebih tepatnya, apakah ada alasan untuk...
Gambar Dunia yang terkenal dari Neil Immerman adalah sebagai berikut (klik untuk memperbesar): Kelasnya "Benar-benar layak" tidak termasuk kelas lain; pertanyaan saya adalah: Apa masalah AC 0 yang dianggap tidak taktis, dan...
Berapa jumlah minimal gerbang biner yang diperlukan untuk menghitung AND dan OR dari bit input secara bersamaan? Batas atas sepele adalah 2 n - 2 . Saya percaya ini optimal, tetapi bagaimana cara membuktikannya? Teknik eliminasi gerbang standar tidak berfungsi di sini karena dengan menetapkan...
Sebuah penutup tepi adalah bagian dari tepi grafik sehingga setiap titik dari grafik berdekatan dengan setidaknya satu tepi penutup. Dua makalah berikut mengatakan bahwa menghitung penutup tepi adalah #P -lengkap : FPTAS Sederhana untuk Menghitung Penutup Tepi dan Menghasilkan Tepi Tepi dari Grafik...
Diberikan simpul tak berarah titik, apa batas runtime paling dikenal untuk menemukan subgraph yang merupakan k × k -biclique? Apakah ada algoritma parametrized yang lebih cepat daripada algoritma waktu dari "menebak" satu sisi biclique dan melihat apakah setidaknya ada simpul lain yang muncul pada...
Analisis kasus terburuk dan rata-rata adalah ukuran yang terkenal untuk kompleksitas suatu algoritma. Baru-baru ini analisis yang lebih lancar telah muncul sebagai paradigma lain untuk menjelaskan mengapa beberapa algoritma yang eksponensial dalam kasus terburuk bekerja dengan sangat baik dalam...