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...
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. Tem havido uma série de...
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 nos gráficos. Contando...
É 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...
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, enquanto o primeiro e o terceiro...
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) Uma determinada variável pode...
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 a fácil...
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