Exponentielle Trennung zwischen Quanten- und klassisch geordneten binären Entscheidungsdiagrammen, Umordnungsmethode und Hierarchien