Pytania otagowane jako np-hard

problemy decyzyjne, które są co najmniej tak trudne, jak problemy NP-zupełne

6
Dlaczego nie istniał algorytm szyfrowania oparty na znanych problemach NP-Hard?
Większość współczesnego szyfrowania, takiego jak RSA, opiera się na faktoryzacji liczb całkowitych, co nie jest uważane za problem trudny dla NP, ale należy do BQP, co czyni go podatnym na komputery kwantowe. Zastanawiam się, dlaczego nie istniał algorytm szyfrowania oparty na znanym problemie NP-trudnym. Brzmi (przynajmniej teoretycznie) tak, jakby był …
3
Problemy decyzyjne a „rzeczywiste” problemy, które nie są „tak lub nie”
Czytałem w wielu miejscach, że niektóre problemy są trudne do przybliżenia ( NP jest trudne do przybliżenia ). Ale przybliżenie nie jest problemem decyzyjnym: odpowiedź jest liczbą rzeczywistą, a nie Tak lub Nie. Również dla każdego pożądanego współczynnika przybliżenia istnieje wiele odpowiedzi, które są poprawne, a wiele błędnych, a to …
2
NP-Trudne problemy, których nie ma w NP, ale są rozstrzygalne
Zastanawiam się, czy istnieje dobry przykład łatwego do zrozumienia problemu NP-Hard, który nie jest NP-Complete i nie jest nierozstrzygalny? Na przykład problem zatrzymania jest NP-trudny, a nie NP-kompletny, ale jest nierozstrzygalny. Uważam, że oznacza to, że problem można zweryfikować, ale nie w czasie wielomianowym. (Proszę poprawić to oświadczenie, jeśli tak …
2
Dlaczego typ pustki C nie jest analogiczny do typu pusta / dolna?
Wikipedia, jak również inne źródła, które znalazłem, wskazują voidtyp C jako typ jednostki, a nie typ pusty. Uważam to za mylące, ponieważ wydaje mi się, że voidlepiej pasuje do definicji typu pustego / dolnego. voidO ile wiem, nie zamieszkują żadnych wartości . Funkcja z typem zwracanym void określa, że ​​funkcja …
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 
2
Sprzedawanie bloków czasu
Biorąc pod uwagę nnn przedziałów czasowych, które kkk ludzie chcą kupić. Osoba iii ma wartość h ( i , j ) ≥ 0h(i,j)≥0h(i,j)\geq 0 dla każdej szczeliny czasowej jjj . Każda osoba może kupić tylko jeden kolejny blok czasu, który może być pusty. Czy istnieje algorytm wielomianowy do obliczania maksymalnej …
2
Czy Dominosa NP-Hard?
To pytanie zostało przeniesione z Mathematics Stack Exchange, ponieważ można na nie odpowiedzieć na Computer Science Stack Exchange. Migrował 6 lat temu . Dominosa to stosunkowo nowa gra logiczna. Jest odtwarzany na siatce . Przed rozpoczęciem gry kości domina są umieszczane na siatce (tworząc idealne kafelki ). W następnym kroku …
1
Naturalni kandydaci do hierarchii wewnątrz NPI
Załóżmy, że . to klasa problemów w które nie są ani w ani w -hard. Listę problemów, które mogą być tutaj .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} Twierdzenie Ladnera mówi nam, że jeśli wówczas istnieje nieskończona hierarchia problemów , tzn. Istnieją problemy , które są trudniejsze niż inne problemy.N P I N P …
2
Podzbiór Suma: zredukuj przypadek specjalny do ogólnego
Wikipedia stwierdza problem sumy podzbiorów jako znalezienie podzbioru danego zbioru wielu liczb całkowitych, którego suma wynosi zero. Dalej stwierdza, że ​​jest to równoważne ze znalezieniem podzbioru z sumą sss dla dowolnego danego sss . Sądzę więc, że ponieważ są one równoważne, musi nastąpić zmniejszenie po obu stronach. Jeden od sss …
1
Łatwa redukcja z 3SAT do problemu ścieżki Hamiltonian
W książce Sipsera „Wprowadzenie do teorii obliczeń” na stronie 286 zmniejszono z 3SAT do problemu ścieżki Hamiltona. Czy istnieje prostsza redukcja? Mówiąc prościej, mam na myśli redukcję, która byłaby łatwiejsza do zrozumienia (dla studentów). Czy istnieje redukcja wykorzystująca liniową liczbę zmiennych? Redukcja w Sipserze wykorzystuje zmienne , gdzie jest liczbą …
1
Czy łamigłówki „Flow free” są trudne NP?
Układanka „Flow Flow” składa się z dodatniej liczby całkowitej i zestawu (nieuporządkowanych) par odrębnych wierzchołków na wykresie siatki tak że każdy wierzchołek zawiera co najwyżej jedną parę. Rozwiązaniem takiej układanki jest zestaw niekierowanych ścieżek na wykresie, dzięki czemu każdy wierzchołek znajduje się dokładnie na jednej ścieżce, a zestaw końców każdej …
2
Czy Hidoku NP jest kompletny?
Hidoku to siatka n×nn×nn \times n z niektórymi wstępnie wypełnionymi liczbami całkowitymi od 1 do n2n2n^2 . Celem jest znalezienie ścieżki kolejnych liczb całkowitych (od 1 do n2n2n^2 ) w siatce. Bardziej konkretnie, każda komórka siatki musi zawierać inną liczbę całkowitą od 1 do n2n2n^2 a każda komórka o wartości …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.