Запитання з тегом «hard-instances»

Greibach хвацько визначив мову , так звану недетермінірованного версію про , таких , що будь-яка КЛЛ є зворотною морфіческого зображення . Чи існує аналогічне твердження з DCFL, можливо, з деяким обмеженням дозволених морфізмів?ННHD2D2D_2ННH (Див., Наприклад, М. Ауберт, Дж. Берстель та Л. Боассон. Безтекстові мови та автоматичні автоматичні розгортання. У Р. …

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

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

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

Мене цікавлять чіткі приклади графіків, для яких застосування алгоритму Goemans та Williamson для наближення максимальних скорочень призводить до 0,878… коефіцієнта апроксимації. Алгоритм створення таких примірників був би ідеальним, явні приклади та посилання задовільні.

10 ds.algorithms  approximation-algorithms  max-cut  hard-instances 

Мене цікавлять "важкі" окремі випадки проблем, повних NP. Райан Вільямс обговорив проблему SAT0 в блозі Річарда Ліптона . SAT0 запитує, чи має примірник SAT конкретне рішення, що складається з усіх 0. Це змусило мене замислитися над побудовою екземплярів SAT, які, ймовірно, будуть "важкими". Розглянемо екземпляр SAT з пропозиціями та змінними, …

10 cc.complexity-theory  sat  hard-instances