Функция Тардос - Википедия - Tardos function

В теория графов и сложность схемы, то Функция Тардос это инвариант графа представлен Эва Тардос в 1988 г., обладающий следующими свойствами:^[1][2]

• Словно Число Ловаса из дополнение графа, функция Тардос зажата между номер клики и хроматическое число графа. Эти два числа оба NP-жесткий вычислить.
• Функция Тардос является монотонной в том смысле, что добавление ребер к графу может только привести к увеличению или сохранению ее функции Тардос, но никогда не уменьшится.
• Функция Тардос может быть вычислена в полиномиальное время.
• Любой монотонная схема для вычисления функции Тардос требуется экспоненциальный размер.

Чтобы определить свою функцию, Тардос использует схема полиномиальной аппроксимации для числа Ловаса на основе эллипсоидный метод и предоставлено Грётшель, Ловас и Шрайвер (1981).^[3] Однако приближение числа Ловаса дополнения и последующее округление приближения до целого числа не обязательно приведет к монотонной функции. Чтобы сделать результат монотонным, Тардос аппроксимирует число Ловаса дополнения с точностью до аддитивной ошибки ${ Displaystyle 1 / п ^ {2}}$, добавляет ${ Displaystyle м / п ^ {2}}$ с приближением, а затем округляет результат до ближайшего целого числа. Здесь ${ displaystyle m}$ обозначает количество ребер в данном графе, а ${ displaystyle n}$ обозначает количество вершин.^[1]

Тардос использовала свою функцию, чтобы доказать экспоненциальное разделение возможностей монотонных логических схем и произвольных схем. Александр Разборов, ранее использовавшиеся, чтобы показать, что кликовое число требует экспоненциально больших монотонных схем,^[4][5] также показывает, что функция Тардос требует экспоненциально больших монотонных схем, несмотря на то, что ее можно вычислить немонотонной схемой полиномиального размера. Позже та же функция использовалась для обеспечения контрпример к предполагаемому доказательству P ≠ NP Норберта Блюма.^[6]

Рекомендации