Pertanyaan yang diberi tag «np»

Yang ingin saya tanyakan secara khusus adalah apakah ada kondisi yang menarik pada persentase penugasan yang memenuhi formula 3SAT untuk menjamin bahwa masalah tersebut dapat diselesaikan. Misalkan misalnya kelas masalah 3SAT yang dari 2 n kemungkinan penugasan memenuhi rumus boolean; dapatkah kita menemukan tugas yang memuaskan secara efisien? Untuk apa …

12 cc.complexity-theory  ds.algorithms  sat  np 

ETH menyatakan bahwa SAT tidak dapat diselesaikan dalam kasus terburuk dalam waktu subeksponensial. Bagaimana dengan kasus rata-rata? Apakah ada masalah alami dalam NP yang diperkirakan sulit secara eksponensial dalam kasus rata-rata? Ambil kasus rata-rata berarti waktu berjalan rata-rata dengan distribusi seragam pada input.

12 cc.complexity-theory  np  average-case-complexity 

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 

Asumsikan NP = co-NP dan polinomial membatasi panjang bukti ketidakpuasan untuk instance 3-CNF . Lalu apakah ada hasil pada bentuk apa bukti tidak memuaskan untuk panjang dapat mengambil? Yaitu secara umum, akankah bukti semacam itu harus, misalnya, menggunakan kekuatan penuh dari logika orde dua atas struktur yang tak terbatas (saya …

11 cc.complexity-theory  lo.logic  np  proof-complexity 

Berikut adalah dua variasi definisi NP. Mereka (hampir pasti) mendefinisikan kelas kompleksitas yang berbeda, tetapi pertanyaan saya adalah: adakah contoh alami masalah yang cocok dengan kelas-kelas ini? (Ambang batas saya untuk apa yang dianggap alami di sini sedikit lebih rendah dari biasanya.) Kelas 1 (superclass NP): Masalah dengan saksi ukuran …

11 cc.complexity-theory  complexity-classes  np 

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 …

10 cc.complexity-theory  np  descriptive-complexity 

Kompleksitas bukti adalah area paling dasar dari teori kompleksitas komputasi. Tujuan utama dari area ini adalah untuk membuktikan , yaitu, setiap prover tidak dapat memberikan bukti ketidakpuasan formula input yang diberikan. NP≠ c o NPNP≠cHaiNPNP\neq coNP Grafik adalah salah satu model bukti formal. Pertanyaan saya adalah tentang pembatasan lebih lanjut …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

Apakah setiap bahasa yang dapat dikenali Turing memiliki subset lengkap NP? Pertanyaannya dapat dilihat sebagai versi yang lebih kuat dari fakta bahwa setiap bahasa yang dikenali Turing yang tak terbatas memiliki himpunan bagian yang tak terbatas.

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

Pertanyaan ini muncul dalam konteks kriptografi, tetapi di bawah ini saya akan menyajikannya dalam hal teori kompleksitas, karena orang-orang di sini lebih mengenal yang terakhir. Pertanyaan ini terkait dengan Masalah dalam NP tetapi tidak dalam Average-P / poly dan Beating Nonuniformity oleh Oracle Access . Pernyataan tidak resmi: Kapan musuh …

9 cc.complexity-theory  cr.crypto-security  np  advice-and-nonuniformity  average-case-complexity 

Bisakah perpotongan dua bahasa dalam NP yang tidak lengkap menjadi NP lengkap? Bisakah perpotongan dua bahasa dalam coNP yang bukan coNP selesai menjadi coNP lengkap? Dapatkah perpotongan dua bahasa satu dalam coNP tetapi tidak lengkap dan lainnya dalam NP tetapi tidak lengkap NP menjadi NP lengkap atau coNP lengkap?

8 complexity-classes  np