非可換有理式の決定性準多項式時間ブラックボックス同一性テスト

非可換有理式の同一性テストの決定性準多項式時間ブラックボックスアルゴリズムを提案する。