Вопросы с тегом «hard-instances»

3
Существует ли самый сложный DCFL?
Greibach лихо определил язык , так называемую недетерминированную версию о , таких , что любая КЛЛ является обратной морфической изображение . Существует ли подобное утверждение с DCFL, возможно, с некоторыми ограничениями на допустимые морфизмы?D 2 HЧАСHHD2D2D_2ЧАСHH (См., Например, М. Аутеберт, Дж. Берстель и Л. Боассон. Неконтекстные языки и автоматы выталкивания. …

2
Какова корреляция между шириной дерева и твердостью экземпляра для случайного 3-SAT?
В этой недавней статье FOCS2013 « Сильные черные ходы к SAT ограниченной длины дерева», составленной Gaspers и Szeider, говорится о связи между шириной дерева графика предложения SAT и твердостью экземпляра. Для случайных 3-SAT, то есть 3-SAT экземпляров, выбранных случайным образом, какова корреляция между шириной дерева графика предложений и твердостью экземпляра? …

1
Примеры сложных примеров для алгоритма Геманса и Уильямсона
Меня интересуют явные примеры графиков, для которых применение алгоритма Геманса и Уильямсона для аппроксимации максимальных сечений приводит к коэффициенту аппроксимации 0,878…. Алгоритм создания таких экземпляров был бы идеальным, явные примеры и ссылки были бы удовлетворительными.

3
Возможно ли внедрение решения для SAT?
Меня интересуют "сложные" отдельные примеры NP-полных задач. Райан Уильямс обсудил проблему SAT0 в блоге Ричарда Липтона . SAT0 спрашивает, имеет ли экземпляр SAT конкретное решение, состоящее из всех 0. Это заставило меня задуматься о создании экземпляров SAT, которые, вероятно, будут «сложными». Рассмотрим экземпляр SAT с предложениями и переменными, где является …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.