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