Мы знаем , что краевые раскраски графа являются вершинными раскрасками специального графа, а именно на линию граф от .
Существует ли оператор графа такой, что раскраски вершин графа являются краевыми раскрасками графа ? Меня интересует такой оператор графа, который можно построить за полиномиальное время, т.е. граф можно получить из за полиномиальное время.
Примечание : аналогичный вопрос можно задать для стабильных наборов и соответствий. Совпадение в является устойчивым множеством в L ( G ) . Существует ли оператор графа Ψ такой, что устойчивые множества в G совпадают в Ψ ( G ) ? Так как устойчивое множество является Н Р -полным и СООТВЕТСТВУЯ принадлежит Р , такой граф оператор Ψ (если существует) не может быть построена в полиномиальное время, при условии , N P ≠ P .
РЕДАКТИРОВАТЬ: Вдохновленный ответом @ usul и комментариями @ Okamoto и @ King, я нашел более слабую форму для моей задачи: раскраски вершин графа - это раскраски краев гиперграфа Φ ( G ), определенного следующим образом. Множество вершин Ф ( G ) одно и то же множество вершин G . Для каждой вершины v из G замкнутая окрестность N G [ v ] = N G ( v ) ∪ { v } является ребром гиперграфа Φ ( G . Тогда G является линейным графом гиперграфа Φ ( G ), и поэтому раскраски вершин G являются краевыми раскрасками Φ ( G ) .
Опять же, я благодарен за все ответы и комментарии, показывающие, что, с предположением или без него , оператор, которого я ищу, не может существовать. Было бы хорошо, если бы я мог принять все ответы!
источник
Ответы:
По аналогии с линейным графиком , я думаю, вы спрашиваете следующее:
Видно, что ответ - нет . Рассмотрим четырехвершинное дерево с корнем v, имеющим трех детей x , y , z . В G ′ у нас должно быть четыре ребра: ( v 1 , v 2 ) , ( x 1 , x 2 ) , ( y 1 , y 2 ) , ( z 1 , z 2 ) . Кроме того, это должно быть так, что либо VG v x,y,z G′ (v1,v2),(x1,x2),(y1,y2),(z1,z2) или V 2 является конечной точкой каждого из остальных трех ребер (то есть, | { v 1 , v 2 } ∩ { х 1 , х 2 } | ≥ 1 ,т.д.). Но это означает, что по крайней мере два из трех других ребер должны иметь общую конечную точку, что нарушает наши требования, поскольку никакие два из x , y , z не являются смежными в исходном графе.v1 v2 |{v1,v2}∩{x1,x2}|≥1 x,y,z
Я думаю, что тот же график даст вам контрпример и для соответствующего вопроса.
источник
Вопрос содержит некоторую двусмысленность в том, что вы подразумеваете под «раскрасками вершин графа G , раскрасками ребер графа H », но сложно построить граф, хроматическое число ребер которого равно хроматическому числу (вершины) данный график. Формально следующая проблема отношений является NP-трудной.
Представляя хроматический номер в качестве края хроматического числа
Instance : A графа G .
Решение : Граф Н таким образом, что край хроматического числа χ '( Н ) из Н равна хроматического числа х ( G ) от G .
Это связано с тем, что теорема Визинга дает (тривиальный) эффективный алгоритм, который аппроксимирует хроматическое число ребра в пределах аддитивной ошибки 1, тогда как хроматическое число трудно даже аппроксимировать в различных смыслах. Например, Ханна, Линиал и Сафра [KLS00] показали, что следующая задача является NP-полной (а позже Гурусвами и Ханна [GK04] дали гораздо более простое доказательство):
3-colorable versus non-4-colorable
Instance: A graph G.
Yes-promise: G is 3-colorable.
No-promise: G is not 4-colorable.
This result is sufficient to prove the NP-hardness that I claimed at the beginning. A proof is left as an exercise, but here is a hint:
Ссылки
[GK04] Venkatesan Guruswami и Sanjeev Khanna. По твердости 4-раскраски есть 3-раскрашенный граф. Журнал SIAM по дискретной математике , 18 (1): 30–40, 2004. DOI: 10.1137 / S0895480100376794 .
[KLS00] Sanjeev Khanna, Nathan Linial, and Shmuel Safra. On the hardness of approximating the chromatic number. Combinatorica, 20(3):393–415, March 2000. DOI: 10.1007/s004930070013.
источник
(This is an addition to usul's answer and YoshioOkamoto's comment, rather than an answer.) It can be seen that your operationΦ exists only for those graphs G for which there is a graph G′ with G=L(G′) , i.e. G is a line graph (checkable in polytime). In this case, Φ is the "inverse line graph operator" L−1 , i.e. Φ(G)=G′ , and vertex colorings of G are edge colorings of Φ(G) .
источник