本論文は、階層的微分代数法を通じて特定のサブクラスの指数ディオファントス方程式を解決するための完全な構成フレームワークを提示する。従来の非構成的アプローチとは異なり、特定の構造条件を満たす方程式に対して明示的な計算手順を提供し、厳密な誤差境界を設定する。我々の主要な貢献は次のとおりである：（1）良条件のシステムに対する超有限再帰を避ける構成的定義；（2）支配的単項構造を持つ方程式に対して計算可能な基底関数と係数多項式を持つ明示的な解の公式；（3）適切な正則条件下での証明済みの誤差境界を伴う完全な数値分析；（4）構造化問題クラスにおいて高精度精度（残差 < 10−20）を示す実験的検証；（5）古典的不可能性結果との厳密な調和。このフレームワークは、ツリー幅と対称性が低いシステムに対して多項式の複雑さを達成し、決定不可能性の結果によって課せられた基本的な制限を正直に認める。
liu et al. (Sat,) はこの問題を研究した。