Deterministische Quasipolynomielle Zeitkomplexität für das Identitätstesten von nichtkommutativen rationalen Formeln in der Black-Box-Umgebung

Wir konstruieren einen deterministischen quasipolynomiellen Hitting-Set für die Klasse der nichtkommutativen rationalen Formeln beliebiger Größe, was zu einem deterministischen quasipolynomiellen Algorithmus für das Identitätstesten in der Black-Box-Umgebung führt.