Pertanyaan saya adalah tentang model teori / kompleksitas deskriptif yang terbatas, sehingga berarti "urutan pertama di atas kata-kata biner yang terbatas, menggunakan predikat Rs dan predikat P unary benar pada posisi 1 dalam kata".FO ( R )FO(R)FO(R) Saya ingin tahu, apakah ada caracterisation...
Ini adalah pertanyaan yang lembut ditujukan untuk membentuk apa yang dipikirkan orang adalah profesional praktek terbaik untuk mengirimkan orisinal bekerja pada arXiv. Ada draft artikel [1] oleh Robert Szelepcsényi, di ruang webnya di University of Chicago, tampaknya ditulis lebih dari satu dekade...
Saya tahu bahwa runtime kasus terburuk yang diharapkan dari algoritma triangulasi delaunay inkremental acak (seperti yang diberikan dalam Computational Geometry ) adalah . Ada latihan yang menyiratkan runtime kasus terburuk adalah . Saya sudah mencoba membangun contoh di mana ini sebenarnya terjadi...
Biarkan menjadi variabel acak yang mengambil nilai dalam (untuk beberapa alfabet besar ), yang memiliki entropi sangat tinggi - katakanlah,untuk konstanta kecil yang sewenang-wenang . Biarkan menjadi peristiwa yang mendukung sedemikian rupa sehingga , di mana \ varepsilon adalah konstanta kecil...
Katakanlah kita memiliki fungsi sedemikian rupa sehingga dan adalah distribusi, yaitu, . ∀ x ∈ Z n 2f:Zn2→Rf:Z2n→Rf:\mathbb{Z}_2^n \to \mathbb{R}f∑x∈Z n 2 f(x)=1∀x∈Zn2f(x)∈{12n,22n,…,2n2n},∀x∈Z2nf(x)∈{12n,22n,…,2n2n},\forall x\in \mathbb{Z}_2^n \quad f(x) \in \left\{\frac{1}{2^n}, \frac{2}{2^n},...
Biarkan menjadi grafik. Biarkan k ≤ | V | menjadi bilangan bulat. Mari O k menjadi jumlah tepi diinduksi subgraphs dari G memiliki k simpul dan ganjil tepi. Mari E k menjadi jumlah tepi diinduksi subgraphs dari G memiliki k simpul dan jumlah yang lebih dari tepi. Biarkan Δ k = O k - E k . Masalah...
Sejauh yang saya tahu, fungsi Haskell dengan batasan kelas tipe secara internal dikompilasi ke fungsi dengan argumen tambahan yang menerima kamus dengan implementasi yang diperlukan dari setiap kelas tipe tertentu. Apakah ada kemungkinan lain bagaimana mengkompilasi kelas tipe? Jika demikian, apa...
Functors dibangun dari produk yang terbatas dan jumlah memiliki penutupan ordinal ωω\omega , rinci baik dalam naskah ini oleh Francois Metayer. yaitu kita dapat mencapai jenis induktif nat:=μX.1+Xnat:=μX.1+Xnat := \mu X. 1 + X dengan mengulangi functor 1+X1+X1 + X , yang mencapai titik tetapnya...
Buku karya Arora dan Barak berisi dalam bab catatan tentang PCP Kami mencatat bahwa strategi umum Dinur agak mengingatkan pada konstruksi zig-zag grafik expander dan algoritme logspace deterministik Reingold untuk konektivitas tidak terarah yang dijelaskan dalam Bab 20, yang menunjukkan bahwa...
kkk titik yang berbeda dipilih secara acak dari kisi . (Jelas dan merupakan bilangan konstan yang diberikan.) Sebuah grafik berbobot lengkap dibangun dari titik-titik ini sedemikian sehingga bobot tepi antara simpul dan simpul sama dengan jarak Manhattan dari dua simpul pada kisi asli. .p ×...
Misalkan Alice memiliki distribusi lebih terbatas (tapi mungkin sangat besar) domain, sehingga (Shannon) entropi dari μ adalah atas dibatasi oleh konstan sewenang-wenang kecil ε . Alice mengambil nilai x dari μ , dan kemudian meminta Bob (siapa yang tahu μ ) untuk menebak x
Saya mulai terlibat dengan Optimalisasi Matematika baru-baru ini dan saya menyukainya. Tampaknya banyak masalah pengoptimalan dapat dengan mudah diekspresikan dan dipecahkan sebagai program linier (misalnya aliran jaringan, tepi / simpul penutup, penjual keliling dll.) Saya tahu bahwa beberapa di...
Saya mencoba untuk memahami makalah tentang Sistem dan Logika p-Optimal untuk PTIME . Ada gagasan yang disebut sistem bukti di koran dan saya tidak mendapatkan intinya: ... Kami mengidentifikasi masalah dengan himpunan bagian Q di Σ ∗ .Σ = { 0 , 1 }Σ={0,1}\Sigma = \{0,1\}QQQΣ∗Σ∗\Sigma^* Saya...
Jika Anda memiliki dua fungsi yang menerapkan algoritma penyortiran yang berbeda, apakah mungkin menyimpulkan dengan kode sumber bahwa keduanya memiliki properti eksternal yang sama? Berarti mereka berdua akan memiliki urutan yang mungkin tidak disortir sebagai input dan memiliki urutan yang...
Untuk lebih memahami makalah saya mencoba untuk mendapatkan pemahaman singkat tentang logika titik paling tidak tetap. Ada beberapa poin di mana saya terjebak. Jika adalah grafik danG = ( V, E)G=(V,E)G = (V,E) Φ ( P) = { ( a , b ) ∣ G ⊨ E( a , b ) ∨ P( a , b ) ∨ ∃ z( E( a , z) ∧ P( z, b ) )...
Misalkan kita tidak tahu hasil Joe B. Wells dari tahun 1994 bahwa baik tipabilitas dan pengecekan tipe tidak dapat ditentukan dalam Sistem F (AKA ). Dalam kalkulus Lambda Barendregt dengan types (1992) saya menemukan bukti karena Malecki 1989 bahwa pengecekan tipe menyiratkan kemampuan mengetik....
Diketahui bahwa kompleksitas query quantum error terbatas dari fungsi adalah Θ ( √O R ( x1, x2, ... , xn)OR(x1,x2,…,xn)OR(x_1,x_2,\ldots, x_n). Sekarang pertanyaannya adalah bagaimana jika kita ingin algoritma quantum kami berhasil untuk setiap input dengan probabilitas1-εdaripada biasa2/3....
Penasaran dengan pertanyaan menarik Chris Pressey tentang fungsi dasar-rekursif , saya menjelajahi lebih banyak dan tidak dapat menemukan jawaban untuk pertanyaan ini di web. The fungsi rekursif dasar sesuai dengan baik untuk hirarki eksponensial,
Inilah latar belakang untuk pertanyaan ini. Teman-teman dan saya sedang bermain permainan di mana semua orang perlu memberi orang lain hadiah. Untuk menentukan siapa yang harus memberikan hadiah kepada siapa, kami memutuskan untuk menggambar banyak. Tapi masalahnya adalah, seseorang mungkin...
Bagi saya, berikut ini sepertinya definisi alami dan saya ingin tahu apakah ini telah dipelajari di suatu tempat Pertimbangkan sekumpulan bahasa. Kemudian K ⊂ { 0 , 1 } ω disebut " informasi yang dapat diverifikasi X " ketika ada L ∈ X stX⊂2{0,1}∗X⊂2{0,1}∗\mathsf{X} \subset 2^{\lbrace 0, 1...