Chyba wiem, jak sobie poradzić z wersją "b":
niech każdy ZK "odhacza się" nie raz, tylko dwa razy (też najprędzej jak to możliwe). KS powiadomi czarownika, gdy doliczy do 2n-2.
Dlaczego? Jeśli dźwignia jest początkowo na 0, to n-1 dwukrotnie odhaczonych krasnoludków da właśnie 2n-2 zliczeń. Co prawda każdy z nich przeszedł przez komnatę co najmniej dwukrotnie - ale jest to dopuszczalne.
Natomiast jeżeli dźwignia była początkowo na 1, to x=2n-2 oznacza, że n-2 krasnali odhaczyło się dwukrotnie, a jeden jednokrotnie, więc też zostaje spełniony warunek, że każdy miał być przy dźwigni co najmniej raz.