Pertanyaan yang diberi tag «complexity-classes»

Aku bertanya-tanya ini didasarkan pada beberapa tempat online yang panggilan co- masalah terbuka besar ... tapi saya tidak dapat menemukan indikasi apakah atau tidak ini adalah sama dengan Masalah ...N P P = N PNP=NP=\sf NP=NPNP\sf NPP=NPP=NP\sf P=NP

12 complexity-theory  complexity-classes  p-vs-np 

Apakah ada cara mudah untuk melihat mengapa NP ada di EXPTIME? Menurut saya apriori dapat dibayangkan bahwa mungkin ada masalah yang membutuhkan waktu super-eksponensial untuk diselesaikan, tetapi solusinya dapat diverifikasi dalam waktu polinomial.

11 complexity-theory  complexity-classes 

Biarkan menjadi beberapa masalah penghitungan yang dikenal sebagai # P -Lengkap .ΠΠ\PiPPP Apakah itu menyiratkan bahwa adalah A P X -hard (yaitu tidak ada PTAS untuk masalah ada kecuali P = N P )?ΠΠ\PiAPXAPXAPXP=NPP=NPP=NP

11 complexity-theory  complexity-classes  approximation  counting 

Masalah keputusan Dengan rumus Boolean , apakah ϕ memiliki satu tugas yang memuaskan?ϕϕ\phiϕϕ\phi dapat dilihat di , U P -hard dan c o N P -hard. Adakah yang lebih dikenal tentang kerumitannya?Δ2Δ2\Delta_2U PUP\mathsf{UP}coNPcoNP\mathsf{coNP}

11 complexity-theory  complexity-classes  satisfiability 

Semua orang tahu "Garey & Johnson", yang merupakan referensi masuk ke saya setiap kali saya membutuhkan masalah untuk mengubah dari bukti NP-hardness. Namun saya baru-baru ini menemukan diri saya membutuhkan bukti kekerasan APX, dan saya bertanya-tanya apakah ada kumpulan masalah yang serupa (dan lebih terkini ..?) Yang telah terbukti keras-APX. …

11 complexity-theory  reference-request  time-complexity  complexity-classes 

Seperti yang saya mengerti, masalah penugasan dalam P karena algoritma Hungaria dapat menyelesaikannya dalam waktu polinomial - O (n 3 ). Saya juga mengerti bahwa masalah penugasan adalah masalah pemrograman linear integer , tetapi halaman Wikipedia menyatakan bahwa ini adalah NP-Hard. Bagi saya, ini menyiratkan masalah penugasan dalam NP-Hard. Tapi …

11 complexity-theory  complexity-classes  linear-programming  integer-programming 

Saya tahu bahwa masalah rumus Boolean yang dikuantifikasi untuk rumus mana ϕ tidak mengandung pembilang dan hanya variabel x 1 , ... , x n , y 1 , ... , y n adalah contoh dari masalah Π P 2 yang lengkap. Namun, saya bertanya-tanya apakah ada masalah alam yang …

10 complexity-classes 

Jika maka hierarki runtuh ke level kedua (oleh teorema Karp-Lipton). Tetapi bagaimana dengan dan ?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP Saya mencoba membuktikan bahwa terkandung dalam (arah lainnya sepele jika ) tetapi tidak berhasil, dan saya bahkan tidak yakin itu benar.BPPBPP\sf BPPNPNP\sf NPRP=NPRP=NP\sf RP = NP Bagaimana menurut anda?

10 complexity-theory  complexity-classes  probabilistic-algorithms 

Untuk alasan tentang hal-hal seperti kelengkapan NP, kami biasanya menggunakan banyak-satu pengurangan (yaitu, pengurangan Karp). Ini mengarah ke gambar seperti ini: (di bawah dugaan standar). Saya yakin kita semua akrab dengan hal semacam ini. Gambar apa yang kita dapatkan, jika kita bekerja dengan pengurangan Turing (yaitu, pengurangan Cook)? Bagaimana gambar …

10 complexity-theory  reductions  complexity-classes 

Saya benar-benar ingin bantuan Anda untuk membuktikan hal berikut. Jika maka .P = N P.N T i m e ( n100) ⊆ D T i m e ( n1000)NTsayame(n100)⊆DTsayame(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P = N PP=NP\mathrm{P}=\mathrm{NP} Di sini, adalah kelas semua bahasa yang dapat diputuskan oleh mesin Turing nondeterministic dalam waktu polinomial …

10 time-complexity  complexity-classes  p-vs-np 

Saya mengambil kursus tentang Kompleksitas Komputasi. Masalah saya adalah saya tidak mengerti metode Relativization . Saya mencoba menemukan sedikit intuisi di banyak buku teks, sayangnya, sejauh ini tidak berhasil. Saya akan menghargai jika seseorang dapat menjelaskan topik ini sehingga saya akan dapat melanjutkan sendiri. Beberapa kalimat berikut adalah pertanyaan dan …

10 complexity-theory  np-complete  complexity-classes  relativization  np 

Saya bingung tentang bagaimana PP dan BPP didefinisikan. Mari kita asumsikan adalah fungsi karakteristik untuk bahasa . M menjadi Mesin Turing probabilistik. Apakah definisi berikut ini benar:χχ\chiLL\mathcal{L} BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀x∈L, ϵ>0}BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀x∈L, ϵ>0}BPP =\{\mathcal{L} :Pr[\chi(x) \ne M(x)] \geq \frac{1}{2} + \epsilon \quad \forall x \in \mathcal{L},\ \epsilon > 0 \} PP={L:Pr[χ(x)≠M(x)]>12}PP={L:Pr[χ(x)≠M(x)]>12}PP =\{\mathcal{L} :Pr[\chi(x) …

9 complexity-theory  terminology  randomized-algorithms  complexity-classes 

Baru-baru ini saya berdiskusi dengan seorang teman tentang sebuah situs web yang mengusulkan tantangan regex, terutama mencocokkan sekelompok kata dengan properti khusus. Dia sedang mencari regex yang cocok dengan string seperti di ||||||||mana jumlah |prima. Saya segera mengatakan kepadanya bahwa tidak akan pernah berhasil karena jika bahasa seperti itu biasa, …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

Saya pikir kedua kelas ini harus sama, tetapi saya tidak dapat menemukan literatur tentang hal ini dan memiliki latar belakang yang terbatas pada topik tersebut. Ini adalah alasan saya, dan saya ingin tahu apakah (1) ini sudah diketahui atau (2) saya salah mengerti sesuatu atau (3) saya baru menemukan sesuatu …

8 complexity-theory  complexity-classes  quantum-computing 

Saya tidak dapat menemukan grafik yang menggambarkan atau teks yang menjawab pertanyaan berikut: Apakah ada hubungan langsung antara kompleksitas suatu algoritma (seperti kasus cepat / terbaik terbaik), dan kelas automata yang dapat mengimplementasikan algoritma. Misalnya apakah ada serangkaian kompleksitas yang dapat diekspresikan automata? Jika jawabannya ya untuk pertanyaan itu, adakah …

8 complexity-theory  automata  reference-request  complexity-classes