Pertanyaan yang diberi tag «complexity-theory»

Setelah kami memperbaiki verifikasi deterministik waktu polinomial V (input, sertifikat), masalah NP yang sesuai adalah pertanyaan: Untuk input ini, apakah ada (ukuran polinomial) sertifikat yang ada sehingga V (input, sertifikat) mengembalikan Benar? Masalah penghitungan yang terkait (kelas #P) adalah: Berapa banyak sertifikat yang ada sehingga V (input, sertifikat) mengembalikan Benar? …

8 complexity-theory 

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 

Kami baru saja selesai kami "Waktu Konstruksi gedung" pelajaran di kelas minggu lalu, dan kami, demi contoh ini, menunjukkan bahwa sepenuhnya waktu constructible, yaitu terdapat (multi-tape deterministik) mesin Turing bahwa untuk diberikan, berhenti setelah tepat langkah, dan hanya bertanya apakah kita sekarang bisa membuktikan bahwasepenuhnya dapat dibangun (dan dipindahkan).nk,2nnk,2nn^k, 2^nnnnf(n)f(n)f(n)n!n!n! …

8 complexity-theory  turing-machines  time-complexity 

Saya akan terkejut jika ini bukan masalah yang dipelajari dengan baik, tapi saya tidak yakin apa lagi yang harus dicari pada saat ini: Anda diberi satu set biner nnn-Vektor S⊂ { 0 , 1}nS⊂{0,1}nS \subset \{0,1\}^n. Masalahnya adalah untuk menemukan satu set binernnn-Vektor B ⊂ { 0 , 1}nB⊂{0,1}nB \subset …

8 complexity-theory  arithmetic  matrices  linear-algebra 

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 

Jadi kami baru belajar tentang reducibilitas diri di kelas. Profesor saya dan buku teks kami tidak akan berkomitmen untuk mengatakan bahwa semua masalah dalam NP dapat direduksi sendiri, tetapi sepertinya tidak ada contoh masalah yang tidak. Saya bertanya-tanya apakah ada contoh, atau hanya situasi di mana Anda tidak dapat membuktikan …

8 complexity-theory  reductions  decision-problem  np 

Pertanyaan: Bisakah ada hash (aman secara kriptografis) yang menjaga topologi informasi { 0 , 1}∗{0,1}∗\{0,1\}^{*}? Bisakah kita menambahkan predikat kedekatan yang dapat dihitung secara efisien yang diberikan hk( x )hk(x)h_k(x) dan hk( y)hk(y)h_k(y) (atau yyy sendiri) memberi tahu kita jika yyyadalah sangat dekat denganxxx (misalnya jarak Levenshtein atau jarak Hamming …

8 complexity-theory  cryptography  hash  string-metrics  topology 

Saya diberikan n objek, dan satu set n permutasi dari n objek ini (dari n! Total permutasi). Ada permutasi mendasar yang sebenarnya, yang saya tahu adalah salah satu di antara set permutasi, tetapi saya tidak tahu yang mana. Namun oracle tahu permutasi yang sebenarnya. Untuk menemukan permutasi yang sebenarnya, saya …

8 complexity-theory  lower-bounds  search-problem  permutations 

A TA turun hari ini untuk menanyakan beberapa hal tentang NP dan co-NP. Kami tiba di titik di mana saya bingung: seperti apa diagram Venn tentang P, NPI, NP, dan co-NP dengan asumsi mengasumsikan P ≠ NP (kasus lain membosankan)? Tampaknya ada empat opsi dasar. NP ∩ co-NP = P …

8 complexity-theory  reference-request  complexity-classes  np 

Saya mencoba untuk menghubungkan Combinational Logic Circuits (komputer berdasarkan hanya pada gerbang logis) dengan semua yang saya pelajari baru-baru ini dalam Theory of Computation. Saya bertanya-tanya apakah sirkuit logika kombinasional dapat mengimplementasikan komputasi dengan cara yang sama seperti mesin negara terbatas. Mereka tampak sangat berbeda: Finite State Machines, bagaimanapun, memiliki …

8 complexity-theory  turing-machines  computation-models  circuits 

Misalkan adalah masalah keputusan yang dapat ditentukan.ΠΠ\Pi Apakah menyiratkan adalah -Hard?Π ∉ NPΠ∉NP\Pi\not \in NPΠΠ\PiNPNPNP Sunting: jika kita asumsikan ada maka kita selesai. Bisakah kita menyangkal klaim tanpa asumsi yang tidak diketahui?Π∈coNP∖NPΠ∈coNP∖NP\Pi\in coNP\setminus NP

8 complexity-theory  np-hard  complexity-classes  np 

Nick's Class (NC) adalah kelas masalah yang dapat diputuskan dalam waktu poly-log menggunakan sejumlah prosesor polinomial. Saya ingin tahu tentang analog eksponensial, yang akan mencakup masalah yang dapat diputuskan dalam waktu polinomial menggunakan jumlah prosesor yang eksponensial. Apa yang saya cari adalah nama untuk kelas ini dan hubungan yang diketahui …

8 complexity-theory  reference-request  parallel-computing  complexity-classes 

Saya telah mencoba mencari online, tetapi saya tidak dapat menemukan pernyataan yang pasti. Masuk akal bagi saya bahwa Persatuan dan Persimpangan dua bahasa NPC akan menghasilkan bahasa yang tidak harus dalam NPC. Apakah benar juga bahwa bahasa NPC tidak ditutup di bawah operasi pelengkap, gabungan, dan bintang kleene?

8 complexity-theory  np-complete  closure-properties 

Apakah ada kelas masalah NP yang memiliki satu solusi unik? Saya bertanya itu, karena ketika saya belajar kriptografi saya membaca tentang ransel dan saya menemukan ide yang sangat menarik.

8 complexity-theory  decision-problem  np  cryptography 

Baru-baru ini saya telah berurusan dengan masalah yang mengarahkan saya ke pertanyaan-pertanyaan berikut: Apakah ada algoritma yang baik untuk menghitung semua pencocokan maksimum / sempurna dalam grafik umum? Apakah ada algoritma yang baik untuk menemukan semua pencocokan maksimum / sempurna dalam grafik umum? Apakah kedua masalah ini setara dalam kompleksitasnya? …

8 algorithms  complexity-theory  graph-theory  reference-request  matching