Запитання з тегом «random-k-sat»

Мене цікавить критична щільність 3-задоволеності (3-SAT) . Можна припустити, що така існує: якщо кількість випадково згенерованих 3-SAT-пропозицій становить або більше, вони майже напевно незадовільні. (Тут - будь-яка мала константа і - кількість змінних.) Якщо число або менше, вони майже впевнені.αα\alphaαα\alpha( α + ϵ ) n(α+ϵ)н(\alpha + \epsilon) nϵϵ\epsilonннn( α - …

26 pr.probability  random-k-sat 

Добре відома характеристика примірників -SAT - відношення кількості пунктів до кількості змінних , тобто коефіцієнт . Для кожного існує порогове значення st \ for , більшість екземплярів є задоволеними, а для більшість випадків є незадовільними. Було проведено багато досліджень для проблем, де , і для проблем з досить малим ,kkkmmmnnnρ=m/nρ=m/n\rho …

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

Чи було зроблено якусь роботу над тим, як складність випадкових екземплярів # 2-SAT змінюється залежно від щільності застереження? Тобто: як змінюється складність підрахунку задовольняючих рішень випадково генерованого екземпляра 2-SAT , коли змінюється щільність пропозиції? Зокрема, чи відомі чіткі результати, що стосуються критичних порогових значень? Звичайно, оскільки 2-SAT ∈ P , …

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

Добре відомо, що випадкові формули -CNF над n змінними з c n застереженнями є незадовільними (тобто вони суперечать) з високою ймовірністю, для досить великої постійної c . Таким чином, випадкові формули k -CNF (для c досить великі) становлять природний розподіл за незадовільними булевими формулами (або подвійно, над тавтологіями, тобто запереченнями …

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

Критичне співвідношення пропозицій до змінних для випадкових 3-SAT становить більше 3 та менше 6, і, здається, зазвичай описується як "близько 4,2" або "близько 4,25". Мезард, Паризі та Зеччина доводять (у фізичному розумінні), що критичне відношення дорівнює 4,256, тоді як перший та третій автори доводять, що це 4,267. What is the …

14 sat  phase-transition  random-k-sat 

Цей останній документ із FOCS2013, " Сильний задній план до обмеженої ширини ширини SAT " Гасперсом і Сейдером розповідає про зв'язок між шириною ширини графіка пункту SAT та твердістю екземпляра. Для випадкових 3-SAT, тобто 3-SAT екземплярів, вибраних випадковим чином, яка кореляція між шириною ширини графіка пункту та твердістю екземпляра? "Твердість …

11 graph-algorithms  sat  treewidth  random-k-sat  hard-instances