First some abbreviations: W1, W2, W3 = Weighing # 1, 2, 3 & Tag balls with characters 'A' through 'L', then
W1 ABC-DEF means: weigh balls A,B,C on left scale and D,E,F on right one. Weighing results: LU = left scale up, LD = left scale down, EQ = equilibrium.
My solution:
(Indentation for next weighing, ':' for next step, same weighing/outcome as in preceding line is left blank)
W1 ABCD-EFGH, EQ: W2 IJK-ABC EQ: W3 L-A EQ: (impossible)
LU: L lighter
LD: L heavier
LU: W3 I-J EQ: K lighter
LU: I lighter
LD: J lighter
LD: W3 I-J EQ: K heavier
LU: J heavier
LD: I heavier
LU: W2 ABE-FCI EQ: W3 G_H EQ: D lighter
LU: H heavier
LD: G heavier
LU: W3 A-B EQ: F heavier
LU: A lighter
LD: B lighter
LD: W3 C-L EQ: E heavier
LU: C lighter
LD: (impossible)
LD: W2 ABE-FCI EQ: W3 G_H EQ: D heavier
LU: G lighter
LD: H lighter
LU: W3 C-L EQ: E lighter
LU: (impossible)
LD: C heavier
LD: W3 A-B EQ: F lighter
LU: B heavier
LD: A heavier
(3 weighing outcomes are impossible, as expected:
3*3*3-3 = 12*2)
Explan. Row #10,11,12: D lighter, H heavier, G heavier:
W1 ABCD-EFGH, LU: IJKL are regular, W2 ABE-FCI EQ: ABCEF are regular, leaving DGH. W3 G-H EQ: GH are regular, so W1 means D is lighter, by the other two results of W3 D is regular, so W1 means either G or H is heavier, determined by W3.
Explan. Row #22,23,24:
W1 ABCD-EFGH, LD: IJKL are regular, W2 ABE-FCI LU: DGH are regular, so only one of ABCEF is irregular, compared to W1 balance was tipped other way round, and only CE switched scale, so either E is lighter or C is heavier, which is why
W3 C-L LU is impossible, and accounts for the outcome of rows 22 & 24.
I leave you guys to work out the rest, or did I give away too much already?
