Closed zdx3578 closed 1 month ago
in 《Relational decomposition for program synthesis 》 ARGA use paired-node，if use hyperedge, 连续相同颜色节点为一个对象，可以提高对象操作效率， 我提取了相同颜色节点为一个超变 ILP 可以轻松表示超变hyperedge多节点
另外 fig 1 的rule
out(X,Y,yellow):- empty(X,Y), height(X). 是不是应该高度1 out(X,Y,yellow):- empty(X,Y), height(1).
What is the question?
andrewcropper
commented
1 month ago
in 《Relational decomposition for program synthesis 》 ARGA use paired-node，if use hyperedge, 连续相同颜色节点为一个对象，可以提高对象操作效率， 我提取了相同颜色节点为一个超变 ILP 可以轻松表示超变hyperedge多节点
另外 fig 1 的rule
out(X,Y,yellow):- empty(X,Y), height(X). 是不是应该高度1 out(X,Y,yellow):- empty(X,Y), height(1).