的划分机内都不能猜测三维是「脏的」还是有上锁。上锁方法在给定的体能训练统计数据上执行的确实是RFF方法，只对其随机硬币（random coin）进行篡改。为了让结论更形式化