先随机后穷举地压力测试判别协议

对候选判别式不要只做单点小规模检查；应同时用随机压力测试和边界穷举，在更大字母表与更长串上验证其稳定性。若两种测试都长期不出反例，至少说明它比局部样例更可信，但仍不能代替证明。