Ilmu Komputer Teoritis

Algoritma Brzozowski untuk mengubah DFA menjadi DFA minimum-state yang ekuivalen sangat sederhana: jika menunjukkan NFA yang dibentuk dengan membalik semua tepi dalam DFA D , menjadikan state awal yang lama sebagai negara penerima, dan menjadikan yang lama menerima negara mulai negara, dan jika P ( N ) menunjukkan hasil dari …

9 automata-theory  minimization 

Mengingat tetap diarahkan grafik (digraf) , yang -coloring masalah keputusan menanyakan apakah digraph masukan memiliki homomorfisma untuk . (A homomorfisme ke adalah pemetaan dari ke yang mempertahankan busur, yaitu, jika adalah busur , maka adalah busur dari )D G V ( G ) V ( D ) u v G …

9 reference-request  graph-theory  np-hardness  csp  homomorphism 

Diberi bahasa reguler pada alfabet , otomat deterministik minimalnya dapat dilihat sebagai multigraf terhubung langsung dengan out-degree konstandan kondisi awal yang ditandai (dengan melupakan label transisi, status akhir). Kami menjaga keadaan awal karena setiap titik harus dapat diakses darinya.L.L.LSEBUAHSEBUAHA| A ||SEBUAH||A| Apakah kebalikannya benar? Yaitu diberi multigraf terhubung langsung dengan …

9 graph-theory  automata-theory 

Dalam makalah PLDI'98 klasik karya Necula, "Desain dan implementasi kompiler sertifikasi", verifikasi tingkat tinggi menggunakan: VCGen untuk menghasilkan kondisi verifikasi (predikat keselamatan) Teorema logika orde pertama membuktikan kondisi Pemeriksa bukti LF untuk memeriksa bukti dari langkah (2) Saya agak bingung dengan langkah (3). Mengapa itu diperlukan sama sekali? Apakah hanya …

9 proof-theory  automated-theorem-proving  program-verification 

Masalah standar 1-in-3 SAT (atau XSAT atau X3SAT) adalah: Instance : rumus CNF dengan setiap klausa yang mengandung tepat 3 liter Pertanyaan : apakah ada pengaturan penugasan yang memuaskan tepatnya 1 liter per klausa benar? Masalahnya adalah NP-lengkap dan tetap sulit bahkan jika tidak ada variabel yang dinegasikan. Saya bertanya-tanya …

9 cc.complexity-theory  np-hardness  sat 

Saya percaya jawaban untuk pertanyaan ini memberikan kelas sedemikian rupa sehingga untuk semua polinomial , ada masalah di kelas yang tidak memiliki sirkuit ukuran p ( n ) . Namun, saya bertanya tentang ukuran sirkuit ωphalpp(n)hal(n)p(n) .ω(n)ω(n)\omega \hspace{.02 in}(n) (⟨00,11,22,31,44,51,66,71,88,91, . ..⟩(⟨00,11,22,31,44,51,66,71,88,91,...⟩\big(\hspace{-0.07 in}\left\langle \hspace{-0.04 in}0^{\hspace{.02 in}0}\hspace{-0.03 in},\hspace{-0.04 in}1^{\hspace{-0.03 in}1}\hspace{-0.03 in},2^{\hspace{.02 …

9 circuit-complexity  lower-bounds 

Misalkan GGG dan HHH menjadi dua grafik ukuran- rrr terhubung secara teratur nnn . Biarkan AAA adalah himpunan permutasi PPP sehingga PGP−1=HPGP−1=HPGP^{-1}=H . Jika G=HG=HG=H maka AAA adalah himpunan automorphisms dari GGG . Apa batas atas yang paling dikenal pada ukuran AAA ? Apakah ada hasil untuk kelas grafik tertentu …

9 reference-request  graph-theory  co.combinatorics  graph-isomorphism  gr.group-theory 

Jika saya mengerti dengan benar, untuk membuktikan bahwa masalah adalah NP sulit, Anda harus memilih semua masalah yang mungkin yang ada di NP dan kemudian membuktikan bahwa mereka mengecil menjadi dengan menggunakan fungsi yang dapat dihitung waktu polinomial, yang memetakan setiap contoh untuk contoh .B i A B i ASEBUAHAABsayaBiB_{i}SEBUAHAABsayaBiB_{i}SEBUAHAA …

9 soft-question  ho.history-overview  cook-levin 

Tidak diketahui apakah NEXP terkandung dalam P / poli. Memang membuktikan bahwa NEXP tidak dalam P / poly akan memiliki beberapa aplikasi dalam derandomisasi. Apakah seragam kelas C terkecil yang dapat dibuktikan bahwa C tidak terkandung dalam P / poli? Apakah menunjukkan bahwa co-NEXP tidak terkandung dalam P / poli …

9 complexity 

Misalkan adalah grafik yang merupakan gabungan yang terpisah dari sebuah klik dan satu set independen, yaitu G = K_ {n_1} + \ overline {K_ {n_2}} = K_ {n_1} + I_ {n_2}.GGGG=Kn1+Kn2¯¯¯¯¯¯¯¯=Kn1+In2.G=Kn1+Kn2¯=Kn1+In2.G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . Kelas grafik dari semua grafik tersebut dicirikan oleh subgraph diinduksi …

9 reference-request  graph-theory  graph-classes 

Saya ingin tahu apakah masalah berikut ini NP-hard. Input: grafik sederhana, dan pewarnaan pada tepian ( tidak memverifikasi properti spesifik apa pun).f : E → { 1 , 2 , 3 } fG = ( V, E)G=(V,E)G = (V,E)f: E→ { 1 , 2 , 3 }f:E→{1,2,3}f : E \to …

9 graph-theory  np-hardness 

Jika kita hanya mempertimbangkan masalah dalam P, apakah ada celah besar antara algoritma kata-RAM yang paling cepat diketahui dan algoritma mesin Turing yang paling cepat diketahui untuk masalah tertentu? Saya sangat tertarik jika ada celah lebar untuk masalah alam yang menjadi perhatian umum.

9 cc.complexity-theory  ds.algorithms 

Pertimbangkan masalah berikut: Input: grafik sederhana (tidak terarah) .G = ( V, E)G=(V,E)G=(V,E) Pertanyaan: Apakah ada orientasi memuaskan properti yang untuk setiap paling banyak ada satu (diarahkan) - berjalan?s , t ∈ V s tGGGs , t ∈ Vs,t∈Vs,t \in Vsssttt Ini dapat secara ekuivalen diungkapkan sebagai: Input: grafik sederhana …

9 graph-theory  directed-acyclic-graph 

Saya mencari bukti bahwa kompleksitas Kolmogorov tidak dapat dihitung menggunakan pengurangan dari masalah lain yang tidak dapat dihitung. Bukti umum adalah formalisasi paradoks Berry daripada reduksi, tetapi harus ada bukti dengan mengurangi dari sesuatu seperti Masalah Putus, atau Masalah Korespondensi Post.

9 computability  reductions  kolmogorov-complexity 

Biarkan menjadi grafik. Sebuah himpunan titik disebut penting jika dan tidak ada titik di berdekatan dengan tepat satu titik di . Masalahnya adalah untuk menemukan satu set titik dari ukuran minimum sehingga untuk setiap set kritis .G = ( V, E)G=(V,E)G=(V,E)X⊆ VX⊆VX\subseteq VX≠ ∅X≠∅X\neq\emptysetV∖ XV∖XV\setminus XXXXS⊆ VS⊆VS\subseteq VS∩ X≠ ∅S∩X≠∅S\cap …

9 cc.complexity-theory  graph-theory  co.combinatorics  optimization