Greibach лихо определил язык , так называемую недетерминированную версию о , таких , что любая КЛЛ является обратной морфической изображение . Существует ли подобное утверждение с DCFL, возможно, с некоторыми ограничениями на допустимые морфизмы?D 2 HЧАСHHD2D2D_2ЧАСHH (См., Например, М. Аутеберт,...
В этой недавней статье FOCS2013 « Сильные черные ходы к SAT ограниченной длины дерева», составленной Gaspers и Szeider, говорится о связи между шириной дерева графика предложения SAT и твердостью экземпляра. Для случайных 3-SAT, то есть 3-SAT экземпляров, выбранных случайным образом, какова...
Меня интересуют "сложные" отдельные примеры NP-полных задач. Райан Уильямс обсудил проблему SAT0 в блоге Ричарда Липтона . SAT0 спрашивает, имеет ли экземпляр SAT конкретное решение, состоящее из всех 0. Это заставило меня задуматься о создании экземпляров SAT, которые, вероятно, будут «сложными»....
Меня интересуют явные примеры графиков, для которых применение алгоритма Геманса и Уильямсона для аппроксимации максимальных сечений приводит к коэффициенту аппроксимации 0,878…. Алгоритм создания таких экземпляров был бы идеальным, явные примеры и ссылки были бы...