Istilah inversi program memiliki banyak corak makna, tetapi mungkin dimulai dengan karya J. McCarthy tahun 1956, The Inversion of Functions Defined oleh Turing Machines dalam konteks AI. Saat ini banyak koneksi antara inversi program dan bidang lain telah ditemukan, misalnya pemrograman reversibel...
Apakah ada gagasan tentang komputabilitas pada set selain bilangan asli? Demi argumen, katakanlah pada set SSS yang biject dengan NN\mathbb{N} . Sangat menggoda untuk mengatakan "ya, mereka adalah fungsi-fungsi dari bentuk g∘f∘g−1g∘f∘g−1g \circ f \circ g^{-1} mana ggg adalah setiap penambangan...
Teorema Mahaney memberi tahu kita bahwa jika ada -lengkap yang ditetapkan di bawah pengurangan polinomial-waktu banyak-satu, maka . (Lihat " Set lengkap lengkap untuk NP: Solusi dugaan Berman dan Hartmanis ")NPNPNPP= NPP=NPP = NP Adakah konsekuensi yang diketahui dari keberadaan set lengkap yang...
Saya menemukan dua contoh kekerasan hipotetis dari beberapa masalah grafik. Kekerasan hipotesis berarti bahwa menyangkal beberapa dugaan akan menyiratkan kelengkapan NP dari masing-masing masalah grafik. Misalnya, dugaan Barnette menyatakan bahwa setiap grafik bipartit planar 3 yang terhubung...
Mari menjadi mesin deterministik waktu polinomial yang dapat mengajukan pertanyaan untuk beberapa oracle A . Awalnya A kosong tetapi ini dapat diubah setelah permainan yang akan dijelaskan di bawah ini. Biarkan x menjadi beberapa string.MMMAAAAAAxxx Pertimbangkan permainan Alice dan Bob berikut...
Apa pendapat Anda tentang membaca surat kabar secara teratur di luar bidangnya sendiri, bahkan yang tidak berhubungan dengan bidangnya? Intuisi saya adalah dapat memberikan perspektif atau teknik yang sama sekali berbeda yang dapat membantu saya dalam masalah saya sendiri. Tetapi pada saat yang...
Apakah ada algoritma sorting berbasis perbandingan yang menggunakan rata-rata lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) perbandingan? Keberadaan terburuk lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) algoritma perbandingan merupakan masalah terbuka, tapi sudah cukup kasus rata-rata untuk algoritma...
Adakah contoh kasus di mana simulasi klasik suatu algoritma kuantum untuk suatu masalah mengungguli algoritma klasik yang paling dikenal sebelumnya untuk masalah ini? "Outperforms" tidak harus berarti kelas kompleksitas yang berbeda, itu bisa saja lebih baik skala. Pertanyaan ini terinspirasi oleh...
Saya berada dalam situasi di mana saya harus menunjukkan bahwa pemeriksaan ketik dapat dipilih untuk kalkulus yang diketik secara dependen yang sedang saya kerjakan. Sejauh ini, saya dapat membuktikan bahwa sistem ini sangat normal, dan dengan demikian kesetaraan definisi dapat ditentukan. Dalam...
Saat ini saya sedang mencari subjek untuk tesis dan menemukan bidang teori informasi algoritmik. Lapangan itu tampaknya sangat menarik bagi saya, tetapi tampaknya semuanya adalah lapangan yang telah dilakukan sebelum bertahun-tahun. Jadi pertanyaan saya adalah: Apakah bidang itu "hidup" atau cukup...
Kelas NCsayaNCsaya\textrm{NC}^i adalah fungsi kelas yang dapat dihitung oleh rangkaian keluarga dengan ukuran kipas masuk, nO ( 1 )nHAI(1)n^{O(1)} dan kedalaman O ( logsaya( n ) )HAI(catatansaya(n))O(\log^i(n)) . The NCNC\textrm{NC} -hierarchy adalah gabungan dari kelas-kelas. Apakah ada studi...
Ini adalah generalisasi dari pertanyaan saya sebelumnya . Mari menjadi mesin deterministik waktu polinomial yang dapat mengajukan pertanyaan untuk beberapa oracle . Awalnya kosong tetapi ini dapat diubah setelah permainan yang akan dijelaskan di bawah ini. Biarkan menjadi beberapa...
Pertanyaan saya adalah tentang fungsi bijective yang dapat dihitung secara efisien. Secara informal saya tertarik pada: Jika suatu bijection dihitung dalam waktu polinomial, dapatkah kita menghitungnya dengan jumlah polinomial gerbang bijective? Saya telah memeriksa daftar pertanyaan yang...
Sudah diketahui sejak awal 70-an bahwa dan tidak sama (karena tidak ditutup di bawah polinomial-waktu banyak -satu pengurangan, berbeda dengan ). Sejauh yang saya tahu, masih terbuka apakah satu kelas adalah himpunan bagian dari yang lain, atau mereka tidak dapat dibandingkan, yang berarti bahwa...
Di Kebun Binatang Kompleksitas, ia mengatakan [ 1 ] itu, dalam kompleksitas deskriptif, PPP dapat didefinisikan oleh tiga jenis yang berbeda dari formula, FO(LFP)FO(LFP)FO(LFP) yang juga FO(nO(1))FO(nO(1))FO(n^{O(1)}) , dan juga sebagai SO(HORN)SO(HORN)SO(HORN) . Namun, ada beberapa pengecualian,...
Saya bertanya-tanya apakah seseorang dapat memberi saya intuisi di balik mengapa kepastian positif tipe data induktif menjamin normalisasi yang kuat. Untuk menjadi jelas, saya melihat bagaimana memiliki kejadian negatif mengarah pada perbedaan, yaitu dengan mendefinisikan: data X where Intro :...
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...
Kita tahu di bawah kita tidak bisa menyelesaikan -SUM dalam waktu bawah fungsi apa pun f ( K ) (biasanya 2 O ( K ) ).ETHETHETHKKKf( K) p o l y( n K.)f(K)halHaily(nK)f(K)poly(nK)f( K)f(K)f(K)2O ( K)2HAI(K)2^{O(K)} Apakah ada dugaan yang mencegah kompleksitas ( logn )O ( K)(catatann)HAI(K)(\log...
Masalah pencocokan sempurna dua-warna adalah memutuskan apakah grafik memiliki pewarnaan dengan dua warna sedemikian rupa sehingga setiap simpul memiliki satu tetangga yang persis sama dengan warnanya. Masalahnya terbukti NP-lengkap oleh Schaefer . Itu tetap NP-lengkap bahkan untuk grafik kubik...
Mengingat grafik G1, G2 dan G3, kami ingin melakukan uji isomorfisme F antara G1 dan G2 serta G1 dan G3. Jika G2 dan G3 sangat mirip sehingga G3 dibentuk dengan menghapus satu simpul dan memasukkan satu simpul dari G2, dan kita memiliki hasil F (G1, G2), dapatkah kita menghitung F (G1, G3) tanpa...