Informatica teorica phase-transition

12

Complessità parametrizzata da P a NP-hard e viceversa

Sto cercando esempi di problemi parametrizzati da un numero , in cui la durezza del problema non è monotona in . La maggior parte dei problemi (nella mia esperienza) ha una transizione a fase singola, ad esempio -SAT ha una transizione a fase singola da (dove il problema è in …

60 cc.complexity-theory np-hardness big-list phase-transition

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

4

Esempi di transizioni di fase di durezza

Supponiamo di avere un problema parametrizzato da un parametro con valore reale p che è "facile" da risolvere quando e "difficile" quando p = p 1 per alcuni valori p 0 , p 1 .p = p0p=p0p=p_0p = p1p=p1p=p_1p0p0p_0p1p1p_1 Un esempio è il conteggio delle configurazioni di spin sui grafici. …

20 cc.complexity-theory counting-complexity approximation-hardness phase-transition

3

Quanto è comune la transizione di fase nei problemi NP-completi?

È noto che molti problemi NP-completi presentano una transizione di fase. Sono interessato qui alla transizione di fase rispetto al contenimento nella lingua, piuttosto che alla durezza dell'input, rispetto ad un algoritmo. Per rendere il concetto inequivocabile, definiamolo formalmente come segue. Una lingua mostra una transizione di fase (rispetto al …

17 cc.complexity-theory phase-transition

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 definizione precisa di Random K-SAT?

Esistono 4 diversi vincoli che possiamo avere durante la definizione di K-SAT casuale. 1) Il numero totale di letterali in una determinata clausola è esattamente K o AT la maggior parte di K 2) Un dato letterale può essere utilizzato con o senza sostituzione nella stessa clausola (A o A …

12 cc.complexity-theory sat randomness phase-transition

1

Cosa sappiamo della transizione di fase dei problemi di # P-Complete?

Cosa si sa della transizione di fase nei problemi di # P-Complete? In particolare, esiste una transizione di fase diversa per # DNF-k-SAT e # CNF-k-SAT? Aggiornamento: Come sappiamo, c'è una transizione di fase in K-SAT casuale in cui la risoluzione del problema passa da facile a difficile e di …

11 cc.complexity-theory counting-complexity phase-transition

1

Quali sono gli attuali limiti superiore e inferiore più noti sulla soglia (non) di soddisfacibilità per k-sat e / o 3-sat casuali?

Vorrei sapere lo stato corrente della transizione di fase per k-sat casuale, date n variabili e clausole m, qual è il c = m / n più noto per i limiti superiore e inferiore.

10 cc.complexity-theory sat lower-bounds upper-bounds phase-transition

Domande taggate «phase-transition»