Pertanyaan yang diberi tag «np-hard»

Sebagian besar enkripsi saat ini, seperti RSA, bergantung pada faktorisasi bilangan bulat, yang tidak diyakini sebagai masalah NP-keras, tetapi milik BQP, yang membuatnya rentan terhadap komputer kuantum. Saya bertanya-tanya, mengapa belum ada algoritma enkripsi yang didasarkan pada masalah NP-hard yang dikenal. Kedengarannya (setidaknya dalam teori) seperti itu akan membuat algoritma …

109 complexity-theory  np-hard  encryption  cryptography 

Saya membaca di banyak tempat bahwa beberapa masalah sulit untuk diperkirakan ( sulit untuk memperkirakannya ). Tetapi pendekatan bukanlah masalah keputusan: jawabannya adalah bilangan real dan bukan Ya atau Tidak. Juga untuk setiap faktor perkiraan yang diinginkan, ada banyak jawaban yang benar dan banyak yang salah, dan ini berubah dengan …

36 complexity-theory  time-complexity  np-hard  approximation 

Ada nnn sampah dan mmm jenis bola. The iii bin th memiliki label ai,jai,ja_{i,j} untuk 1≤j≤m1≤j≤m1\leq j\leq m , itu adalah jumlah yang diharapkan dari bola tipe jjj . Anda mulai dengan bjbjb_j bola dari jenis jjj . Setiap bola jenis jjj memiliki berat wjwjw_j , dan ingin menempatkan bola …

33 complexity-theory  np-hard  integer-programming 

Saya bertanya-tanya apakah ada contoh yang baik untuk masalah NP-Hard yang mudah dipahami yang bukan NP-Lengkap dan tidak diputuskan? Misalnya, masalah penghentian adalah NP-Hard, bukan NP-Complete, tetapi tidak dapat dipastikan. Saya percaya bahwa ini berarti bahwa ini merupakan masalah yang dapat diverifikasi solusinya tetapi tidak dalam waktu polinomial. (Tolong, perbaiki …

31 complexity-theory  computability  np-hard 

Wikipedia serta sumber lain yang saya temukan daftar voidtipe C sebagai tipe unit sebagai lawan dari tipe kosong. Saya menemukan ini membingungkan karena menurut saya voidlebih cocok dengan definisi tipe kosong / bawah. Tidak ada nilai yang dihuni void, sejauh yang saya tahu. Suatu fungsi dengan tipe kembali dari kekosongan …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

Mengingat nnn slot waktu yang kkk orang ingin membeli. Orang iii memiliki nilai h ( i , j ) ≥ 0h(i,j)≥0h(i,j)\geq 0 untuk setiap slot waktu . Setiap orang hanya dapat membeli satu slot waktu berturut-turut, yang bisa kosong.jjj Apakah ada algoritma waktu polinomial untuk menghitung nilai maksimum yang dapat …

27 algorithms  optimization  np-hard  scheduling 

Pertanyaan ini dimigrasikan dari Mathematics Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 6 tahun yang lalu . Dominosa adalah permainan puzzle yang relatif baru. Ini dimainkan pada kotak . Sebelum permainan dimulai, tulang domino diletakkan di atas kisi (membentuk ubin sempurna ). Pada langkah berikutnya, tulang …

26 complexity-theory  np-hard  board-games  tiling 

Mari kita asumsikan bahwa . adalah kelas masalah di yang tidak ada di atau di -hard. Anda dapat menemukan daftar masalah yang diduga sebagai sini .N P I N P P N P N P IP ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP}N P INPI\mathsf{NPI}N PNP\mathsf{NP}PP\mathsf{P}N PNP\mathsf{NP}NPINPI\mathsf{NPI} Teorema Ladner memberi tahu kita …

22 complexity-theory  np-hard 

Inilah masalahnya. Diberikan , di mana setiap . Apakah ada subset dengan ukuran paling banyak sehingga untuk semua ? Saya mencoba mengurangi masalah ini menjadi SAT. Gagasan saya tentang solusi adalah memiliki variabel untuk masing-masing 1 hingga . Untuk setiap , buat klausa jika . Kemudian dan semua klausa ini …

21 complexity-theory  reductions  np-hard 

Wikipedia menyatakan masalah jumlah subset sebagai menemukan subset dari multiset integer yang diberikan, yang jumlahnya adalah nol. Lebih lanjut ia menyatakan bahwa itu sama dengan menemukan subset dengan jumlah untuk setiap diberikan .ssssss Jadi saya percaya karena keduanya setara, harus ada pengurangan di kedua sisi. Yang dari ke nol adalah …

20 complexity-theory  reductions  np-hard 

Bagaimana saya dapat membuktikan bahwa konversi dari CNF ke DNF adalah NP-Hard? Saya tidak meminta jawaban, hanya beberapa saran tentang bagaimana cara membuktikannya.

20 complexity-theory  np-hard  satisfiability  sat-solvers  normal-forms 

Apakah diperlukan bahwa masalah NP-hard harus dapat dihitung? Saya kira tidak, tapi saya tidak yakin.

19 complexity-theory  computability  np-hard 

Ada pengurangan dalam buku Sipser "Pengantar teori komputasi" di halaman 286 dari 3SAT ke masalah jalur Hamilton. Apakah ada pengurangan yang lebih sederhana? Secara sederhana yang saya maksud adalah pengurangan yang akan lebih mudah dipahami (untuk siswa). Apakah ada pengurangan yang menggunakan jumlah variabel linear? Pengurangan dalam Sipser menggunakan variabel …

19 complexity-theory  np-hard 

Teka-teki "Aliran Gratis" terdiri dari bilangan bulat positif dan satu set pasangan (tidak berurutan) dari simpul-simpul berbeda dalamgrafik kotaksedemikian rupa sehingga setiap simpul berada paling banyak dalam satu pasangan. Solusi untuk teka-teki tersebut adalah serangkaianjalurtidak berarahdalam grafik sedemikian rupa sehingga setiap simpul berada tepat di satu jalur dan setiap ujung …

15 np-hard  square-grid 

Sebuah Hidoku adalah grid dengan beberapa bilangan bulat pra-diisi dari 1 sampai n 2 . Tujuannya adalah untuk menemukan jalur bilangan bulat berturut-turut (dari 1 hingga n 2 ) di grid. Lebih konkret, setiap sel grid harus mengandung bilangan bulat yang berbeda dari 1 ke n 2 dan setiap sel …

15 complexity-theory  reductions  np-hard