"Unzulässig" deswegen, weil Frau Savant diese Zusatzannahmen nicht explizit formuliert hat, und sie außerdem alle anderen Lösungen, die auf anderen Zusatzannahmen beruhen, als falsch klassifiziert hat. "Zulässig" sind solche Annahmen, wenn sie als solche gekennzeichnet sind und dabei klar gemacht wird, dass damit das Problem nicht in seinem ganzen Umfang erfasst wird. D.h. es sind auch andere Annahmen möglich, die zu richtigen Lösungen führen. -- Geodel 13:06, 6. Feb. 2011 (CET)