Ini adalah tindak lanjut dari pertanyaan ini , dan terkait dengan pertanyaan Siwa Kinali ini. Tampaknya bukti dalam makalah ini ( Allender , Caussinus-McKenzie-Therien-Vollmer , Koiran-Perifel ) menggunakan teorema hierarki. Saya ingin tahu apakah buktinya adalah teorema diagonalisasi " murni ",...
Ada dua teori utama yang dipelajari dari kalkulus lambda, teori beta dan ekstensi Pasca Lengkapnya, teori beta-eta. Apakah kedua teori ini memiliki di antara, semacam aturan eta menengah yang memberikan teori penulisan ulang yang konfluen? Apakah ada gagasan menarik tentang ekstensionalitas...
Saya selalu tertarik dengan kurangnya bukti numerik dari matematika eksperimental untuk atau menentang pertanyaan P vs NP. Sementara Hipotesis Riemann memiliki beberapa bukti pendukung dari verifikasi numerik, saya tidak mengetahui bukti serupa untuk pertanyaan P vs NP. Selain itu, saya tidak...
The Walsh-Hadamard Transform (WHT) adalah generalisasi dari transformasi Fourier, dan transformasi ortogonal pada vektor bilangan real atau kompleks dimensi . Transformasi ini populer dalam komputasi kuantum, tetapi telah dipelajari baru-baru ini sebagai semacam prasyarat untuk proyeksi acak vektor...
Dalam presentasi tahun 2006 berjudul EXPANDER GRAPHS - APAKAH ADA KIRI MISTERI? , Nati Linial mengajukan masalah terbuka berikut: Yang mana -hard masalah komputasi pada grafik tetap sulit ketika dibatasi untuk grafik expander?NPNPNP Sejak itu, Apakah ada kemajuan yang dibuat untuk membuktikan...
Savitch memberikan algoritma deterministik untuk menyelesaikan st-konektivitas menggunakan ruang , menyiratkan N L ⊆ D S P A C E ( log 2 n ) . Algoritma Savitch berjalan dalam waktu 2 O ( log 2 n ) . Ini adalah masalah terbuka utama apakah st-konektivitas dapat diselesaikan dengan algoritma...
Dalam makalah Natural Proofs karya Razborov-Rudich , halaman 6, pada bagian yang mereka bahas bahwa ada "bukti lowerbound yang kuat terhadap model sirkuit monoton " dan bagaimana mereka masuk dalam gambar, ada kalimat-kalimat berikut: Di sini masalahnya bukan konstruktif - sifat-sifat yang...
Adalah -hard untuk menemukan perkiraan faktor konstan dari siklus terpanjang dalam grafik Hamiltonian kubik. Grafik Hamilton Hamilton memiliki setidaknya dua siklus Hamilton.NPNPNP Apa batas atas dan batas bawah paling dikenal pada jumlah siklus Hamilton dalam grafik Hamilton kubik? Diberikan...
∑x∏ij∈Ef(xi,xj)∑x∏ij∈Ef(xi,xj)\sum_x \prod_{ij \in E} f(x_i,x_j)maxx∏ij∈Ef(xi,xj)maxx∏ij∈Ef(xi,xj)\max_x \prod_{ij \in E} f(x_i,x_j) Di mana maks atau jumlah diambil alih semua pelabelan , produk diambil dari semua sisi untuk grafik G = \ {V, E \} dan f adalah fungsi arbitrer. Kuantitas ini mudah...
Pewarnaan 3-sisi dari grafik kubik adalah -complete. Teorema Empat Warna setara dengan "Setiap grafik bridgeless planar kubik adalah 3-sisi yang dapat diwarnai".NPNPNP Apa kompleksitas pewarnaan 3-sisi grafik planar kubik? Juga, Hal ini menduga bahwa -edge pewarnaan adalah N P -Hard untuk...
Pertanyaan ini dapat ditanyakan dalam kerangka kompleksitas sirkuit dari sirkuit Boolean, atau dalam kerangka teori kompleksitas aljabar, atau mungkin dalam banyak pengaturan lainnya. Mudah untuk menunjukkan, dengan menghitung argumen, bahwa ada fungsi Boolean pada input N yang membutuhkan banyak...
Biarkan dan y dua angka biner dengan n bit dan z = x ⋅ y angka biner (panjang 2 n ) dari produk x dan y . Kami ingin menghitung bit paling signifikan z 2 n - 1 dari produk z = z 2 n - 1 ... z 0 .xxxyyynnnz=x⋅y z=x⋅y z = x \cdot y\ 2n2n2nxxxyyyz2n−1z2n−1z_{2n-1}z=z2n−1…z0z=z2n−1…z0z = z_{2n-1}...
Saya tertarik pada pembuatan angka pseudo-acak untuk kriptografi. Selain Bab 5 dari Menezes / Oorschot / Vanstone ; Bab 8 dari Stinson ; dan Bab 3 dari Goldreich , di mana lagi saya bisa menemukan lebih banyak? Saya tertarik pada prinsip umum untuk mendesain PRNG (properti yang diinginkan, tes,...
Pertanyaan saya adalah pertanyaan umum: Bagaimana saya mulai berpikir dalam hal Algoritma Desain dan Kompleksitas? Saya akan mengambil Program Pascasarjana dalam Desain Algoritma. Saya telah mendaftar sebelumnya tetapi kemudian membatalkannya karena saya tidak bisa mengikutinya. Saya harus...
Dalam mencoba menyusun algoritma penyortiran saya sendiri, saya mencari patokan optimal yang dapat saya bandingkan. Untuk pengurutan elemen A yang tidak disortir dan pengurutan B yang terurut , apa cara yang efisien untuk menghitung jumlah transposisi optimal untuk mendapatkan dari A ke B...
Satu ekstensi klasik dari masalah aliran-max adalah masalah "aliran-max dari waktu ke waktu": Anda diberi digraf, dua simpul yang dibedakan sebagai sumber dan wastafel, di mana setiap busur memiliki dua parameter, kapasitas-per -unit-waktu dan penundaan. Anda juga diberi waktu horizon . Tujuannya...
Kami sering mempertimbangkan kelas kompleksitas di mana kami dibatasi dalam jumlah ruang yang dapat digunakan mesin Turing kami, misalnya: atau . Tampaknya pada awal teori kompleksitas ada banyak keberhasilan dengan kelas-kelas ini seperti teorema ruang-hierarki dan penciptaan pada kelas-kelas...
Saya baru-baru ini menemukan batas bawah kuadrat pada kompleksitas masalah dalam model pohon keputusan, dan saya bertanya-tanya apakah hasil ini dapat digeneralisasi sebagian ke model mesin akses acak. Secara parsial , maksud saya generalisasi untuk program RAM dengan tradeoff waktu / ruang...
Saat membaca makalah " Sebuah teori aplikatif untuk FPH " Anda dapat menemukan bagian berikut: Mempertimbangkan teori yang mengkarakterisasi kelas kompleksitas komputasi, ada tiga pendekatan berbeda: dalam satu, fungsi yang dapat didefinisikan dalam teori adalah "otomatis" dalam kelas...