Pertanyaan yang diberi tag «cc.complexity-theory»

Pembukaan. Kelas kompleksitas AM adalah masalah-masalah yang dapat diselesaikan dengan sistem bukti interaktif dua putaran antara prover "Merlin" dan verifier "Arthur". Masalah - yang menguji beberapa properti dari objek X - adalah pada AM jika: Untuk contoh YA , untuk pesan "tantangan" acak (panjang polinomial) yang dihasilkan Arthur, dengan probabilitas …

15 cc.complexity-theory  interactive-proofs  unique-solution 

Pertimbangkan masalah berikut: Input : hyperplane H = { y ∈ R n : a T y = b }H={y∈Rn:aTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\} , diberikan oleh vektor dan dalam representasi biner standar .a ∈ Z na∈Zn\mathbf{a} \in \mathbb{Z}^n b ∈ Zb∈Zb \in \mathbb{Z} Output :x …

15 cc.complexity-theory  optimization  linear-algebra  integer-lattice 

Apa beberapa masalah non-sepele di mana kita tahu algoritma saat ini yang kita miliki adalah yang optimal asimptotik? (Untuk mesin turing) Dan bagaimana ini terbukti?

15 cc.complexity-theory  ds.algorithms  complexity-classes 

Pertanyaan ini terkait erat dengan posting lain: Fase Transisi dalam Masalah Keras NP tetapi agak berbeda. Sementara pertanyaan itu adalah tentang kekerasan dari kasus-kasus khusus masalah sulit NP, ini adalah tentang peringkat kesulitan dari kasus yang sama. Ada banyak bibliografi tentang efek yang dikenal sebagai Transisi Fase . Khususnya untuk …

15 cc.complexity-theory  np-hardness  sat 

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 …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

Sebuah set memukul dari keluarga adalah bagian dari sehingga untuk . Masalah untuk menemukan set minimum memukul keluarga yang diberikan adalah NP-hard secara umum, karena itu menggeneralisasi masalah vertex cover. Sekarang pertanyaan saya adalah:H ⋃ n i = 1 S i H ∩ S i ≠ ∅ 1 ≤ i …

15 cc.complexity-theory  np-hardness  approximation-hardness 

Seperti semua orang tahu, buku terkenal Garey dan Johnson (dan banyak lainnya) memberikan referensi yang sangat baik untuk teknik reduksi dalam pengaturan klasik. Apakah ada survei atau buku tentang topik teknik reduksi dalam algoritma parameter, katakanlah pengurangan fpt?

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

Saya baru-baru ini menemukan batas bawah kuadrat pada kompleksitas masalah dalam model pohon keputusan, dan saya bertanya-tanya apakah hasil ini dapat digeneralisasi sebagian ke model mesin akses acak. Secara parsial , maksud saya generalisasi untuk program RAM dengan tradeoff waktu / ruang tertentu. Sebagai contoh, saya ingin menunjukkan bahwa masalah …

15 cc.complexity-theory  lower-bounds 

Saat membaca makalah " Sebuah teori aplikatif untuk FPH " Anda dapat menemukan bagian berikut: Mempertimbangkan teori yang mengkarakterisasi kelas kompleksitas komputasi, ada tiga pendekatan berbeda: dalam satu, fungsi yang dapat didefinisikan dalam teori adalah "otomatis" dalam kelas kompleksitas tertentu. Dalam akun seperti itu, sintaksis harus dibatasi untuk menjamin bahwa …

15 cc.complexity-theory  reference-request  complexity-classes  lo.logic  proof-complexity 

Pertanyaan saya adalah pertanyaan umum: Bagaimana saya mulai berpikir dalam hal Algoritma Desain dan Kompleksitas? Saya akan mengambil Program Pascasarjana dalam Desain Algoritma. Saya telah mendaftar sebelumnya tetapi kemudian membatalkannya karena saya tidak bisa mengikutinya. Saya harus mengikuti kursus ini sebagai persyaratan. Apakah ada 'trik' untuk berpikir dengan cara ini? …

15 cc.complexity-theory  ds.algorithms  soft-question  advice-request  research-practice 

Saya tertarik pada pembuatan angka pseudo-acak untuk kriptografi. Selain Bab 5 dari Menezes / Oorschot / Vanstone ; Bab 8 dari Stinson ; dan Bab 3 dari Goldreich , di mana lagi saya bisa menemukan lebih banyak? Saya tertarik pada prinsip umum untuk mendesain PRNG (properti yang diinginkan, tes, dll).

15 cc.complexity-theory  reference-request  pseudorandomness 

Biarkan dan y dua angka biner dengan n bit dan z = x ⋅ y angka biner (panjang 2 n ) dari produk x dan y . Kami ingin menghitung bit paling signifikan z 2 n - 1 dari produk z = z 2 n - 1 ... z 0 …

15 cc.complexity-theory  binary-decision-diagrams 

Pertanyaan ini dapat ditanyakan dalam kerangka kompleksitas sirkuit dari sirkuit Boolean, atau dalam kerangka teori kompleksitas aljabar, atau mungkin dalam banyak pengaturan lainnya. Mudah untuk menunjukkan, dengan menghitung argumen, bahwa ada fungsi Boolean pada input N yang membutuhkan banyak gerbang secara eksponensial (meskipun tentu saja kami tidak memiliki contoh eksplisit). …

15 cc.complexity-theory  circuit-complexity  algebraic-complexity 

Pewarnaan 3-sisi dari grafik kubik adalah -complete. Teorema Empat Warna setara dengan "Setiap grafik bridgeless planar kubik adalah 3-sisi yang dapat diwarnai".NPNPNP Apa kompleksitas pewarnaan 3-sisi grafik planar kubik? Juga, Hal ini menduga bahwa -edge pewarnaan adalah N P -Hard untuk grafik planar dengan tingkat maksimum Δ ∈ {4,5}.ΔΔ\DeltaNPNPNPΔ ∈Δ∈\Delta …

15 cc.complexity-theory  graph-theory  np-hardness  graph-colouring 

Dalam makalah Natural Proofs karya Razborov-Rudich , halaman 6, pada bagian yang mereka bahas bahwa ada "bukti lowerbound yang kuat terhadap model sirkuit monoton " dan bagaimana mereka masuk dalam gambar, ada kalimat-kalimat berikut: Di sini masalahnya bukan konstruktif - sifat-sifat yang digunakan dalam bukti-bukti ini semuanya layak - tetapi …

15 cc.complexity-theory  circuit-complexity  randomness  natural-proofs  boolean-functions