1つのクリティカルなヒントをだすとすれば pは実は素数なので
有限体F_p上の楕円曲線の問題に変換することがあげられる
種数1の代数曲線なので Weierstrass の標準形に双有理写像でうつす
ただF_p上の楕円曲線の点の個数をカウントするのはやはり不可能のまま
(それは計算量的に元の方程式の点の個数をカウントすることと同じ)
しかし恩恵がまったくないわけではない...