Какова корреляция между шириной дерева и твердостью экземпляра для случайного 3-SAT?

11

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

Для случайных 3-SAT, то есть 3-SAT экземпляров, выбранных случайным образом, какова корреляция между шириной дерева графика предложений и твердостью экземпляра?

«Твердость экземпляра» можно принять как «сложность для типичного решателя SAT», то есть время работы.

Я ищу ответы либо в теоретическом, либо в эмпирическом стиле. Насколько мне известно, не представляется никаких эмпирических исследований по этому вопросу. Я знаю, что есть несколько разных способов построения графиков предложений SAT, но этот вопрос не сфокусирован на различии.

Возможно, естественный тесно связанный с этим вопрос заключается в том, как древовидная графа раздела соотносится с фазовым переходом 3-SAT.

ВЗН
источник

Ответы:

10

Не совсем ответ, но самые близкие ссылки, о которых я знаю. Есть результаты, доступные для ширины ветви. Кроме того, существует по крайней мере одно эмпирическое исследование ширины промышленных экземпляров.

Виджай Д
источник
7

В общем случае не следует ожидать, что случайные экземпляры SAT будут иметь ограниченную ширину дерева, даже если они просты. Вот пример:

N3θ(N)3

dК412КdК1d2К4К

TTN/2

Даниелло
источник
спасибо за идеи. ofc не ожидал, что случайные экземпляры будут иметь ограниченную длину дерева; противоположность предположительно доказуема без особых затруднений. но это числовой параметр, который можно сравнивать / коррелировать с твердостью аналогично многим другим параметрам, изученным в эмпирических исследованиях точки перехода SAT, и некоторая взаимосвязь или корреляция, по-видимому, ожидаются на основе существующих исследований.
августа
@vzn Суть в том, что в наиболее распространенных случайных моделях ширина дерева проходит через крышу, прежде чем экземпляры становятся вычислительно сложными. С другой стороны, экземпляры "реальной жизни", вероятно, имеют гораздо меньшую ширину дерева, чем случайные, и я ожидаю, что SAT-решатели воспользуются (некоторыми) преимуществами этого.
Даниелло