Pertanyaan yang diberi tag «descriptive-complexity»

Kompleksitas deskriptif mengklasifikasikan masalah berdasarkan seberapa sulit mengungkapkan masalah dalam beberapa formalisme logis.

5
Apakah ada logika tanpa induksi yang menangkap banyak P?
The Immerman-Vardi teorema menyatakan bahwa PTIME (atau P) justru kelas bahasa yang dapat dijelaskan oleh hukuman Pertama-Order Logic bersama-sama dengan operator fixed-point, lebih kelas struktur memerintahkan. Operator titik tetap dapat berupa titik tetap paling tidak (seperti yang dipertimbangkan oleh Immerman dan oleh Vardi), atau titik tetap inflasi. (Stephan Kreutzer, kesetaraan …
2
Apakah ada representasi kompleksitas deskriptif dari kelas kompleksitas kuantum?
Judulnya kurang lebih menyebutkan semuanya, tapi saya rasa saya bisa menambahkan sedikit latar belakang dan beberapa contoh spesifik yang saya minati. Para ahli teori kompleksitas deskriptif, seperti Immerman dan Fagin, telah mengkarakterisasi banyak kelas kompleksitas yang paling terkenal menggunakan logika. Misalnya, NP dapat dikarakterisasi dengan kueri eksistensial orde dua; P …
5
Mengapa database relasional bekerja sama sekali, mengingat kompleksitas eksponensial teoretis dari penemuan jawaban (dalam ukuran kueri)?
Tampaknya diketahui bahwa untuk menemukan jawaban atas kueri atas database relasional D , kita perlu waktu | D | | Q | , dan seseorang tidak dapat menyingkirkan eksponen | Q | .QQQDDD| D || Q ||D||Q||D|^{|Q|}| Q ||Q||Q| Karena bisa menjadi sangat besar, kami bertanya-tanya mengapa database bekerja sama …
1
Mempertahankan pesanan dalam daftar dalam dalam waktu
Masalah pemeliharaan pesanan (atau "mempertahankan pesanan dalam daftar") adalah untuk mendukung operasi: singleton: membuat daftar dengan satu item, mengembalikan pointer ke sana insertAfter: diberi pointer ke item, memasukkan item baru setelahnya, mengembalikan pointer ke item baru delete: diberi pointer ke item, menghapusnya dari daftar minPointer: diberi dua petunjuk untuk item …
2
Masalah optimisasi MSOL pada grafik cliquewidth terbatas, dengan predikat kardinalitas
CMSOL adalah Menghitung Monadic Second Order Logic, yaitu logika grafik di mana domain adalah himpunan simpul dan tepi, ada predikat untuk adjacency vertex-vertex dan insiden edge-vertex, ada kuantifikasi atas tepi, simpul, set tepi dan simpul set, dan ada predikat n , p ( S ) yang menyatakan apakah ukuran S …
3
Apakah ada batasan alami logika VO yang menangkap P atau NP?
Kertas Lauri Hella dan José María Turull-Torres, Komputasi kueri dengan logika tingkat tinggi , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 mengusulkan logika VO, variabel-order logic. Ini memungkinkan kuantifikasi atas pesanan atas variabel. VO cukup kuat dan dapat mengungkapkan beberapa pertanyaan yang tidak dapat dihitung. (Seperti yang ditunjukkan oleh …
1
Game Ehrenfeucht-Fraïssé (Ajtai-Fagin sebenarnya) untuk bahasa reguler.
Immerman (Kompleksitas Deskriptif, 1999) menyajikan game EF untuk urutan kedua monadik eksistensial (game Ajtai-Fagin) di halaman 127. Karena MSO pada kata-kata setara dengan bahasa biasa, permainan dapat ditulis sebagai berikut.∃∃\exists Sebuah bahasa adalah biasa jika dan hanya jika Delilah tidak memiliki strategi menang di game berikut: 1. Samson memilih c …
1
P dan Kompleksitas Deskriptif
Di Kebun Binatang Kompleksitas, ia mengatakan [ 1 ] itu, dalam kompleksitas deskriptif, PPP dapat didefinisikan oleh tiga jenis yang berbeda dari formula, FO(LFP)FO(LFP)FO(LFP) yang juga FO(nO(1))FO(nO(1))FO(n^{O(1)}) , dan juga sebagai SO(HORN)SO(HORN)SO(HORN) . Namun, ada beberapa pengecualian, misalnya, EvennessEvennessEvenness tidak bisa diungkapkan oleh FP (FP memiliki kekuatan ekspresif yang sama …
1
Apa yang dimakan teorema dikotomi?
Hal ini juga diketahui bahwa kelas-kelas tertentu dari NP -problems Memiliki dikotomi teorema, yang menjamin bahwa setiap tugas di kelas adalah baik NP -Lengkap atau di P . Hasil yang paling dikenal adalah teorema dikotomi Schaefer , bersama dengan sejumlah generalisasi. Pemahaman saya adalah bahwa membuktikan teorema dikotomi ini tidaklah …
2
Kapan properti FO membunuh NL-hardness?
Konteks: Kami hanya mempertimbangkan digraf. Biarkan CYCLE menjadi bahasa grafik dengan siklus; itu adalah masalah NL-lengkap. Biarkan HASEDGE menjadi bahasa grafik dengan setidaknya satu sisi. Kemudian sepele, tidak lagi NL-hard, sementara tetap seperti itu.CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE}CYCLE∪HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} Masalah aktual: Saya ingin tahu apakah bahasa masih NL-hard.CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}\text{CYCLE} \cup \{(V, E):(\exists …
1
Dapatkah versi kompleksitas teorema Rice digunakan untuk memisahkan AC0 dan PSPACE?
Dalam pertanyaan ini , disebutkan bahwa ada versi kompleksitas deskriptif teorema Rice. Saya menemukan bukti teorema berikut: Diberikan kompleksitas kelas C , properti nontrivial dari bahasa dalam C tidak dapat dihitung dalam C Saya sebelumnya telah memposting bukti yang saya temukan, tetapi karena begitu lama dan karena ditunjukkan dalam komentar …
1
Permutasi Satu Arah Hingga dengan Domain Tak Terbatas
Biarkan menjadi permutasi. Perhatikan bahwa sementara bertindak pada domain tanpa batas, deskripsinya mungkin terbatas. Menurut deskripsi , maksud saya adalah program yang menjelaskan fungsionalitas . (Seperti dalam kompleksitas Kolmogorov.) Lihat penjelasan di bawah ini. π ππ:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^*ππ\piππ\pi Misalnya, fungsi NOT adalah salah satu permutasi tersebut: fungsi TIDAK …
2
Bagaimana kita bisa mengekspresikan " " sebagai formula orde pertama? [Tutup]
Tutup. Pertanyaan ini di luar topik . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga sesuai topik untuk Theoretical Computer Science Stack Exchange. Ditutup 7 tahun yang lalu . Bagaimana kita dapat mengekspresikan " " sebagai formula orde pertama?P=PSPACEP=PSPACEP=PSPACE Level hirarki aritmatika mana yang berisi rumus …
2
Intuisi di balik sistem bukti
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 pikir intinya adalah …
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.