Ilmu Komputer Teoritis

Dalam rumus CNF berlawanan baca-dua kali setiap variabel muncul dua kali, sekali positif dan sekali negatif. Saya tertarik dengan masalah , yang terdiri dalam menghitung paritas dari jumlah penugasan yang memuaskan dari rumus CNF baca-berlawanan dua kali.⊕Rtw-Opp-CNF⊕Rtw-Opp-CNF\oplus\text{Rtw-Opp-CNF} Saya tidak dapat menemukan referensi tentang kompleksitas masalah tersebut. Yang paling dekat yang …

11 cc.complexity-theory  ds.algorithms  counting-complexity 

Perbaiki kelompok terbatas . Saya tertarik pada masalah keputusan berikut: input adalah beberapa elemen dengan urutan parsial pada mereka, dan pertanyaannya adalah apakah ada permutasi dari elemen yang memenuhi pesanan dan sedemikian rupa sehingga komposisi elemen dalam order menghasilkan elemen netral grup .G eGGGGGGeee Secara resmi, masalah -test adalah sebagai …

11 np-hardness  sorting  gr.group-theory  partial-order  order-theory 

Diberikan satu set pesawat terbang yang ditentukan oleh vektor normal , tipe selnya (atau tanda vektor) adalah semua vektor t ∈ { + , - } m yang terdapat vektor v ∈ R d sehingga ⟨ v , h i ⟩ ≠ 0 dan t i = tanda ( ⟨ …

11 co.combinatorics  cg.comp-geom  computational-geometry  metric-spaces 

Adakah hasil yang diketahui pada kelas kompleksitas 1-in-3-SAT dengan jumlah kejadian variabel yang terbatas? Saya datang dengan pengurangan pelit berikut dengan Peter Nightingale, tapi saya ingin mengutip sesuatu jika ini diketahui. Inilah trik yang kami buat. Ini menunjukkan bahwa 1-in-3-SAT terbatas pada 3 kejadian per variabel adalah NP lengkap dan …

11 reference-request  sat  reductions 

Ada teori grafik algoritmik / teori bilangan / kombinatorik / teori informasi / teori permainan. Apakah ada analisis matematis algoritmik? Menurut wiki, analisis matematis mencakup teori diferensiasi, integrasi, ukuran, batas, deret tak hingga, dan fungsi analitik. Tidak masalah untuk fokus pada analisis nyata (wiki) yang berkaitan dengan bilangan real dan …

11 cc.complexity-theory  reference-request  soft-question  computability 

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 …

11 string-matching  string-search 

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 sana.

11 lo.logic  type-theory 

Saya berpikir tentang kelas bahasa ini: adalah grafik, adalah bilangan alami dan adalah bilangan kromatis dariL = { ⟨ G , k ⟩ | GL.={⟨G,k⟩∣GL =\{ \langle G,k \rangle \mid G kkkkkkG }G}G\} Saya menganggap sebagai (1) "tidak ada pewarnaan warna k-1" dan (2) "ada pewarnaan warna k ". Sekarang, …

11 cc.complexity-theory  np-hardness  complexity-classes 

Saya seorang mahasiswa pascasarjana dalam ilmu komputer teoretis, dan khususnya, algoritma perkiraan. Sekarang saya menemukan bahwa saya lebih tertarik pada matematika murni (saya dapat mengatakan ini karena saya tampaknya lebih menikmati kursus matematika daripada kursus CS). Saya ingin bertanya apakah ada bidang dalam ilmu komputer teoretis yang cukup banyak matematika …

11 reference-request  soft-question 

Fungsi Ackermann terbalik sering terjadi ketika menganalisis algoritma. Presentasi hebatnya ada di sini: http://www.gabrielnivasch.org/fun/inverse-ackermann . α1(n)=[n/2]α1(n)=[n/2]\alpha_1(n) = [n/2] α2(n)=[log2n]α2(n)=[log2⁡n]\alpha_2(n) = [\log_2 n] α3(n)=log∗nα3(n)=log∗⁡n\alpha_3(n) = \log^* n ......... αk(n)=1+αk(αk−1(n))αk(n)=1+αk(αk−1(n))\alpha_k(n) = 1 + \alpha_k(\alpha_{k−1}(n))α(n)=min{k:αk(n)≤3}α(n)=min{k:αk(n)≤3}\alpha(n) = \min\{k: \alpha_k(n)\leq 3\} Pertanyaan saya adalah: Apa fungsi Jelas . Batas ketat apa yang bisa diberikan seseorang …

11 ds.algorithms  ds.data-structures  bounds 

Kebanyakan tipe teori yang saya sadari adalah predikatif yang saya maksudkan Void : Prop Void = (x : Prop) -> x tidak diketik dengan baik di sebagian besar pembuktian teorema karena tipe pi ini milik alam semesta yang sama Propdan tidak demikian halnya Prop : Prop. Ini menjadikannya predikatif dan …

11 lo.logic  type-theory 

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 pada video yang ditautkan). Mungkin saya salah mengerti kata …

11 terminology  concurrency 

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 …

11 cc.complexity-theory  lo.logic  decision-trees  boolean-formulas 

Sistem Penambahan Vektor (VAS) adalah seperangkat tindakan terbatas . adalah himpunan tanda . Sebuah menjalankan adalah kata non-kosong tanda st . Jika ada kata seperti itu, kami katakan bahwa dapat dijangkau dari .N dA⊂ZdA⊂ZdA \subset \mathbb{Z}^dNdNd\mathbb{N}^d ∀ i ∈ { 0 , … , n - 1 } , m …

11 fl.formal-languages  decidability 

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 terbatas.EQPEQP\mathsf{EQP} Kuantum transformasi Fourier (QFT), yang diberikan oleh FN=1N−−√⎡⎣⎢⎢⎢⎢⎢⎢⎢⎢⎢⎢1111⋮11ωω2ω3⋮ωN−11ω2ω4ω6⋮ωN−21ω3ω6ω9⋮ωN−3⋯⋯⋯⋯⋱⋯1ωN−1ωN−2ωN−3⋮ω(N−1)2⎤⎦⎥⎥⎥⎥⎥⎥⎥⎥⎥⎥for ω=e2πi/N,FN=1N[1111⋯11ωω2ω3⋯ωN−11ω2ω4ω6⋯ωN−21ω3ω6ω9⋯ωN−3⋮⋮⋮⋮⋱⋮1ωN−1ωN−2ωN−3⋯ω(N−1)2]for ω=e2πi/N, F_N = {\frac{1}{\sqrt N} …

11 quantum-computing  circuit-families