Учи Кванты!Курс → Сжатый свет и гафниан

Гафниан: счётчик пар, который любит плотные графы

Пора соединить две линии блока. В первой главе мы искали плотные группы в графе и упёрлись в перебор; в прошлом уроке увидели, что сжатый свет рождает фотоны парами. Между этими фактами есть мост: функция по имени гафниан. Она считает способы разбить компанию на пары, растёт на плотных графах и, как выяснится, управляет тем, что выпадает на детекторах фотонной машины.

Счётчик пар

Начнём с четырёх вершин, связанных всеми шестью рёбрами. Вопрос: сколькими способами можно разбить их на две пары так, чтобы в каждой паре было ребро? Ответ посчитан под графом: три способа, и все перечислены.

Число таких разбиений и называется гафнианом графа. Пощёлкайте по рёбрам, выключая их: вместе с ребром исчезают и разбиения, в которых оно участвовало. Оставьте совсем мало рёбер, и гафниан упадёт до нуля: группу, где не всем хватает пары, разбить не удаётся. У родни этой функции вы уже были в гостях: перманент считал похожую сумму, а гафниан делает то же для пар внутри одной компании.

Это платный урок курса. Дальше — интерактив: виджеты, схемы и контрольные вопросы. Продолжение — в полном курсе «Учи Кванты!»: открыть полный курс.

Состояние

Измерение

Нажмите «Выполнить» — появится гистограмма исходов.

Сфера Блоха