Perguntas com a marcação «phase-transition»

Estou procurando exemplos de problemas parametrizados por um número k∈Nk∈Nk \in \mathbb{N} , onde a dureza do problema não é monotônica em kkk . A maioria dos problemas (na minha experiência) tem uma transição monofásica, por exemplo, kkk -SAT possui uma transição monofásica de k∈{1,2}k∈{1,2}k \in \{1,2\} (onde o problema …

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

Uma característica bem conhecida das instâncias -SAT é a razão do número de cláusulas sobre o número de variáveis , ou seja, o quociente . Para cada , existe um valor limite st \ para , a maioria das instâncias é satisfatória e para maioria das instâncias não é satisfatória. …

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

Suponha que tenhamos um problema parametrizado por um parâmetro com valor real p que seja "fácil" de resolver quando e "rígido" quando p = p 1 para alguns valores p 0 , p 1p = p0 0p=p0 0p=p_0p = p1p=p1p=p_1p0 0p0 0p_0p1p1p_1 . Um exemplo é contar configurações de rotação …

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

É sabido que muitos problemas NP-completos exibem transição de fase. Estou interessado aqui na transição de fase com relação à contenção na linguagem, em vez da dureza da entrada, relativa a um algoritmo. Para tornar o conceito inequívoco, vamos defini-lo formalmente da seguinte forma. Uma língua eueuL exibe transição de …

17 cc.complexity-theory  phase-transition 

A proporção crítica de cláusulas para variáveis ​​para o 3-SAT aleatório é maior que 3 e menor que 6 e parece ser comumente descrita como "em torno de 4,2" ou "em torno de 4,25". Mezard, Parisi e Zecchina provam (no sentido da física) que a razão crítica é de 4.256, …

14 sat  phase-transition  random-k-sat 

Existem 4 restrições diferentes que podemos ter ao definir o Random K-SAT. 1) O número total de literais em uma determinada cláusula é exatamente K ou AT no máximo K 2) Um determinado literal pode ser usado com ou sem substituição na mesma cláusula (A ou A ou A) 3) …

12 cc.complexity-theory  sat  randomness  phase-transition 

O que se sabe sobre a transição de fase nos problemas # P-Complete? Especificamente, existe uma transição de fase diferente para # DNF-k-SAT e # CNF-k-SAT? Atualização: Como sabemos, há uma transição de fase no Random k-SAT em que a solução do problema passa de fácil a difícil e volta …

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

Gostaria de saber o estado atual da transição de fase para k-sat aleatório, dadas n variáveis ​​e cláusulas m, qual é o melhor conhecido c = m / n para os limites superior e inferior.

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