Pertanyaan yang diberi tag «cc.complexity-theory»

Baru-baru ini, Ryan Willams membuktikan bahwa Konstruktivitas dalam Bukti Alami tidak dapat dihindari untuk memperoleh pemisahan kelas kompleksitas: dan T C 0 . NEXPNEXP\mathsf{NEXP}TC0TC0\mathsf{TC}^{0} Constructivity di Bukti Alam adalah suatu kondisi bahwa semua bukti kombinatorial di memenuhi kompleksitas rangkaian dan bahwa kita dapat memutuskan apakah fungsi target di (atau yang …

25 cc.complexity-theory  complexity-classes  circuit-complexity  gct  barriers 

Jawaban ini untuk masalah utama yang belum terpecahkan dalam ilmu komputer teoritis? pertanyaan menyatakan bahwa itu terbuka jika masalah tertentu dalam NP membutuhkan waktu .Ω(n2)Ω(n2)\Omega(n^2) Melihat komentar di bawah jawaban membuat saya bertanya-tanya: Selain dari padding dan trik serupa, apa kompleksitas waktu paling dikenal yang terikat lebih rendah pada mesin …

25 cc.complexity-theory  np  p-vs-np 

Mengingat sebuah grafik diarahkan dan tertimbang dan integer bahkan , apa yang kompleksitas komputasi penghitungan set simpul sehingga dan subgraf dari terbatas himpunan titik mengakui pasangan yang cocok? Apakah kompleksitas # P-selesai? Apakah ada referensi untuk masalah ini?k S ⊆ V | S | = K G SG=(V,E)G=(V,E)G=(V,E)kkkS⊆VS⊆VS\subseteq V|S|=k|S|=k|S|=kGGGSSS Perhatikan …

25 cc.complexity-theory  co.combinatorics  counting-complexity 

Pertanyaan ini muncul karena rasa ingin tahu yang murni (pertanyaan itu muncul sambil berpikir tentang melepaskan tali , tetapi saya tidak yakin apakah itu benar-benar terkait) jadi saya harap itu sesuai. Ada berbagai produk grafik, dan saya tertarik pada salah satu dari mereka di sini. Apa kompleksitas menentukan apakah grafik …

25 cc.complexity-theory  graph-algorithms 

Saya telah membaca di beberapa makalah bahwa keberadaan fungsi satu arah diyakini secara luas. Adakah yang bisa menjelaskan mengapa ini terjadi? Argumen apa yang kita miliki untuk mendukung keberadaan fungsi satu arah?

25 cc.complexity-theory  cr.crypto-security  big-picture  one-way-function 

Pertanyaan: Berapa ukuran rumus batas bawah paling dikenal untuk fungsi eksplisit di AC 0 ? Apakah ada fungsi eksplisit dengan batas bawah ?Ω(n2)Ω(n2)\Omega(n^2) Latar Belakang: Seperti kebanyakan batas bawah, ukuran rumus batas bawah sulit didapat. Saya tertarik pada rumus ukuran batas bawah atas gerbang universal standar yang ditetapkan {DAN, ATAU, …

25 cc.complexity-theory  lower-bounds  circuit-complexity  formulas 

Misalkan kita memiliki kelas objek (katakanlah grafik, string), dan relasi ekivalensi pada objek-objek ini. Untuk grafik ini bisa berupa grafik isomorfisme. Untuk string, kita bisa mendeklarasikan dua string yang setara jika mereka adalah anagram satu sama lain. Saya tertarik menghitung perwakilan untuk kelas kesetaraan. Yaitu, saya menginginkan fungsi f () …

25 cc.complexity-theory 

Permintaan maaf karena mengajukan pertanyaan yang pastinya ada dalam banyak referensi standar. Saya ingin tahu tentang pertanyaan dalam judul, khususnya saya memikirkan sirkuit Boolean, tidak ada kedalaman yang terikat. Saya menempatkan "terkecil" dalam tanda kutip untuk memungkinkan kemungkinan ada beberapa kelas yang berbeda, tidak diketahui termasuk satu sama lain, yang …

25 cc.complexity-theory  circuit-complexity 

Mengingat hasil terbaru dari Arora, Barak, dan Steurer, Algoritma Subeksponensial untuk Game Unik dan Masalah Terkait , saya tertarik pada masalah grafik yang memiliki algoritma waktu subeksponensial tetapi diyakini tidak dapat dipecahkan secara polinomial. Contoh terkenal adalah grafik isomorfisme yang memiliki algoritma subeksponensial run-time. Contoh lain adalah masalah log-Clique yang …

25 cc.complexity-theory  reference-request 

Apakah algoritme waktu polinomial deterministik yang dikenal untuk masalah berikut: Input: angka alami nnn (dalam pengkodean biner) Output: bilangan prima p>np>np > n . (Menurut daftar masalah terbuka oleh Leonard Adleman, masalahnya terbuka pada 1995.)

25 cc.complexity-theory  open-problem  nt.number-theory  polynomial-time  primes 

Apakah ada referensi yang membahas hal ini?

25 cc.complexity-theory  reference-request  np-hardness  factoring 

Telah diketahui dengan baik bahwa bukti apa pun yang menyelesaikan pertanyaan P vs NP harus mengatasi relativization , bukti alami dan hambatan algebrization . Diagram berikut ini membagi "ruang bukti" menjadi beberapa wilayah. Sebagai contoh, sesuai dengan set bukti yang merelatifkan dan menaturalisasi. (Geometric Complexity Theory) tentu saja merupakan wilayah …

25 cc.complexity-theory  proofs  barriers  p-vs-np 

Hai teman-teman, saya mengerti bahwa trik padding memungkinkan kita menerjemahkan kelas kompleksitas ke atas - misalnya . Padding berfungsi dengan "menggembungkan" input, menjalankan konversi (katakanlah dari katakanlah ke ), yang menghasilkan algoritma "ajaib" yang dapat Anda jalankan pada input yang empuk. Meskipun ini masuk akal secara teknis, saya tidak bisa …

25 cc.complexity-theory  complexity-classes  padding 

Pertimbangkan masalah berikut: diberikan formula CNF dan tugas yang memenuhi formula ini, adakah tugas lain yang memuaskan untuk formula ini? Apa kompleksitas masalah ini? (Ini pasti di NP, tetapi juga NP-keras?) Bagaimana jika Anda tidak diberi tugas dan Anda hanya ingin memutuskan apakah formula memiliki tugas memuaskan yang unik? Terima …

25 cc.complexity-theory  np-hardness  sat  unique-solution 

RP adalah kelas masalah yang dapat diputuskan oleh mesin Turing nondeterministik yang berakhir dalam waktu polinomial, tetapi itu juga memungkinkan kesalahan satu sisi. P adalah kelas masalah yang biasa diputuskan oleh mesin Turing deterministik yang berakhir dalam waktu polinomial. P = RP mengikuti dari hubungan dalam kompleksitas sirkuit. Impagliazzo dan …

25 cc.complexity-theory  derandomization  conditional-results  randomized-algorithms