Фонарики в цепочке и проверка, которая рвёт узоры
У реки тянулась очередь на праздник фонариков. Люди шли по узкой дорожке и каждые пару шагов менялись с соседями цветными светящимися кольцами. Смотритель с планшетом то и дело останавливал кого-то: стой, быстрая проверка. И обмен на секунду обрывался.
Этот обмен кольцами похож на то, как в длинной цепочке маленьких штук связь расползается от соседа к соседу и становится общей. А проверка похожа на проверку в реальности: она не просто смотрит, она толкает и сбивает с шага. Вывод простой: обмен растит связь, частые проверки её режут.
Когда обмен шёл бодро, а остановки были редкими, узор будто жил на всей очереди сразу. Когда смотритель тормозил людей постоянно, узор держался только в крошечных кучках рядом с каждым. А между этими крайностями он рос медленно, как слух, который всё время прерывают и он заново склеивается.
Потом всех загнали на мостик в одну шеренгу, и проверку можно было устроить где угодно. И тут люди спорили о главном: в очень длинной очереди есть ли момент, когда узор всё-таки выживает при не слишком частых проверках, просто проявляется поздно. Или любая, даже слабая, привычка проверять со временем всё равно режет узор до мелких групп.
Неожиданная находка была в «мягкой» проверке. Если смотритель сверяет цвета так, что не мешает обмену, организатору не нужно помнить всю историю каждого. Хватает тетрадки, где записано, насколько связаны пары мест в очереди. Каждая проверка правит эту тетрадку по одному аккуратному правилу.
А потом стало видно, что случайность и «урезание вариантов» это разные вещи. Можно вообще никого не останавливать, а просто ввести правило, из-за которого одни шаги становятся невыгодными. Тогда люди сами понемногу сдвигаются к одному концу моста, и дальняя связь сдувается. Бывает и так, что у связи как будто есть срок годности, и она гаснет сама.
Я смотрел на мостик и понимал, что привычное «ну проверим же, чего такого» не всегда безобидно. Рваная проверками очередь держит только местные узоры, а мягкая проверка даёт шанс увидеть общую картину по простым парным связям. И всё равно вопрос висел в воздухе: на самом длинном мосту узор останется или его любая проверка когда-нибудь перережет?