Меню
Главная
Случайная статья
Настройки
|
Квазидвудольным называется случай задачи Штейнера о минимальном дереве (состоящей из неориентированного графа G и множества R терминальных вершин), в котором нетерминальные вершины графа G образуют независимое множество. Это определение обобщает концепцию двудольного графа — если граф G двудолен и одна из его долей образует множество R, то множество R автоматически является независимым.
Данную концепцию предложили Раджагопалан и Вазирани[1] и использовали её, чтобы дать -аппроксимационный алгоритм для задачи Штейнера в таких графах. Впоследствии Рицци избавился от в данной оценке[2], а Чакрабарти с соавторами предложили 4/3-аппроксимационный алгоритм[3]. В дальнейшем ту же концепцию использовали другие авторы, например[4] Робинс и Зеликовский[5] предложили аппроксимационный алгоритм для задачи Штейнера, который на квазидвудольных графах имеет аппроксимационный коэффициент 1,28. Алгоритм Робинса и Зеликовского работает за время , где m и n — количества терминальных и нетерминальных вершин в графе соответственно. В дальнейшем, Грёпль с соавторами[6] предложили 1,217-аппроксимационный алгоритм для особого случая однородных квазидвудольных случаев.
Примечания
- Rajagopalan, Vazirani, 1999, с. 742–751.
- Rizzi, 2003, с. 335–338.
- Chakrabarty, Devanur, Vazirani, 2008, с. 344–358.
- Grpl, Hougardy, Nierhoff, Prmel, 2001, с. 217–228.
- Robins, Zelikovsky, 2000, с. 770–779.
- Grpl, Hougardy, Nierhoff, Prmel, 2002, с. 195–200.
Литература
|
|