The mathematical guarantees offered by these methods are a necessity for compilers and verifiers, for it is unimaginable that one would use a compiler or a verifier based on heuristics that give correct results only 90% of the time.
The mathematical guarantees offered by these methods are a necessity for compilers and verifiers, for it is unimaginable that one would use a compiler or a verifier based on heuristics that give correct results only 90% of the time.
这些方法所提供的数学保证是编译器和验证程序必需的，无法想象谁会使用一个只保证90%正确率的基于启发式的编译器或验证程序。