Pertanyaan yang diberi tag «pspace»

Memutuskan apakah formula boolean yang dikuantifikasi seperti ∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), selalu mengevaluasi benar adalah masalah PSPACE-lengkap klasik. Ini dapat dilihat sebagai permainan antara dua pemain, dengan gerakan bergantian. Pemain pertama menentukan nilai kebenaran dari variabel bernomor ganjil dan pemain kedua memutuskan …

31 cc.complexity-theory  sat  gt.game-theory  pspace 

Diketahui bahwa masalah berikut ini adalah PSPACE-complete: Diberi persamaan reguler , apakah ?L ( β ) = Σ ∗ββ\betaL ( β) = Σ∗L(β)=Σ∗L(\beta) = \Sigma^* Bagaimana dengan menentukan ekivalensi dengan persamaan reguler (tetap) ?αα\alpha Diberi persamaan reguler , apakah ?L ( β ) = L ( α )ββ\betaL ( β) …

21 cc.complexity-theory  automata-theory  regular-expressions  pspace 

Latar Belakang Hal ini diketahui bahwa ada sebuah ramalan AAA seperti itu, PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A . Bahkan diketahui bahwa pemisahan relatif terhadap oracle acak. Secara informal, seseorang mungkin menafsirkan ini berarti bahwa ada banyak nubuat yang PSPACEPSPACEPSPACE dan PHPHPH terpisah. Pertanyaan Bagaimana rumit adalah firman ini yang memisahkan PSPACEPSPACEPSPACE dari …

17 cc.complexity-theory  oracles  relativization  pspace  structural-complexity 

Disebutkan dalam komentar di postingan lain bahwa kelengkapan PSPACE menyiratkan kekerasan APX. Adakah yang bisa menjelaskan / berbagi referensi untuk itu? Apakah ini "ketat"? (yaitu, apakah ada masalah PSPACE-complete yang masalah optimasi mengakui perkiraan faktor konstan dalam waktu poli?) Bagaimana dengan kelengkapan untuk beberapa level PH? Apakah itu menyiratkan kekerasan …

14 cc.complexity-theory  approximation-algorithms  approximation-hardness  np  pspace 

Dalam makalah "Pada kompleksitas beberapa permainan mewarnai", Bodlaender memberikan beberapa pertanyaan terbuka tentang kompleksitas menentukan apakah pemain 1 atau 2 memiliki strategi kemenangan dalam beberapa permainan mewarnai grafik. Adakah yang tahu kalau itu sudah dipecahkan? 1) Dalam satu permainan, dua pemain bergiliran memilih satu titik dalam grafik dan mewarnai dengan …

12 graph-colouring  pspace  two-player-games 

Makalah ini memberikan bukti bahwa dalam permainan dengan pintu dan pelat penekan, sulit bagi PSPACE untuk menentukan apakah avatar (pemain) dapat mencapai lokasi tertentu. Ini dibuktikan dengan pengurangan dari TQBF , dan lamanya solusi yang dihasilkan tergantung secara eksponensial pada jumlah quantifiers universal dalam formula. Apakah ada pengurangan dari mesin …

12 reductions  nondeterminism  pspace 

Pertimbangkan informasi lengkap permainan kombinatorial dua pemain yang berakhir setelah sejumlah polinomial gerakan, dan dengan cara bergantian, para pemain mengambil dari sejumlah terbatas gerakan yang diizinkan. Pertanyaan yang biasa adalah, seberapa sulit untuk mengetahui dari posisi yang diberikan pemenang. Yang lain adalah, betapa sulitnya untuk mengambil langkah kemenangan dari posisi …

11 cc.complexity-theory  np  board-games  pspace 

Saya kira itu akan disebut # P-Space tetapi saya hanya menemukan satu artikel yang samar-samar menyebutkannya. Bagaimana dengan versi penghitungan masalah EXP-TIME-Complete, NEXP-Complete serta EXP-SPACE-Complete? Apakah ada karya sebelumnya yang dapat dikutip sehubungan dengan ini atau jenis inklusi atau pengecualian seperti Teorema Toda?

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace 

Gagasan algoritma distilasi berikut berasal dari "Pada Masalah Tanpa Kernel Polinomial". Biarkan bahasa diberikan. Sebuah algoritma destilasi untuk L mengambil daftar yang diberikan string masukan { x i } i ∈ [ t ] dan menghitung output string yang y sehingga:L.LLL.LL{ xsaya}i ∈ [ t ]{xi}i∈[t]\{ x_i \}_{i \in [t]}yyy …

9 cc.complexity-theory  np-hardness  parameterized-complexity  polynomial-hierarchy  pspace 

Latar Belakang Kita tahu bahwa .P# P⊆ P.SPA CEP#P⊆PSPACEP^{\#P} \subseteq PSPACE Selain itu, kami tahu dari teorema Toda bahwa .PH⊆ P.# PPH⊆P#PPH \subseteq P^{\#P} Untuk latar belakang lebih lanjut tentang , lihat di sini: https://en.wikipedia.org/wiki/Sharp-P#P#P\#P Pertanyaan Apakah ada oracle sehingga ?( P # P ) A ≠ P S P …

8 cc.complexity-theory  complexity-classes  oracles  relativization  pspace 

Dalam makalah Savitch 1969, "Hubungan Antara Nondeterministik dan Kompleksitas Pita Deterministik", ia menyatakan bahwa "semua fungsi penyimpanan umum L (n)> = lg n dapat diukur. Khususnya, setiap polinomial dalam n dan lg n dapat diukur." Definisinya yang dapat diukur adalah: "Suatu fungsi L (n) dikatakan dapat diukur jika ada beberapa …

8 cc.complexity-theory  pspace  space-complexity