Informatica teorica random-k-sat

2

Limiti attuali più stretti per la densità critica di 3 SAT

Sono interessato alla densità critica di 3 soddisfacibilità (3-SAT) . Si ipotizza che esista tale α : se il numero di clausole 3-SAT generate casualmente è ( α + ϵ ) n o più, sono quasi sicuramente insoddisfacenti. (Qui ϵ è una qualsiasi piccola costante e n è il numero …

26 pr.probability random-k-sat

3

C'è stata qualche ricerca su

Una caratteristica ben nota delle istanze -SAT è il rapporto tra il numero di clausole m e il numero di variabili n , ovvero il quoziente ρ = m / n . Per ogni k , esiste un valore di soglia α st \ per ρ ≪ α , la …

25 cc.complexity-theory sat random-k-sat phase-transition

1

Qual è la complessità del conteggio del 2-SAT casuale?

È stato fatto qualche lavoro su come varia la complessità delle istanze casuali di # 2-SAT con la densità della clausola? Cioè: in che modo varia la difficoltà di contare soluzioni soddisfacenti a un'istanza di 2-SAT generata casualmente , al variare della densità della clausola? In particolare, sono noti risultati …

18 cc.complexity-theory counting-complexity random-k-sat

1

Tautologie / contraddizioni nel caso medio, oltre il modello casuale k-CNF

È noto che le formule casuali -CNF su n variabili con clausole c n sono insoddisfacenti (cioè sono contraddizioni) con alta probabilità, per una costante sufficientemente grande c . Pertanto, le formule casuali k -CNF (per c abbastanza grande) costituiscono una distribuzione naturale su insoddisfacenti formule booleane (o due volte, …

16 cc.complexity-theory reference-request lo.logic sat random-k-sat

1

Casuale 3-SAT: Qual è l'intervallo sperimentale di consenso della soglia?

Il rapporto critico tra clausole e variabili per 3-SAT casuali è superiore a 3 e inferiore a 6 e sembra essere comunemente descritto come "intorno a 4,2" o "intorno a 4,25". Mezard, Parisi e Zecchina dimostrano (in senso fisico) che il rapporto critico è 4.256, mentre il primo e il …

14 sat phase-transition random-k-sat

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

Domande taggate «random-k-sat»