Графы-расширители — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
Строка 35: Строка 35:
 
** большая — сложно разрезать
 
** большая — сложно разрезать
  
=== Пример: «поженим разнополные компании» ===
+
=== «поженим разнополные компании». ===
[[File:женим-разнополые-компании-K3.png|256px|right]]
+
  
* Два полных графа <m>K_n</m («парни/девушки»)
+
[[File:женим-разнополые-компании-K3.pdf|256px|right]]
* Начнем их женить по очереди
+
 
 +
* Два полных графа <m>K_n</m  
 +
** «синие/зеленые», «парни/девушки»
 +
* Начнем их «женить» по очереди, получая графы <m>G_0</m>, <m>G_1</m>, … , <m>G_n</m>
 +
* <m>h(G_0)=0, h(G_1)=1/n, h(G_2)=2/n, ..., $h(G_n)=n/n=1 </m>

Версия 09:01, 16 апреля 2024

Заголовок

Графы-расширители
Автор
Стас Фомин
Нижний колонтитул
Графы-расширители
Дополнительный нижний колонтитул

Стас Фомин, 09:39, 16 апреля 2024

Источники .

Книги

Разрез / Edge-CUT .

Edge-cut-01.png

«Относительная трудноразрезаемость» .

Edge-cut-01.png
  • «Сложно разрезать при минимуме ребер»
    • Это «экспандеры/расширители»

Термины .

Edge-cut-01.png

Для подмножества S вершин G,

  • граница/boundary S
    • тут

— «константа реберного расширения» (Cheeger)

  • Ищем такие графы G, чтобы был минимум ребере при большой
    • малая h — бутылочные горлышки
    • большая — сложно разрезать

«поженим разнополные компании».

Женим-разнополые-компании-K3.pdf
  • Два полных графа , , … ,