まずは"完全"を定義しないと仕様も決まらないんじゃ・・
例えば特定に百万年かかるとかなら実用上完全と言えるんじゃない?