数学オブジェクトを区別するために不変式を使用したいと思います。私はそれらを持っており、整数の 1 つのシーケンス int[N] によって形成されています。不変式は非常に強力で便利ですが、欠点が 1 つあります。N が大きいためかさばります。
私が望むのは、より単純な不変式を持ち、md5sumを使用することが適切であるように思われることです。いくつかの異なる不変条件を組み合わせることができますが、それらはいずれにせよ不変条件であり、まれであると予想されるため、それは問題ではありません。そのような整数のリストのための md5sum への C インターフェイスはありますか? それは標準的な要件のように聞こえますが、私はそれを見つけることができません。