Estou interessado na densidade crítica de 3-satisfação (3-SAT) . É suposto que tal exista: se o número de cláusulas 3-SAT geradas aleatoriamente for ou mais, elas são quase certamente insatisfatórias. (Aqui é qualquer constante pequena e é o número de variáveis.) Se o número for ou menos, elas são quase certamente satisfatórias.
Os algoritmos de tese de propagação de crenças para problemas de satisfação de restrições de Elitza Nikolaeva Maneva desafiam o problema do ângulo de propagação de crenças conhecido na teoria da informação. Na página 13, diz se existir.
Quais são os limites mais conhecidos para ?
Respostas:
Não obstante o teorema de Friedgut sobre -SAT, enquanto que nos falta técnicas para chegar ao insignificante ε para pequenas k , parece mais útil para falar sobre o limiar satisfiability ( α - ε ) eo limiar unsatisfiability ( α + ε ) como entidades separadas.k ϵ k α−ϵ α+ϵ
Sabe-se que o limiar de insatisfação é no máximo 4.4898, uma ligeira melhora desde a tese de Maneva em 2001.
Sabe-se que o limiar de satisfação é pelo menos 3,52, inalterado desde a tese de Maneva.
Esses limites foram recentemente citados por Achlioptas e Menchaca-Mendez como os mais conhecidos até o momento.
fonte
Há um novo documento de 58 páginas (32 refs) aceito no STOC 2013,
que pesquisa e avança na área de determinação do limiar de k-SAT preciso, construindo especialmente a partir de resultados emprestados da física estatística. Do resumo:
fonte