Tym razem mamy w N urnach żetony 3 kolorów: czerwone, białe i niebieskie i chcemy je poprzestawiać tak, aby końcowo były ułożone w tej właśnie kolejności.
Wskazówka: Postaraj się zachować następujący niezmiennik: N(c,b,n)=∀1≤k<c:Kol(k)=czerwony∧∀c≤k≤b:Kol(k)=biały∧∀n<k≤N:Kol(k)=niebieski∧1≤c≤b≤n+1≤N+1.