Saya berpikir bahwa teorema hierarki ukuran untuk kompleksitas sirkuit dapat menjadi terobosan besar di bidang ini. Apakah ini pendekatan yang menarik untuk pemisahan kelas? Motivasi untuk pertanyaan itu adalah yang harus kita katakan ada beberapa fungsi yang tidak dapat dihitung dengan ukuran...
Apakah ada cara untuk membuktikan teorema berikut dalam Coq? Theorem bool_pirrel : forall (b : bool) (p1 p2 : b = true), p1 = p2. EDIT : Upaya memberikan penjelasan singkat untuk "apa bukti tidak relevan" (koreksi saya seseorang jika saya salah atau tidak akurat) Gagasan dasarnya adalah bahwa...
Saya memiliki banyak cuboids dalam ruang 3D, masing-masing memiliki titik awal di (x, y, z) dan memiliki ukuran (Lx, Ly, Lz). Saya bertanya-tanya bagaimana menemukan kubus terbesar di ruang 3D ini yang terkandung dalam penyatuan kuboids. Apakah ada algoritma yang efisien untuk ini? Misalnya, jika...
Diketahui bahwa jika maka hierarki polinomial runtuh dan .P=NPP=NP\mathbf{P}=\mathbf{NP}P=PHP=PH\mathbf{P}=\mathbf{PH} Ini dapat dengan mudah dipahami secara induktif menggunakan mesin oracle. Pertanyaannya adalah - mengapa kita tidak dapat melanjutkan proses induktif di luar tingkat pergantian...
Adakah yang bisa menjelaskan secara singkat (jika mungkin!) Atau merujuk saya ke referensi, meringkas perbedaan antara kalkulus lambda yang tidak diketik dan kalkulus lambda yang diketik lebih umum? Saya terutama mencari pernyataan dari kekuatan ekspresif mereka, ekivalen dengan sistem logika /...
Saya sedang meninjau Handbook of Nature-Inspired dan Innovative Computing untuk SIGACT News. Ini bacaan yang sangat menarik. Setiap bab, bagaimanapun, memiliki rasa, "Ini adalah area penelitian saya, dan sangat mengagumkan!" Jadi bagian dari apa yang saya coba lakukan adalah untuk memisahkan hype,...
Pada tahun 1979, Freivalds menunjukkan bahwa memverifikasi produk matriks atas bidang apa pun dapat dilakukan dalam waktu secara acak . Lebih formal, diberikan tiga matriks A, B, dan C, dengan entri dari bidang F, masalah memeriksa apakah AB = C memiliki algoritma waktu O ( n 2 ) acak .O (...
Anak saya yang berusia 8 tahun bosan membuat labirin konvensional, dan telah membuat varian yang terlihat seperti ini: Idenya adalah mulai dari x dan mencapai o melalui aturan normal. Selain itu, Anda dapat "hop" dari setiap bilangan bulat untuk setiap bilangan bulat lainnya b , tetapi Anda...
Ini adalah reformulasi program tata bahasa Are? sebelumnya ditanya oleh Vag dan dengan banyak saran dari para komentator. Dalam hal apa tata bahasa dapat dilihat sebagai spesifikasi model komputasi? Misalnya, jika kita mengambil tata bahasa bebas konteks sederhana seperti G ::= '1' -> '0' '+'...
Ini mungkin dianggap pertanyaan bodoh. Saya bukan jurusan ilmu komputer (dan saya juga belum jurusan matematika), jadi tolong permisi jika Anda berpikir bahwa pertanyaan-pertanyaan berikut menampilkan beberapa asumsi salah besar. Walaupun ada rencana untuk memformalkan Teorema Terakhir Fermat...
Pendekatan baru-baru ini untuk menciptakan mata uang online terdesentralisasi, yang disebut Bitcoin , telah membangkitkan minat. Tujuannya adalah memiliki cara untuk mentransfer mata uang tanpa otoritas pusat dan tanpa pengeluaran ganda atau pemalsuan. Pendekatan mereka adalah membuat semua simpul...
Di sini tujuannya adalah untuk mengurangi masalah SAT sewenang-wenang menjadi 3-SAT dalam waktu polinomial menggunakan klausa dan variabel paling sedikit. Pertanyaan saya dimotivasi oleh rasa ingin tahu. Secara kurang formal, saya ingin tahu: "Apa pengurangan 'paling alami' dari SAT menjadi...
( N + 1 ) n(n+1)(n + 1) poin diperlukan untuk secara unik menentukan polinomial derajat ; misalnya, dua titik di pesawat menentukan dengan tepat satu garis.nn Berapa banyak poin yang diperlukan untuk secara unik menentukan fungsi yang dapat dihitung , mengingat lamanya program yang menghitung...
Bekerja secara langsung dengan kompleksitas waktu atau batas bawah sirkuit menakutkan. Karenanya, kami mengembangkan alat seperti kompleksitas kueri (atau kompleksitas pohon keputusan) untuk menangani batasan yang lebih rendah. Karena setiap kueri mengambil setidaknya satu langkah unit, dan...
Hanya ingin tahu, jika perhitungan klasik adalah tentang permutasi matriks dan komputasi kuantum adalah tentang matriks kesatuan (dari mana matriks permutasi adalah subkelompok), maka akankah ada paradigma perhitungan di luar matriks
EDIT (22 Agu 2011): Saya selanjutnya menyederhanakan pertanyaan dan memberi hadiah pada pertanyaan itu. Mungkin pertanyaan yang lebih sederhana ini akan memiliki jawaban yang mudah. Saya juga akan mencoret semua bagian dari pertanyaan awal yang tidak lagi relevan. (Terima kasih kepada Stasys Jukna...
Masalah Kepuasan , tentu saja, masalah mendasar dalam CS teoritis. Saya bermain dengan satu versi masalah dengan banyak sekali variabel. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Pengaturan Dasar. Biarkan XXX menjadi seperangkat variabel bebas dan mungkin tak terbatas ....
Apa kompleksitas (pada RAM bilangan bulat standar) komputasi standar diskrit Fourier transform dari vektor bilangan bulat?nnn Algoritma klasik untuk transformasi Fourier cepat , yang tidak tepat [1] dikaitkan dengan Cooley dan Tukey, biasanya digambarkan sebagai berjalan dalam waktu . Tapi...
Saya pikir saya tidak memahaminya, tetapi konversi ke saya sebagai konversi yang tidak melakukan apa-apa, kasus khusus konversi di mana hasilnya hanya istilah dalam abstraksi lambda karena tidak ada apa-apa untuk melakukan, semacam konversi gunanya.ηη\etaββ\betaββ\betaββ\beta Jadi mungkin...
Ada banyak algoritma yang dapat menguraikan tata bahasa bebas konteks dalam waktu . Dengan menggunakan perkalian matriks, seseorang bahkan bisa berjalan lebih cepat tanpa gejala dari itu.O ( n3)O(n3)O(n^3) Namun, semua algoritma untuk parsing CFG sewenang-wenang yang saya tahu memiliki penggunaan...