用于可视化子图DAG的建议工具

Question

我正在编写一个程序，它基本上处理一个子图DAG，即图是一个有向无环图，图的每个节点都是一个子图。例如，对于DAG中的边a->b，节点a是三角形的子图，节点b是四个团的子图。边a->b表示通过增加一个子图顶点和三个子图边从三角形扩展到四个团。

 +=======+        +=======+
 | a---b |        | a---b |
 | |  /  |        | |\ /| |
 | | /   | =====> | | X | |
 | |/    |        | |/ \| |
 | c     |        | c---d |
 +=======+        +=======+
     A                B  

出于多种目的，我想将这个子图DAG可视化，即可视化可以同时显示DAG的整个结构和所有节点的子图。另外，如果它也能显示顶点和边的性质，那就更好了。

1. 对于DAG边缘a->b，节点a位于节点b之上。(GraphViz现在将所有DAG节点放在同一行中）
2. 正确放置节点，使DAG边之间的交集最小化。

还有其他的选择吗？提前感谢！

Answer 1

如果我理解您的要求，我认为这个点程序非常接近：

digraph dag {
  compound=true  // needed for A->B edge (kludge, but documented)
  edge [dir=none]  // no arrowheads
  subgraph clusterA{
   labelloc=b
   label="A"
   Aa -> Ab // [constraint=false]  // keep on same rank
   Ab -> Ac
   Aa -> Ac
   {
   rank=same
   Aa [label="a"]
   Ab [label="b"]
   }
   Ac [label="c"]
}
  subgraph clusterB{
   labelloc=b
   label="B"
   Ba -> Bb // [constraint=false]  // keep on same rank
   Bc -> Bd // [constraint=false]  // keep on same rank
   Bb -> Bc
   Ba -> Bc
   Bb -> Bd
   Ba -> Bd
   {
   rank=same
   Ba [label="a"]
   Bb [label="b"]
   }
   {
   rank=same
   Bc [label="c"]
   Bd [label="d"]
   }
}
Ac -> Ba [dir=forward ltail=clusterA lhead=clusterB  minlen=2] 
}