并不是避免不安全，而是节省计算成本，避免评测没必要评测的（不安全的）状态-动作对。
真是很像我导师的思路呢hhhh
语不惊人死不休
舍您其谁
线上在线自习室晚自习。番茄工作法、四象限、打卡、作业清单、作业辅导、作业交流、作业跟踪、作业计划、个人宣传相关内容
© 行恒 2013
并不是避免不安全，而是节省计算成本，避免评测没必要评测的（不安全的）状态-动作对。
真是很像我导师的思路呢hhhh