有限体上の既約多項式を構築するための効率的な擬決定性アルゴリズムが提示されており、これは、すべての次数dに対して有効でありながら、決定的な多項式因数分解アルゴリズムに依存しているため、完全な決定性アルゴリズムへの変換は課題として残されています。