実験では実際に計算させて周期がないかどうかをしらべています。
しかし大きな周期は無理なので確認方法がわかる人がいたらお願いします。
計算量的な安全性は証明できても実装した場合に安全かどうかは別なので。