2014-10-26 2 views
0

я получил это уравнение Т (к, п) = 6T (к-1, п-1) к размеру независимого множества п NBR узлов в G. G (V , E)рекуррентного соотношения (параметрироваться анализ)

T (k, n) = 6T (k-1, n-1) = 6 * 6T (k-2, n-2) = ... = 6^k * T (0, n-1) Я застрял здесь.

Алгоритм

Рассмотрим вершину ст. К аргументу preceing вопрос мы предполагаем, что v имеет степень не более 5. Пусть v_1 = V, и пусть v_2, ..., v_6 обозначают соседей V в. Мы напишем простой алгоритм разветвления следующим образом. Есть 6 случаев. В случае i будем считать, что v_i принадлежит к независимому множеству. В этом случае мы удаляем v_i и все его соседи и рекурсивно выполняем поиск по размеру (k-1) несвязанного набора. (Нет причин считать случай, что ни одна из 6 вершин не принадлежит независимому множеству, так как мы всегда можем добавить v_1 к такому решению. Обратите внимание, что несколько соседей v_1 могут принадлежать независимому набору.)

Они сказали, что у него есть sol 6^k * Poly (n)

+0

Вы никогда не говорили, что измеряет T, что всегда важно. Но если мы предположим, что вы используете ОЗУ или аналогичную модель, то все готово. T (0, n-1) = r, где r - постоянное количество вычислений, необходимое для проверки, что k = 0. I.e. требуется постоянное время, чтобы найти, что нет необходимости делать больше вычислений. – Gene

+0

@Gene Но тогда sol должен быть только 6^k вправо? , так как T (0, n-k) принимает постоянное время. Но как получилось, что это было poly (n) – user3105383

+0

Как я уже сказал, вы никогда не говорили, что вы рассчитываете с T. Вероятно, они имеют T (k, n) = w + 6 T (k-1, n-1), где w - постоянный объем работы. Во всяком случае, константа _is_ Poly (n)! – Gene

ответ

0

По вашему определению T (k, n) - это время, необходимое для нахождения независимого набора размера k в графе с n узлами. Для любой константы c, T (c, n) является полиномиальной по n (например, попробуйте каждое подмножество c узлов и проверьте, является ли она независимой).

+0

T (c, n) многочлен от n? Сколько подмножеств существует из c узлов? n над с правом? Является ли T (0, n-1) термином, который дает нам poly (n) '?? – user3105383

+0

Когда мы делаем попытку каждого подмножества узлов c и проверяем, является ли он независимым. Мы рекурсивно возвращаемся в уравнение. – user3105383

+0

Моя точка в том, что для любой константы c, T (c, n) = poly (n). Доказательством этого является алгоритм, который решает независимый набор в полиномиальное время для любой константы c. –

Смежные вопросы