选择实际BEC工具的标准形式时需要考虑的四个复杂度标准
1)转换到标准形式的效率
2)对内存的需求
3)两个不同的表示转换成标准形式的效率的比较
4)比较结果不一致时,生成反例的效率
立减 ¥
请填写红包祝福语或标题
红包个数最小为10个
红包金额最低5元
抵扣说明:
1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。 2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。