Reverse Engineering der NLT II

[NewProggie]

Das ist richtig. Meine Funktion hat den Vorteil, dass sie mathematisch beweisbar ist.

Jetzt muss ich auch mal den Klugscheißer anschalten.  

Man beweist Aussagen, nicht Funktionen. Vermutlich meinst du die Aussage, dass die angegebene Funktion das tut, was die sie soll, also dass sie die Bytes entsprechend vertauscht. Diese Aussage ist aber für beide Fälle beweisbar, schon allein, weil es nur endlich viele mögliche Eingabe-Bitmuster gibt, die man schlimmstenfalls alle durchprobieren kann. Und in beiden Fällen geht es natürlich auch direkt.

Und ganz praktisch gesprochen, macht so ein Quatsch in einem Rollenspiel auch keinen Sinn oder Unterschied. HPC ist ein wichtiges Werkzeug, aber man muss auch den Kontext sehen (können).