Сергей

Задача похожа на клиринговую, только с более широким набором условий.
Задача о клиринге, это когда есть ситуация:
А должен Б. Б должен В. В должен А.

Задача клиринга найти среди множества долгов агентов такие цепочки и максимально сделать взаимозачет между агентами.

В общем плане ваша задача для хороша для Пролога, но там он потонет сам по себе в комбинаторной сложности и не выдаст результат + описание правил еще то занятие.

А возьмите просто, проведите натурный эксперимент.
1. Организуйте № лампочек на плоскости.
2. Свяжите эти точки в виде некоего циклического графа,чтобы каждый точка имела от 0 до 1000-5000 связей с другими лампочками. Распределение таких количества таких связей нужно искать отдельно, но думаю гугл знает.
3. Определите примерную вероятность того, что когда сигнал от одной лампочки доходит до другой, то она загорается (т.о. передавая свет другим лампочкам через связи). Конкретную вероятность знает гугл.
4. Ну а дальше запускайте "вирусный ролик", и смотрите через сколько поколений (и каково это распределение) зажгуться все лампочки.