Teoretyczne informatyka hard-instances

3

Greibach pokazowo zdefiniował język , tzw niedeterministycznych wersję z , tak że każdy CFL odwrotna morficznego obraz . Czy istnieje podobne stwierdzenie dotyczące DCFL, być może z dopuszczalnymi ograniczeniami morfizmów?HHHD2D2D_2HHH (Patrz np. M. Autebert, J. Berstel i L. Boasson. Języki bezkontaktowe i automaty wypychające. W red. R. Rozenberg i A. …

12 fl.formal-languages open-problem context-free nondeterminism hard-instances

2

Jaka jest korelacja między wysokością a twardością instancji dla losowego 3-SAT?

Ten ostatni artykuł z FOCS2013, Strong Backdoors to Bounded Treewidth SAT autorstwa Gaspersa i Szeidera mówi o związku między szerokością wykresu klauzuli SAT a twardością instancji. W przypadku losowych instancji 3-SAT, tj. Instancji losowo wybranych 3-SAT, jaka jest korelacja między szerokością wykresu klauzulowego a twardością instancji? „Twardość wystąpienia” może być …

11 graph-algorithms sat treewidth random-k-sat hard-instances

1

Przykłady trudnych instancji dla algorytmu Goemans i Williamson

Interesują mnie wyraźne przykłady wykresów, dla których zastosowanie algorytmu Goemansa i Williamsona do przybliżania maksymalnych cięć skutkuje współczynnikiem aproksymacji 0,878… Algorytm do tworzenia takich instancji byłby idealny, wyraźne przykłady i referencje są zadowalające.

10 ds.algorithms approximation-algorithms max-cut hard-instances

3

Czy osadzenie rozwiązania jest możliwe dla SAT?

Interesują mnie „twarde” pojedyncze przypadki problemów z NP. Ryan Williams omówił problem SAT0 na blogu Richarda Liptona . SAT0 pyta, czy instancja SAT ma konkretne rozwiązanie składające się ze wszystkich zer. To skłoniło mnie do myślenia o konstruowaniu instancji SAT, które prawdopodobnie będą „trudne”. Rozważmy wystąpienie SAT z klauzulami i …

10 cc.complexity-theory sat hard-instances

Pytania otagowane jako hard-instances