[bert04]

Nie musi robić nic, towarzystwo się nawzajem anihiluje

---

Uzasadnienie:

Liczby początkowe:

S=463
K=130
G=37

Zaczynając od maksymalnego uproszczenia, czyli grupy trzech gostków trzech rodzajów dochodzimy do wniosku, że grupa S+G+K zawsze się anihiluje. Niezależnie od tego, kto najpierw zacznie.

S+G=K // K+K=0
S+K=G // G+G=0
G+K=S // S+S=0

Jeżeli rozszerzymy tę grupę do czterech, przykładowo S+G+K+K, pozostaje tylko K. Znowu niezależnie od tego, kto najpierw zacznie.

S+G=K; K+K=0, pozostaje K
S+K=G, G+K=S, pozostają G+S // G+S=K

Po tym rozumowaniu możemy uznać, że każda grupa złożona z trzech takich samych stworów się anihiluje, a dodanie czwartego stwora nic nie zmienia. Więc odejmujemy w pierwszym rozdaniu wszystkie "trójki", czyli minus 37

S=426
G=93
K=0

(...)

EDIT 4: Kolejne kroki były tak chałupnicze i tak pełne błędów, że rezygnuję z odpowiedzi. Być może za kolejnym razem wyszło mi prawidłowo, ale nawet jeśli, to algorytm tak niechlujny, że już nie chcę go tu zamieszczać. Niech ktoś inny kontynuuje.