对数器
你有一个想测的方法A,同时也能实现一个不追求时间复杂度,但是很好想的方法B(或者系统自带的)。写一个能够产生满足A和B输入的随机样本产生器,将样本产生器的样本送到A和B中,比较结果或者程序有没有报错。随后可以通过调整样本产生器产生样本序列长度,测试几千万次,若不出错,则A一定是对的。
你有一个想测的方法A,同时也能实现一个不追求时间复杂度,但是很好想的方法B(或者系统自带的)。写一个能够产生满足A和B输入的随机样本产生器,将样本产生器的样本送到A和B中,比较结果或者程序有没有报错。随后可以通过调整样本产生器产生样本序列长度,测试几千万次,若不出错,则A一定是对的。