Ini membingungkan saya. Salah satu kasus penghitungan yang mudah adalah ketika masalah keputusan ada di dan tidak ada solusi.PPP Kuliah menunjukkan bahwa masalah penghitungan jumlah kecocokan sempurna dalam grafik bipartit (ekuivalen, menghitung jumlah penutup siklus dalam grafik terarah) adalah...
Saya memiliki sebuah buku, yang diilhami oleh Principia Mathematica (PM) Russell dan positivisme logis, berupaya memformalkan domain tertentu dengan menentukan aksioma dan menyimpulkan teorema dari mereka. Singkatnya, ia mencoba melakukan untuk domainnya apa yang PM coba lakukan untuk matematika....
Ada konstruksi yang sangat bagus oleh Conway angka surealis. Mereka adalah "angka" yang berisi bilangan real dan tata cara, benar-benar dipesan, dan memiliki semua properti bidang (kecuali mereka tidak membentuk himpunan tetapi kelas). Lihat misalnya pdf atau Wikipedia ini untuk pengantar. Mereka...
Apakah pohon partisi pernah diimplementasikan? Di sini, saya berbicara tentang pohon partisi dari geometri komputasi. Versi paling awal (paling dekat) di antaranya adalah karena Matousek dan yang lainnya, dan yang terbaru Timothy Chan: https://cs.uwaterloo.ca/~tmchan/optpt_2_10.pdf Kedengarannya...
Apa hubungan antara kalkulus lambda yang diketik sederhana dan logika tingkat tinggi? Di bawah Curry-Howard tampaknya hanya mengetik lambda kalkulus sesuai dengan logika proposisional. Bagaimana kaitannya dengan logika tingkat tinggi? Menurut tutorial ini oleh Geuvers:
Pertimbangkan masalah berikut: Dengan dua string x, y, tentukan apakah ada string homomorfisme f sedemikian rupa sehingga f (x) = y. Mudah untuk menunjukkan bahwa masalah ini ada di . Adakah hal lain yang bisa kita katakan tentang masalah ini? mis. Apakah itu dalam , atau bahkan ?NPNPNPc o...
Seperti yang kita ketahui, definisi kompleksitas komputasi algoritma hampir tanpa kontroversi, tetapi definisi kompleksitas komputasi real atau model komputasi atas real tidak dalam kasus seperti itu. Kita tahu model dan model Blum dan Smales dalam buku Computable Analysis. Dan tampaknya, model...
Biarkan menjadi bidang. Seperti biasa, untuk sebuah kita mendefinisikan sebagai kompleksitas garis lurus dari atas . Misalkan adalah himpunan monomial dari , yaitu monomial yang muncul dalam dengan koefisien tidak nol.kkkL ( f ) f k F f ff∈k[x1,x2,…,xn]f∈k[x1,x2,…,xn]f\in...
Misalkan input kita adalah biner dan kita harus menampilkan , di mana adalah bilangan bulat konstan. Ini hanya pergeseran jika adalah kekuatan dua, tetapi bagaimana dengan angka lainnya? Bisakah kita melakukannya dengan sirkuit kedalaman konstan untuk setiap ? Bagaimana dengan ?⌊ x / c ⌋ c c c c =...
Pertimbangkan informasi lengkap permainan kombinatorial dua pemain yang berakhir setelah sejumlah polinomial gerakan, dan dengan cara bergantian, para pemain mengambil dari sejumlah terbatas gerakan yang diizinkan. Pertanyaan yang biasa adalah, seberapa sulit untuk mengetahui dari posisi yang...
Saya sedang mempertimbangkan ide-ide tentang algoritma kuantum yang tepat. Secara khusus, saya sedang mempertimbangkan kemungkinan keterbatasan , yang terdiri dari bahasa yang dapat diputuskan dengan tepat oleh rangkaian sirkuit kuantum seragam-waktu selama rangkaian gerbang berhingga...
Saya ingin tahu (terkait dengan pertanyaan lain ini ) apakah batas bawah diketahui untuk masalah pengujian berikut: seseorang diberi akses permintaan ke urutan nomor non-negatif an≥⋯≥a1an≥⋯≥a1a_n \geq \dots\geq a_1 dan ε∈(0,1)ε∈(0,1)\varepsilon \in (0,1) , dengan janji bahwa...
Apakah masalah isomorfisma semigroup invers terbatas hingga GI selesai ? Di sini semigroup invers terbatas diasumsikan diberikan oleh tabel
Bukti Goldreich et al. Bahwa tiga warna memiliki nol bukti pengetahuan menggunakan komitmen bit untuk seluruh pewarnaan grafik di setiap putaran [1] Jika grafik memiliki simpul dan tepi e , hash aman memiliki b bit, dan kami mencari probabilitas kesalahan p , total biaya komunikasi...
Saya saat ini mendengarkan pembicaraan Alan Kays, "Apakah ini benar-benar rumit atau apakah kita membuatnya rumit?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ) di mana ia mengatakan bahwa "semafor adalah ide yang buruk dan ada sesuatu yang disebut waktu semu yang lebih unggul" (pada 51:40...
Pohon keputusan baca-sekali didefinisikan sebagai berikut: dan F a l s e -baca sekali pohon keputusan.Tr u eTrueTrueFa l s eFalseFalse Jika dan B adalah pohon keputusan baca-sekali dan x adalah variabel yang tidak terjadi di A dan B , maka ( x ∧ A ) ∨ ( ˉ x ∧ B ) juga merupakan pohon keputusan...
Saya menemukan masalah berikut di buku teks algoritma Ceko lama saya, sayangnya datang tanpa petunjuk atau solusi. "Kami mendefinisikan kata-kata Fibonacci sebagai , F 1 = b , F n + 2 = F n F n + 1 , di mana a dan b adalah huruf umum. Bagaimana dalam string yang diberikan (lebih dari alfabet yang...
Apa perbedaan antara kerangka kerja logis dan teori tipe? Keduanya memiliki jenis, istilah, dan didasarkan pada kalkulus lambda yang diketik secara dependen. Kami memiliki Edinburg LF yang didasarkan pada kalkulus lambda-pi, namun, menurut saya ada beberapa perbedaan halus di
Untuk bukti kebenaran, saya mencari gagasan yang dapat digunakan tentang kesetaraan program untuk sistem tipe murni (PTS) Barendregt; hilang itu, untuk sistem jenis yang cukup spesifik. Tujuan saya hanyalah menggunakan gagasan itu, bukan untuk menyelidiki demi kepentingannya