Ilmu Komputer Teoritis

T&J untuk ilmuwan dan peneliti komputer teoretis di bidang terkait

6
Kompleksitas Algoritma Shuffle Fisher-Yates
Pertanyaan ini berkaitan dengan algoritma Fisher-Yates untuk mengembalikan acak acak array yang diberikan. The halaman Wikipedia mengatakan bahwa kompleksitas adalah O (n), tapi saya berpikir bahwa itu adalah O (n log n). Di setiap iterasi i, integer acak dipilih antara 1 dan i. Cukup menulis integer dalam memori adalah O …
1
vs
Dalam karya terbaru kami, kami menyelesaikan masalah komputasi yang muncul dalam konteks kombinatorial, dengan asumsi bahwa , di mana ⊕EXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP} adalah versi E X P dari ⊕⊕EXP⊕EXP\mathsf{\oplus{}EXP}EXPEXP\mathsf{EXP} . Satu-satunya kertas di ⊕⊕P⊕P\mathsf{\oplus{}P} yang kami temukan adalahmakalahBeigel-Buhrman-Fortnow1998yang dikutip diComplexity Zoo. Kami memahami bahwa kita dapat mengambil versi paritas N …
3
Subgraph isomorphism dengan pohon
Jika kita memiliki grafik besar (terarah) dan pohon berakar lebih kecil , kompleksitas apa yang paling dikenal untuk menemukan subgraf isomorfik ke ? Saya menyadari hasil isomorfisma subtree di mana dan adalah pohon dan juga di mana adalah planar atau telah terikat treewidth (dan lain-lain) tetapi tidak untuk grafik dan …
2
Büchi automata dengan strategi penerimaan
Masalah Mari menjadi robot Büchi, mengakui bahasa L ⊆ Σ ohm . Kami berasumsi bahwa A memiliki strategi penerimaan dalam arti berikut: ada fungsi σ : Σ * → Q yang dapat digunakan untuk percontohan berjalan dari A . Kami meresmikan ini dengan ketentuan sebagai berikut:A=⟨Σ,Q,q0,F,Δ⟩A=⟨Σ,Q,q0,F,Δ⟩A=\langle \Sigma, Q, q_0,F,\Delta\rangleL⊆ΣωL⊆ΣωL\subseteq\Sigma^\omegaAAAσ:Σ∗→Qσ:Σ∗→Q\sigma:\Sigma^*\to QAAA …
5
Apa kelas kompleksitas untuk subrutin kuantum yang menggunakan status kuantum arbitrer sebagai input?
Kelas kompleksitas BQP sesuai dengan subrutin kuantum waktu polinomial mengambil input klasik dan mengeluarkan output klasik probabilistik. Saran kuantum memodifikasi bahwa untuk memasukkan salinan beberapa status saran kuantum yang telah ditentukan tetapi dengan input klasik seperti biasa. Apa kelas kompleksitas untuk subrutin kuantum waktu polinomial yang mengambil status kuantum arbitrer …
2
Analog kuantum kelas kompleksitas SPACE
Kami sering mempertimbangkan kelas kompleksitas di mana kami dibatasi dalam jumlah ruang yang dapat digunakan mesin Turing kami, misalnya: atau . Tampaknya pada awal teori kompleksitas ada banyak keberhasilan dengan kelas-kelas ini seperti teorema ruang-hierarki dan penciptaan pada kelas-kelas penting seperti dan . Apakah ada definisi analog untuk perhitungan kuantum? …
1
Dapatkah seseorang secara efisien sampel tetangga simpul dalam grafik polytope?
Saya memiliki polytope didefinisikan oleh .PPP{x:Ax≤b,x≥0}{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} Pertanyaan: Diberikan simpul dari , apakah ada algoritma waktu polinomial untuk sampel seragam dari tetangga dalam grafik ? (Polinomial dalam dimensi, jumlah persamaan, dan representasi . Saya dapat mengasumsikan bahwa jumlah persamaan adalah polinomial dalam dimensi.)vvvPPPvvvPPPbbb …
3
Bagaimana parametrisitas relasional dapat dimotivasi?
Adakah cara alami untuk memahami esensi semantik relasional untuk polimorfisme parametrik? Saya baru saja mulai membaca tentang pengertian parametrisitas relasional, "Jenis, Abstraksi, dan Polimorfisme Parametrik" ala John Reynolds, dan saya mengalami kesulitan memahami bagaimana semantik relasional termotivasi. Set semantik masuk akal bagi saya, dan saya menyadari bahwa set semantik tidak …
3
Memeriksa rumus dengan dua quantifiers (
Pemecah SAT memberikan cara yang ampuh untuk memeriksa validitas rumus boolean dengan satu quantifier. Misalnya, untuk memeriksa validitas ∃x.φ(x)∃x.φ(x)\exists x . \varphi(x) , kita dapat menggunakan pemecah SAT untuk menentukan apakah φ(x)φ(x)\varphi(x) memuaskan. Untuk memeriksa validitas ∀x.φ(x)∀x.φ(x)\forall x . \varphi(x) , kita bisa menggunakan SAT solver untuk menentukan apakah ¬φ(x)¬φ(x)\neg …
1
Partisi grafik menjadi siklus simpul-terpisah
Masalah terkait: Teorema Veblen menyatakan bahwa "Sebuah grafik mengakui dekomposisi siklus jika dan hanya jika itu genap". Siklusnya adalah edge disjoint, tetapi tidak harus simpul disjoint. Dengan kata lain, "Kumpulan tepi grafik dapat dipartisi menjadi siklus jika dan hanya jika setiap titik memiliki derajat genap." Masalah saya: Saya bertanya-tanya apakah …
3
Kemajuan pada masalah ketinggian bintang umum?
Ketinggian bintang (yang digeneralisasikan) dari suatu bahasa adalah bersarang minimum dari bintang-bintang Kleene yang diperlukan untuk mewakili bahasa dengan suatu ekspresi reguler yang diperluas. Ingatlah bahwa ekspresi reguler yang diperluas menggunakan alfabet terbatas memenuhi yang berikut:AAA (1) dan sebuah diperpanjang ekspresi reguler untuk semua a ∈ A∅,1∅,1\emptyset, 1aaaa∈Aa∈Aa\in A (2) …
1
Contoh algoritme dan bukti yang tampaknya benar, tetapi tidak
Dalam kursus pengantar saya untuk pemrograman, kita belajar tentang metode Inisialisasi-Pemeliharaan-Pemutusan untuk membuktikan suatu algoritma melakukan apa yang kita harapkan. Tapi kami hanya perlu membuktikan bahwa suatu algoritma yang sudah diketahui benar, benar. Kami tidak pernah diminta untuk menunjukkan bahwa suatu algoritma tidak benar. Apakah ada contoh algoritma klasik yang …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.