rayhuo / program-simplification Goto Github PK

main函中有三个宏，其分别对应这theoryFiles文件夹中三个文档的理论实现和测试。

• MAXU   : 实现/theroyFiles/MaxU.pdf中第三部分描述的计算一个符合条件的最大的U。
• GRST   : 实现/theroyFiles/Simplifying2014.pdf中给出的计算NLP和DLP的greatest reliable set的算法。
• GRS_WS : 实现/theroyFiles/ijcai15_simplifying.pdf中第6部分给出的计算NLP和DLP的greatest strong/weak reliable set的算法。
  
  

注意： 最后使用的宏为WFM和GRS_WS。其中

• GRS_WS：计算出程序中的GRS和GRS*。
• WFM ：计算出程序的WFM数量。

注意：

/theroyFiles/Simplifying2014.pdf中用于DLP的algorithm 2中计算E的定义有误，E中的元素应该是head(r) \ {p | ~p \in L}，而不是head(r)。前者有效地保证了当前的计算过程在执行uclp的递归时的新X的size必定比当前X的要下，这样便保证了不会死循环。

当前程序的版本和IO中存放的结果是没有执行lookahead和舍弃了计算DLP的GWRS和GSRS中algorithm 1里的for each p \in C, C \subseteq RS^w_P,L(X \cup {p})的。

在PSRunning中的有两个编译版本，其中：

• programSimplificationL  : 仅加上了lookahead。
• programSimplificationLF : 加上了lookahead和DLP中algorithm 1里的for each p \in C, C \subseteq RS^w_P,L(X \cup {p})。

上诉两个新编译版本在运行起来会很慢，暂时没有结果。另外注意：执行这两个版本应该在两个独立的文件夹中，否则后者会覆盖前者的结果，应该输出都在IO/outputs/下对应的文件夹中。

化简过程和目标：

1. 将那些consequence作为约束，加入到P，得到P1;
2. 通过GWRS化简P，将剩下的consequence作为约束加入到化简后的程序中，得到P2;
3. 然后使用clasp/claspD求解程序P1和P2，比较两者的速度，我们的目标是P2更快些。