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

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

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

Счётчик пар

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

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

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

Состояние

Измерение

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

Сфера Блоха