WikiDer > Значение клама

в параметризованная сложность из алгоритмы, то значение клама параметризованного алгоритма - это число, ограничивающее значения параметров, для которых можно разумно ожидать, что алгоритм будет практичным.^[1] Алгоритм с более высоким значением klam может использоваться для более широкого диапазона значений параметров, чем другой алгоритм с более низким значением klam. Значение klam было сначала определено Дауни и Стипендиаты (1999),^[2][3] и с тех пор использовался другими исследователями параметризованной сложности как для сравнения различных алгоритмов друг с другом, так и для постановки целей для будущих алгоритмических улучшений.

Определение

Алгоритм называется управляемым с фиксированными параметрами, если количество выполняемых им элементарных операций имеет границу вида ${ Displaystyle О (п ^ {с}) + е (к)}$, куда ${ displaystyle n}$ - некоторая мера размера ввода (например, количество вершины в график), ${ displaystyle k}$ - параметр, описывающий сложность ввода (например, ширина дерева графика), ${ displaystyle c}$ постоянная, не зависящая от ${ displaystyle n}$ или же ${ displaystyle k}$, и ${ displaystyle f}$ это вычислимая функция.

Учитывая временную границу этой формы, значение клама алгоритма (или, точнее, временной границы) определяется как наибольшее значение ${ displaystyle k}$ такой, что ${ displaystyle f (k)}$ не превышает «некоторой разумной абсолютной границы максимального числа шагов любого вычисления».^[1] Точнее оба Дауни и товарищи (1999) и Нидермейер (1998) используйте число 10²⁰ как эта граница, и это было сделано более поздними исследователями. Чтобы предотвратить искусственное улучшение клам-значения алгоритма за счет увеличения его сложности в ${ Displaystyle О (п ^ {с})}$ часть срока, Дауни и товарищи (1999) также ограничить ${ displaystyle c}$ быть не более трех, действительным для многих известных управляемых алгоритмов с фиксированными параметрами.

Примеры

Нидермейер (1998) приводит в пример крышка вершины, со своим естественным параметром (числом вершин в покрытии). В то время наиболее известная параметризованная временная граница была ${ displaystyle f (k) = O (k ^ {2} 1,3248 ^ {k})}$. Решение ${ displaystyle k ^ {2} 1,3248 ^ {k} = 10 ^ {20}}$ дает значение клама примерно 129. Однако ${ displaystyle k ^ {2}}$ часть временного ограничения может быть упрощена вне его, давая границу формы ${ displaystyle O (1,3248 ^ {k})}$ с большим постоянным множителем, скрытым в O-нотации, и большим основанием экспоненты, скрытым в его приблизительном десятичном значении. Для простой экспоненциальной границы ${ Displaystyle е (к) = с ^ {к}}$как этот, можно решить напрямую ${ displaystyle k = 20 / log _ {10} c}$ из которого Нидермейер выводит значение клама примерно 165. В ходе последующих исследований были разработаны параметризованные алгоритмы покрытия вершин с ${ displaystyle f (k) = O (1,2738 ^ {k})}$^[4] дает значение клама приблизительно 190. То есть из этого анализа можно сделать вывод, что экземпляры вершинного покрытия с размером покрытия больше 190 находятся вне досягаемости этого алгоритма, но экземпляры, размер покрытия которых значительно ниже этого предела, вероятно, будут разрешимо.

Другим примером проблемы, в которой значение клама явно использовалось в качестве цели будущих исследований, является проблема максимального листового остовного дерева, в котором цель - найти остовное дерево графа с максимально возможным количеством листовых узлов (параметризованных количеством листьев). Fellows et al. (2000) разработать алгоритм для этой проблемы, который они сравнивают с использованием значения klam с предыдущей работой над той же проблемой: предыдущие алгоритмы имели значения klam 1 и 5, а их - значение klam 16.^[5] Тем не менее, они также предполагают, что должна быть возможность предоставить улучшенные алгоритмы для этой проблемы со значением klam не менее 50. Хотя это остается открытым, в нескольких более поздних статьях значение klam для этой задачи постепенно повышалось до 37.^[6]

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