Графы-расширители — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: «<slideshow style="ispras" headingmark="." scaled=1 /> === Источники . === * [https://ru.wikipedia.org/wiki/%D0%AD%D0%BA%D1%81%D0%BF%D0%B0%D0%BD%D0%B4%D0…») |
StasFomin (обсуждение | вклад) |
||
| (не показано 10 промежуточных версий этого же участника) | |||
| Строка 3: | Строка 3: | ||
=== Источники . === | === Источники . === | ||
* [https://ru.wikipedia.org/wiki/%D0%AD%D0%BA%D1%81%D0%BF%D0%B0%D0%BD%D0%B4%D0%B5%D1%80_(%D1%82%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D0%B3%D1%80%D0%B0%D1%84%D0%BE%D0%B2) Википедия] | * [https://ru.wikipedia.org/wiki/%D0%AD%D0%BA%D1%81%D0%BF%D0%B0%D0%BD%D0%B4%D0%B5%D1%80_(%D1%82%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D0%B3%D1%80%D0%B0%D1%84%D0%BE%D0%B2) Википедия] | ||
| − | ;Книги: [https://www.mathnet.ru/links/6666a59b6a4f04f237d1273783846a78/mp362.pdf], [https://users.mccme.ru/anromash/courses/expanders-notes-2014.pdf] | + | ;Книги: |
| + | * [https://www.mathnet.ru/links/6666a59b6a4f04f237d1273783846a78/mp362.pdf Графы-расширители и их применения в теории кодирования], | ||
| + | * [https://users.mccme.ru/anromash/courses/expanders-notes-2014.pdf Экспандеры: конструкции и приложения] | ||
| + | * [https://ru.wikibrief.org/wiki/Expander_graph Расширительный граф на вики-бриф] | ||
| + | * [https://nplus1.ru/material/2020/04/06/abel Расширьтесь, граф], [https://www.youtube.com/watch?v=-jcZu4hDstA] | ||
| + | |||
| + | === Разрез / Edge-CUT . === | ||
| + | |||
| + | [[File:edge-cut-01.png|center]] | ||
| + | * См. [[MAX-CUT]] | ||
| + | |||
| + | === «Относительная трудноразрезаемость» . === | ||
| + | |||
| + | [[File:edge-cut-01.png|256px|right]] | ||
| + | |||
| + | * «Сложно разрезать при минимуме ребер» | ||
| + | ** Это «экспандеры/расширители» | ||
| + | |||
| + | === Термины . === | ||
| + | |||
| + | [[File:edge-cut-01.png|256px|right]] | ||
| + | |||
| + | Для подмножества ''S'' вершин ''G'', | ||
| + | * {{!|граница/boundary}} ''S'' → <m>\partial S</m> | ||
| + | ** тут <m>|\partial S|=8</m> | ||
| + | |||
| + | <m>h(G)=\min_{S,0<|S|\leq n/2}|\partial S|/|S|</m> — «константа реберного расширения» (Cheeger) | ||
| + | |||
| + | * Ищем такие графы ''G'', чтобы был минимум ребере при большой <m>h(G)</m> | ||
| + | ** малая ''h'' — бутылочные горлышки | ||
| + | ** большая — сложно разрезать | ||
| + | |||
| + | === «поженим разнополные компании». === | ||
| + | |||
| + | [[File:женим-разнополые-компании-K3.pdf|256px|page=1|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> | ||
| + | |||
| + | === Семейство расширителей. === | ||
| + | |||
| + | [[File:expander-definition.png|center]] | ||
| + | |||
| + | === Пример семейства расширителей. === | ||
| + | |||
| + | [[File:пример-семейства-расширителей-01.png|right|256px]] | ||
| + | |||
| + | * ''p'' — простое | ||
| + | * Вершины <m>\{0,\dots,p-1\}</m> | ||
| + | * Соединим | ||
| + | ** <m>a \neq 0</m> c ←→ | ||
| + | *** <m>a\pm 1 \bmod p</m> | ||
| + | *** <m>a^{-1} \bmod p</m> | ||
| + | ** <m>a = 0</m> c ←→ | ||
| + | *** <m>0, 1, p-1</m> | ||
| + | |||
| + | === Расширители хорошо моделируют реальность. === | ||
| + | [[File:]] | ||
| + | |||
| + | Модели, где надо минимизировать «бутылочные горла» | ||
| + | * Транспорт | ||
| + | * Мозг | ||
| + | * Интернет | ||
| + | * Социальные сети | ||
Текущая версия на 09:39, 16 апреля 2024
- Заголовок
- Графы-расширители
- Автор
- Стас Фомин
- Нижний колонтитул
- Графы-расширители
- Дополнительный нижний колонтитул
- Стас Фомин, 09:39, 16 апреля 2024
Содержание
Источники .
- Книги
- Графы-расширители и их применения в теории кодирования,
- Экспандеры: конструкции и приложения
- Расширительный граф на вики-бриф
- Расширьтесь, граф, [1]
Разрез / Edge-CUT .
- См. MAX-CUT
«Относительная трудноразрезаемость» .
- «Сложно разрезать при минимуме ребер»
- Это «экспандеры/расширители»
Термины .
Для подмножества S вершин G,
- граница/boundary S →
- тут
— «константа реберного расширения» (Cheeger)
- Ищем такие графы G, чтобы был минимум ребере при большой
- малая h — бутылочные горлышки
- большая — сложно разрезать
«поженим разнополные компании».
- Два полных графа
- «синие/зеленые», «парни/девушки»
- Начнем их «женить» по очереди, получая графы , , … ,
Семейство расширителей.
Пример семейства расширителей.
- p — простое
- Вершины
- Соединим
- c ←→
- c ←→
- c ←→
Расширители хорошо моделируют реальность.
[[File:]]
Модели, где надо минимизировать «бутылочные горла»
- Транспорт
- Мозг
- Интернет
- Социальные сети