Pertanyaan yang diberi tag «cc.complexity-theory»

Background––––––––––––––Background_\underline{\bf Background} Pada tahun 2005, Regev [1] memperkenalkan masalah Learning with Errors (LWE), generalisasi dari Learning Parity with Error error. Asumsi kekerasan masalah ini untuk pilihan parameter tertentu sekarang mendasari bukti keamanan untuk sejumlah kriptografi pasca-kuantum di bidang kriptografi berbasis kisi. Versi "kanonik" LWE dijelaskan di bawah ini. Persiapan: Misalkan …

9 cc.complexity-theory  ds.algorithms  cr.crypto-security  machine-learning  open-problem 

Ada beberapa masalah NP-Lengkap ( , S U B S E T S U M , dll.) Diketahui berada di D S P A C E ( n ) . Bagaimana dengan ruang sub-linear?SATSAT \mathsf{SAT} SUBSETSUMSUBSETSUM \mathsf{SUBSETSUM} DSPACE(n)DSPACE(n) \mathsf{DSPACE(n)} Apakah ada masalah NP-Complete (atau NP-Intermediate) yang diketahui dalam ruang nlineterministic …

9 cc.complexity-theory  np-hardness  nondeterminism  np-intermediate 

Dalam pertanyaan sebelumnya. Algoritma Parametrized untuk Menemukan Bicliques , saya bertanya apakah ada algoritma parametrized cepat untuk menemukan biclique dalam grafik n vertex dan mengetahui bahwa itu terbuka jika FPT wrt k . Adalah benar sama untuk menghitung para k × k -bicliques, atau itu diketahui bahwa ini adalah # …

9 cc.complexity-theory  graph-theory  counting-complexity  parameterized-complexity 

DLOGTIME didefinisikan di http://en.wikipedia.org/wiki/DLOGTIME didefinisikan di http://en.wikipedia.org/wiki/L_%28complexity%29 NC dan NC n didefinisikan di http: // en .wikipedia.org / wiki / NC_% 28kompleksitas% 29LL\operatorname{L} NCNC\operatorname{NC}NCnNCn\operatorname{NC}^n DLOGTIME tampaknya menjadi yang terkecil yang mungkin berfungsi. Saya sudah baca di berbagai tempat ituL⊆NC2L⊆NC2\, \operatorname{L} \subseteq \operatorname{NC}^2 \,, \,meskipun setiap tempat saya telah menemukan bahwa …

9 cc.complexity-theory  circuit-complexity 

Dalam masalah Max-Cut , seseorang mencari subset S dari simpul dari grafik sederhana yang tidak diarahkan sedemikian rupa sehingga jumlah tepi antara S dan komplemen S adalah sebesar mungkin. Max-Cut adalah APX-lengkap pada grafik derajat-terikat [PY91], dan pada kenyataannya APX-lengkap pada grafik kubik (yaitu grafik derajat 3) [AK00]. Max-Cut adalah …

9 cc.complexity-theory  approximation-algorithms  approximation-hardness  max-cut 

Asumsikan kerangka kerja dalam kompleksitas komunikasi di mana kita memiliki dua pemain A (kutu) dan B (ob) dan R (eferee). A dan B tidak berkomunikasi secara langsung satu sama lain. Dalam setiap putaran komunikasi, masing-masing dari mereka mengirim pesan ( , ) ke R. R menghitung dua fungsi dan dan …

9 cc.complexity-theory  reference-request  communication-complexity 

Di mana-mana yang saya baca tentang masalah pemotongan paling jarang, hanya dikatakan bahwa masalahnya dikenal sebagai NP -hard. Di mana saya dapat menemukan bukti ini? Mana masalah NP-keras yang diketahui mengurangi ke masalah pemotongan paling jarang? Saya tidak dapat menemukan bukti dalam buku Vazirani - Algoritma Aproksimasi, yang menyajikan algoritma …

9 cc.complexity-theory  reference-request  np-hardness 

Saya mencoba menunjukkan bahwa masalah tertentu tidak dapat diperkirakan dengan pengurangan dari set penutup. Reduksi saya mengubah sebuah instance dengan ground set ukuran dan menjadi instance dari masalah saya di mana parameter tertentu berukuran . Saya kemudian dapat menunjukkan bahwa contoh set penutup di mana ukuran penutup s sesuai dengan …

9 cc.complexity-theory  approximation-hardness  set-cover 

Kompleksitas string Kolmogorov tidak dapat dihitung. Namun, dalam bagian acak ukuran dari string biner dengan panjang , berapa banyak yang diharapkan memiliki kompleksitas kurang dari beberapa bilangan bulat kurang dari (sebagai fungsi dari , dan )?M.MMnnnn0n0n_{0}nnnM.MMnnnn0n0n_{0}

9 cc.complexity-theory  kolmogorov-complexity 

Saya ingin memiliki ikatan pada kardinalitas dari set grafik disk unit dengan simpulDiketahui bahwa memeriksa apakah suatu grafik adalah anggota dari set ini adalah NP-hard. Apakah ini mengarah pada batas yang lebih rendah pada kardinalitas, dengan asumsi P NP?≠NNN≠≠\neq Misalnya, anggap ada pengurutan pada semua grafik dengan simpulAkankah NP-hardness menyiratkan …

9 cc.complexity-theory  graph-theory 

AAA3×33×33 \times 34×44×44 \times 4aijaija_{ij}BBBB per ( A ) = det ( B )per(A)=det(B)per⁡(A)=det(B)\operatorname{per}(A) = \det(B)BBBper(A)=det(B)per⁡(A)=det(B)\operatorname{per}(A) = \det(B) Beberapa batasan dapat berupa kasus-kasus berikut: Kasus (1)(1)(1) Hanya linear functionals diperbolehkan sebagai entri BBB . Kasus (2)(2)(2) Fungsional non-linier diizinkan asalkan setiap istilah memiliki tingkat paling tinggi O(log(n))O(log(n))O(log(n)) (derajat adalah jumlah …

9 cc.complexity-theory  algebraic-complexity  permanent 

Bahkan jika itu bukan poin penting, saya tidak melihat literatur tentang pertanyaan ini. Apakah ada hasil relativisasi? Tidakkah cukup mudah untuk membuktikan inklusi yang ketat dengan mengadaptasi teorema hierarki waktu non-deterministik dengan mengeksplorasi semua jalur yang mungkin dari mesin NP?

9 cc.complexity-theory  complexity-classes 

Tampaknya dalam bahasa kueri populer untuk basis data relasional, dimungkinkan untuk membuat kueri yang akan membutuhkan banyak sumber daya untuk menjawab. Dalam praktiknya, admin basis data mengelola ini dengan membatasi jumlah memori per kueri , dan memeriksa kueri yang telah berjalan lama jika ada perlambatan dalam database. Ini sepertinya agak …

9 cc.complexity-theory  pl.programming-languages  db.databases  finite-model-theory 

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 

Saya telah difasilitasi oleh ledakan luar biasa dalam Analisis Lancar dan dikejutkan oleh pernyataan di makalah Analisis Lancar dari Pemrograman Integer . Ini menyatakan bahwa Integer Linear Programming dalam Smoothed P jika Polynomially Bounded. Ini penting benar berdasarkan kebajikan bahwa Pemrograman Integer adalah Pseudo-polinomial! Karena itu pertanyaannya adalah: Apakah ini …

9 cc.complexity-theory  smoothed-analysis