Запитання з тегом «phase-transition»

Я шукаю приклади задач, параметризованих числом k∈Nk∈Nk \in \mathbb{N} , де твердість задачі немонотонна в kkk . Більшість проблем (на мій досвід) мають однофазний перехід, наприклад, kkk -SAT має однофазний перехід від k∈{1,2}k∈{1,2}k \in \{1,2\} (де проблема знаходиться в P) до k≥3k≥3k \ge 3 (де проблема NP- повна). Мене цікавлять …

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

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

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

Припустимо, у нас є проблема, параметризована реальним параметром p, який "легко" вирішити, коли і "hard", коли p = p 1 для деяких значень p 0 , p 1 .p=p0p=p0p=p_0p=p1p=p1p=p_1p0p0p_0p1p1p_1 Одним із прикладів є підрахунок спінових конфігурацій на графіках. Підрахунок належних кольорових забарвлень, незалежних наборів, ейлерові підграграфи відповідають функціям розділення відповідно …

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

Добре відомо, що багато проблем, повних NP, виявляють фазовий перехід. Мене тут цікавить фазовий перехід щодо стримування мови, а не твердості введення стосовно алгоритму. Щоб зробити поняття однозначним, давайте формально визначимо його наступним чином. Мова LLL демонструє фазовий перехід (щодо стримування), якщо Існує параметр порядку r(x)r(x)r(x) , який є обчислюваною …

17 cc.complexity-theory  phase-transition 

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

14 sat  phase-transition  random-k-sat 

Існують 4 різні обмеження, які ми можемо мати при визначенні випадкових K-SAT. 1) Загальна кількість буквених значень у заданих застереженнях становить рівно K або AT, найбільше K 2) Даний літерал може бути використаний із заміною або без заміни в одному і тому ж пункті (A або A або A) 3) …

12 cc.complexity-theory  sat  randomness  phase-transition 

Що відомо про фазовий перехід у проблемах # P-Complete? Зокрема, чи існує різний фазовий перехід для # DNF-k-SAT та # CNF-k-SAT? Оновлення: Як ми знаємо, у Random k-SAT є фазовий перехід, коли вирішення проблеми переходить від простого до важкого і знову до легкого. Я хотів би знати, чи існує таке …

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

Мені хотілося б знати поточний стан фазового переходу для випадкових k-sat, враховуючи n змінних та m застережень, що є найбільш відомим c = m / n для верхньої та нижньої меж.

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