《表4 随着比率变化的参数值》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《一种基于识别重复路径的动态决策策略》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

表3中“随机”表示此类实例中每个实例的S.size的值的覆盖范围都是不同的，无法总结出具体的数值.表3的第3列表示每种类型实例的子句数与变元数比率的分布范围，比率（ratio）=子句数/变元数.从表3可以看出，比率范围为3～5的实例类型有13种，对应的S.size（）的区间范围大致可分类两类:10～80和150～1000；比率范围为7～15的实例类型有5种，对应的S.size（）的区间范围为:15～40；其余3种实例类型的比率范围均较大，对应的S.size（）的区间范围:10～50.这里，我们设置参数值min和max是随着不同类型实例的比率而动态变化的，根据上述统计结果，如表4所示.