20.12.2019, 17:09
Meines Erachtens funktioniert deine 10, damit ist 11 nicht die Lösung.
Aber wlog/oBdA greift hier trotzdem nicht, weil du in dem nicht genannten Fall weniger Informationen hast. Nachdem du für den genannten Fall den weiteren Lösungsweg angegeben hast, muss noch explizit geprüft werden, ob dieser mit dem niedrigeren Informationsstand immer noch funktioniert - das tut er natürlich, aber allein die Notwendigkeit einer solchen Prüfung stellt ein Problem dar.
Mit wlog/oBdA kannst du Situationen wie
12&AB - 3 - 45&CD - 6 - 78
vs
12&AB - 3 - 45 - 6 - 78&CD
abdecken, weil du in diesen Fällen exakt die gleiche Menge an Informationen hast und damit ein analoger Lösungsweg automatisch funktioniert.
Aber wlog/oBdA greift hier trotzdem nicht, weil du in dem nicht genannten Fall weniger Informationen hast. Nachdem du für den genannten Fall den weiteren Lösungsweg angegeben hast, muss noch explizit geprüft werden, ob dieser mit dem niedrigeren Informationsstand immer noch funktioniert - das tut er natürlich, aber allein die Notwendigkeit einer solchen Prüfung stellt ein Problem dar.
Mit wlog/oBdA kannst du Situationen wie
12&AB - 3 - 45&CD - 6 - 78
vs
12&AB - 3 - 45 - 6 - 78&CD
abdecken, weil du in diesen Fällen exakt die gleiche Menge an Informationen hast und damit ein analoger Lösungsweg automatisch funktioniert.