Betrachten Sie das folgende Zählproblem (oder das damit verbundene Entscheidungsproblem): Berechnen Sie bei zwei binär codierten positiven Ganzzahlen ihren größten gemeinsamen Divisor (gcd). Was ist die kleinste Komplexitätsklasse, in der dieses Problem enthalten ist? Können Sie eine Referenz angeben?
In dieser Frage geht es mir nicht primär um asymptotische Grenzen der Laufzeit, sondern um Komplexitätsklassen. Liegt das Problem bei AC? Kann nachgewiesen werden, dass es nicht in AC0 liegt? Was sind andere Komplexitätsklassen in P, die hier relevant sind?