Вершинный бисектор (биссектриса)

Материал из WikiGrapp
Перейти к навигации Перейти к поиску

Вершинный бисектор (биссектриса или Node bisector) графа [math]\displaystyle{ \Gamma }[/math] --- такое подмножество [math]\displaystyle{ \Omega }[/math] вершин графа [math]\displaystyle{ \Gamma }[/math], что [math]\displaystyle{ \Gamma }[/math] может быть представлен в виде прямой суммы

[math]\displaystyle{ \Gamma = \Omega_{1} \cup \Omega \cup \Omega_{2}, }[/math]

где [math]\displaystyle{ |\Omega_{1}| \geq \frac{1}{3}|\Gamma| }[/math], [math]\displaystyle{ |\Omega_{2}| \geq \frac{1}{3}|\Gamma| }[/math] и любой путь из [math]\displaystyle{ \Omega_{1} }[/math]в [math]\displaystyle{ \Omega_{2} }[/math] проходит через [math]\displaystyle{ \Omega }[/math].

Литература

[Math. Syst. Theory]