Wczytam sie, jak powroce

Jak juz napisalem -- wyglada, ze dobrze kombinujesz

ale to tak tylko po pobieznym rzucie oka
EDIT, po powrocie rzucilem okiem. Wydaje mi sie, ze dobrze rozwiazales. Wrzucam tez moje rozwiazanie (mam nadzieje, ze sie nigdzie nie pomylilem

) -- troche b. chyba przejrzyste
Mamy 12 kulek: 1 2 3 4 5 6 7 8 9 10 11 12
Pierwsze wazenie 1 2 3 4 oraz 5 6 7 8
Jesli rowne to wiemy, ze ta inna jest pomiedzy 9 10 11 12 (sytuacja (1c)). Rozwiazmy najpierw trudniejsza galaz (1a) -- czyli pierwsze wazenie nie jest rowne (szalki sie wychylaja). Mamy zatem:
(1a) pierwsza mozliwosc: lewa szalka poszla w dol (czyli ta z 1 2 3 4) wiec oczywiscie prawa poszla w gore

(2aa) Wazymy 1 2 5 6 oraz 7 8 9 10 (wiemy juz na tym etapie, ze 9 10 sa rowne). Oczywiscie moze sie zdarzyc, ze 1 2 5 6 i 7 8 9 10 sa rowne. W tym wypadku wazymy 3 i 4
(3aaa) 3 idzie w dol -- ciezsza.
Rozwiazane. W przeciwnym wypadku
(3aab) 4 jest ciezsza.
Rozwiazane. To, ze jedna z nich jest ciezsza wiemy z pierwszego wazenia
Jesli podczas drugiego wazenia 1 2 5 6 oraz 7 8 9 10 nie byly rowne mamy dwie mozliwosci:
(2ab) 1 2 5 6 poszly w dol, wiec wiemy, ze 1 lub 2 jest ciezsza
(2ac) 1 2 5 6 poszly w gore, wiec wtedy wiemy, ze 7 lub 8 jest lzejsza
Kolejne wazenie pozwala wyjasnic, ktora jest jaka

(3aba) 1 w dol -- ciezsza.
Rozwiazane, W przeciwnym razie
(3abb) 2 jest ciezsza.
Rozwiazane.
(3aca) 7 idzie w dol -- 8 lzejsza.
Rozwiazane. W przeciwnym razie
(3acb) 8 jest lzejsza.
Rozwiazane.
Sytuacja odwrotna do (1a), czyli (1b) 1 2 3 4 poszly w gore, a 5 6 7 8 poszly w dol mozna rozwiazac uzywajac powyzszego algorytmu.
Teraz prostsza galaz:
(1c) 1 2 3 4 i 5 6 7 8 sa rowne. Wiec inna jest posrod 9 10 11 12. Wazymy zatem 9 10 i 1 12, zostawiajac 11 na boku. Otrzymac mozemy
(2ca) 9 10 idzie w gore i 1 12 idzie w dol. Wiemy teraz, ze albo 9 lub 10 jest lzejsza, albo 12 jest ciezsza. Wazymy zatem 10 12 i np. 1 2
(3caa) jesli 10 12 idzie w gore i 1 2 w dol -- wiemy, ze 10 jest lzejsza.
Rozwiazane.
(3cab) 10 12 w dol, 1 2 w gore -- 12 ciezsza.
Rozwiazane.
(3cac) 10 12 i 1 2 rowne -- 9 jest inna, i w dodatku lzejsza
Rozwiazane.
(2cb) 9 10 idzie w dol, 1 12 idzie w gore. Ponownie, wazymy 10 12 i 1 2, i adaptujac rozwiazania z pkt (3caa) do (3cac) mozemy wywnioskowac, ktora jest inna, i czy lzejsza czy ciezsza
(2cc) 9 10 rowne 1 12. Wiemy zatem, ze 11 jest inna. Trzecie wazenie wyjasnia nam -- mozemy zwazyc 11 i np. 1
(3cca) 11 idzie w dol -- ciezsza.
Rozwiazane. W przeciwnym razie
(3ccb) 11 jest lzejsza.
Rozwiazane.