Informatica teorica hard-instances

3

Greibach notoriamente definita una lingua , la cosiddetta versione non deterministico di , tale che ogni CFL è l'immagine inversa morfica di . Esiste una dichiarazione simile con DCFL, possibilmente con qualche restrizione sui morfismi consentiti?HHHD2D2D_2HHH (Vedi, ad esempio, M. Autebert, J. Berstel e L. Boasson. Lingue senza contesto e …

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

2

Qual è la correlazione tra larghezza dell'albero e durezza dell'istanza per 3-SAT casuali?

Questo recente articolo di FOCS2013, Strong Backdoor to Bounded Treewidth SAT di Gaspers e Szeider parla del legame tra la larghezza dell'albero del grafico della clausola SAT e la durezza dell'istanza. Per le 3-SAT casuali, ovvero le istanze di 3-SAT scelte a caso, qual è la correlazione tra la larghezza …

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

1

Esempi di istanze difficili per l'algoritmo Goemans e Williamson

Sono interessato agli esempi espliciti di grafici per i quali l'applicazione dell'algoritmo di Goemans e Williamson per approssimare i tagli massimi produce un fattore di approssimazione di 0,878…. L'algoritmo per creare tali istanze sarebbe perfetto, esempi e riferimenti espliciti sono soddisfacenti.

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

3

È possibile incorporare una soluzione per SAT?

Sono interessato a singoli casi "difficili" di problemi NP-completi. Ryan Williams ha discusso del problema SAT0 sul blog di Richard Lipton . SAT0 chiede se un'istanza SAT ha la soluzione specifica composta da tutti gli 0. Questo mi ha fatto pensare di costruire istanze SAT che probabilmente saranno "difficili". Considera …

10 cc.complexity-theory sat hard-instances

Domande taggate «hard-instances»