Учи Кванты! → Курс → Сжатый свет и гафниан
Гафниан: счётчик пар и плотные графы
Пора соединить две сюжетные линии этого блока уроков. В первой главе мы искали плотные группы в графе и упёрлись в перебор; в прошлом уроке увидели, что сжатый свет рождает фотоны парами. Оказывается, что между этими фактами есть мост: функция по имени гафниан. Она считает способы разбить компанию на пары, растёт на плотных графах и, как выяснится, управляет тем, что выпадает на детекторах фотонной машины.
Счётчик пар
Начнём с четырёх вершин, связанных всеми шестью рёбрами. Вопрос: сколькими способами можно разбить их на две пары так, чтобы в каждой паре было ребро? Ответ посчитан под графом: три способа, и все перечислены.
Число таких разбиений и называется гафнианом графа. Пощёлкайте по рёбрам, выключая их: вместе с ребром исчезают и разбиения, в которых оно участвовало. Оставьте совсем мало рёбер, и гафниан упадёт до нуля: группу, где не всем хватает пары, разбить не удаётся.
Это платный урок курса. Дальше — интерактив: виджеты, схемы и контрольные вопросы. Продолжение — в полном курсе «Учи Кванты!»: открыть полный курс.