《表1 约束负表:一种笛卡尔积压缩的负表约束上表缩减算法》
通过从MDD图中直接抽取c-tuple的方法[12]获取约束负表如表1所示,其笛卡尔积压缩形式如表2所示.表1中的前2个元组被压缩成压缩元组({a},{a},{a,b}),后4个元组被压缩成({b,c},{b,c},{c}),表2中变量x,y,z的取值域分别为{b,c},{b,c},{c}.标准负表表1的规模为6,经过笛卡尔积压缩后,得到压缩负表表2的规模为2,可得出压缩率为3.
图表编号 | XD0053076300 严禁用于非法目的 |
---|---|
绘制时间 | 2019.05.26 |
作者 | 蔡毛毛、李占山、董学阳 |
绘制单位 | 吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室、吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室、吉林大学公共计算机教学与研究中心 |
更多格式 | 高清、无水印(增值服务) |