Mari menjadi grafik asiklik diarahkan , dan membiarkan λ menjadi fungsi pelabelan memetakan setiap titik v ∈ V untuk label λ ( v ) di beberapa alfabet yang terbatas L . Menulis n : = | V | , Sebuah semacam topologi dari G adalah bijection σ dari { 1 , ... , n } ke V (yaitu, pemesananG=(V,E)G=(V,E)G...
Apakah NPPP=PPPNPPP=PPP\mathsf{NP^{PP}} = \mathsf{P^{PP}} ? Atau, lebih umum, Apakah NPPP⊆PPP/polyNPPP⊆PPP/poly\mathsf{NP^{PP}} \subseteq \mathsf{P^{PP}/poly}
Saya tertarik pada sifat kombinatorial jejaring sosial sebagai grafik. Orang-orang telah melihat hal-hal seperti distribusi derajat, koefisien pengelompokan dan kompresibilitas grafik ini. Satu pertanyaan mendasar adalah: Apakah grafik ini biasanya merupakan grafik expander yang bagus? Adakah yang...
Sebuah antichain dalam DAG adalah bagian A ⊆ V dari simpul yang berpasangan terjangkau, yaitu, tidak ada v ≠ v ' ∈ A sehingga v dapat dicapai dari v ' di E . Dari teorema Dilworth dalam teori urutan parsial, diketahui bahwa jika DAG tidak memiliki ukuran antik dari ukuran k ∈ N , maka dapat...
Biarkan menjadi bahasa dan fungsi pada dua parameter dengan properti yang untuk semua dan , mengembalikan elemen dari jika dan hanya jika keduanya dan adalah elemen :f : Σ ⋆ × Σ ⋆ → Σ ⋆ x y f L x y LL.LLf: Σ⋆× Σ⋆→ Σ⋆f:Σ⋆×Σ⋆→Σ⋆f\colon
Saya pernah membaca buku, artikel, dan makalah yang diterbitkan tentang Quantum-Computing. Saya menemukan bahwa semua materi yang saya lihat adalah, alih-alih menggambarkan gerbang kuantum dari fisika dasar ke abstraksi, berusaha keras untuk menghindari berbicara tentang detail implementasi...
Pertimbangkan masalah berikut: diberi matriks M∈{−m,…,0,…,m}n×nM∈{−m,…,0,…,m}n×nM\in\{-m,\dots,0,\dots,m\}^{n\times n} , indeks i,j∈{1,…,n}i,j∈{1,…,n}i,j\in\{1,\dots,n\} dan bilangan bulat aaa . Ganti M[i,j]M[i,j]M[i,j] oleh aaa dan panggilan baru matriks M . Apakah p e r ( M ) > pM^M^\hat...
Melihat model polimorfisme parametrik, saya ingin tahu mengapa kategori grafik refleksif digunakan? Secara khusus, mengapa mereka tidak memasukkan komposisi relasional? Dalam melihat model, mereka semua tampaknya mendukung gagasan alami komposisi relasional: x(R;S)z⟺∃y.xRy∧ySzx(R;S)z⟺∃y.xRy∧ySz...
Dalam sebuah makalah konferensi, untuk membuktikan -completeness dari masalah, saya menulis kalimat bodoh "Jelas bahwa masalahnya adalah di N P . Jadi kita akan membuktikan bahwa itu adalah N P -Hard". Bahkan, tidak jelas sama sekali. Bahkan tampaknya menjadi masalah terbuka. Untuk pemirsa yang...
Saya sudah pemrograman selama beberapa tahun, tetapi saya sangat tidak terbiasa dengan CS teoritis. Saya baru-baru ini mencoba mempelajari bahasa pemrograman, dan sebagai bagian dari itu, ketik pengecekan dan inferensi. Pertanyaan saya adalah, jika saya mencoba menulis inferensi jenis dan...
Saya mencoba memahami logika linier untuk memahami sistem tipe linear dengan lebih baik. Namun, ketika saya membaca aturan, saya gagal mendapatkan intuisi di belakangnya seperti yang saya lakukan dalam modal logika - berarti A diperlukan seperti dalam Kripke frame A diperlukan untuk setiap dunia...
Biarkan menjadi struktur berhingga apa pun. Apakah teori urutan pertama telah membatasi peringkat quantifier, dalam arti ada sedemikian rupa sehingga untuk semua dengan ada dengan dan ?T : = T H ( A ) q ∈ N φ ∈ T q r ( φ ) > q φ ′ ∈ T q r ( φ ′ ) ≤ q φ ′ ≡ φ φSEBUAHA\mathfrak{A} T: = TH ( A...
Biarkan menjadi oracle generik dalam arti kategori Cohen / Baire. Biarkan menjadi oracle acak.GGGRRR Apakah ada kompleksitas kelas A dan B dengan atau sebaliknya, AG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne
Saya sadar bahwa Kalkulus Konstruksi sangat normal, artinya setiap ekspresi memiliki normal untuk itu tidak boleh beta, dikurangi eta lebih lanjut. Jadi sebenarnya ini adalah ekspresi paling efisien yang menghitung nilai yang sama dengan ekspresi asli. Tetapi dalam kasus-kasus tertentu,...
Monadic First Order Logic, juga dikenal sebagai Monadic Class of Decision Problem, adalah tempat semua predikat mengambil satu argumen. Itu terbukti decidable oleh Ackermann, dan NEXPTIME-complete . Namun, masalah seperti SAT dan SMT memiliki algoritme cepat untuk menyelesaikannya, meskipun ada...
Secara umum memutuskan apakah persamaan diophantine memiliki solusi bilangan bulat setara dengan masalah penghentian. Saya percaya bahwa memutuskan apakah persamaan diophantine kuadratik memiliki solusi apa pun adalah NP-complete. Apakah ada batasan lebih lanjut pada persamaan yang terlibat yang...
Saya memiliki satu set vektor biner S = { s 1 , … , s n } ⊆ { 0 , 1 } k ∖ { 1 k } dan vektor target t = 1 k yang merupakan vektor semua-yang.nnnS={s1,…,sn}⊆{0,1}k∖{1k}S={s1,…,sn}⊆{0,1}k∖{1k}S = \{s_1, \ldots, s_n \} \subseteq \{0,1\}^k \setminus \{1^k\}t=1kt=1kt = 1^k Dugaan: Jika dapat ditulis...
Pertanyaan Umum Apakah teorema hierarki ruang menggeneralisasi ke perhitungan yang tidak seragam? Berikut beberapa pertanyaan spesifik: Apakah ?L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Untuk semua fungsi pembangun ruang f(n)f(n)f(n) , apakah
Sudah diketahui umum bahwa untuk kelas konsep dengan VC dimensi , cukup untuk mendapatkan O \ kiri (\ frac {d} {\ varepsilon} \ log \ frac {1} {\ varepsilon} \ kanan) contoh berlabel untuk PAC learn \ mathcal {C} . Tidak jelas bagi saya apakah algoritma pembelajaran PAC (yang menggunakan banyak...
Saya tertarik dengan masalah klasik REGULAR LANGUAGE INCLUSION. Diberi ekspresi reguler , kami menunjukkan oleh L ( E ) bahasa reguler yang terkait dengannya. (Ekspresi reguler menggunakan alfabet tetap Σ , dengan gabungan operasi, bintang Kleene dan gabungan.)EEEL ( E)L(E)L(E)ΣΣ\Sigma Input: Dua...