22

我正在使用 GraphViz 可视化一系列流程。每个进程由程序顺序的一些读或写操作组成。自然地，希望针对每个处理以从左到右的顺序排列操作。

使用 GraphViz（2.28 版），我的代码如下所示：

digraph G 
{
ranksep = 1.0; size = "10,10";
{ 
    node [shape = plaintext, fontsize = 20];
    0 -> 1 -> 2 -> 3 -> 4;
}
node [shape = box];
{rank = same;0;wy1;rf1;rc1;rz1;ry1;ra1;rb1;rx2;}
{rank = same;1;wf1;}
{rank = same;2;wx2;wc1;}
{rank = same;3;wf2;wz2;wx3;wa1;}
{rank = same;4;wz1;wy2;wx5;wb1;}
wy1 -> rf1;
rf1 -> rc1;
rc1 -> rz1;
rz1 -> ry1;
ry1 -> ra1;
ra1 -> rb1;
rb1 -> rx2;
wx2 -> wc1;
wf2 -> wz2;
wz2 -> wx3;
wx3 -> wa1;
wz1 -> wy2;
wy2 -> wx5;
wx5 -> wb1;
wf1 -> rf1[color = blue];
wc1 -> rc1[color = blue];
wz1 -> rz1[color = blue];
wy1 -> ry1[color = blue];
wa1 -> ra1[color = blue];
wb1 -> rb1[color = blue];
wx2 -> rx2[color = blue];

// W'WR Order:
wx3 -> wx2[style = dashed, color = red];

// W'WR Order:
wx5 -> wx2[style = dashed, color = red];
}

很抱歉，我不允许发布声誉太低的输出图片。如果你可以运行代码，你会看到结果不是那么令人满意，因为 pid = 3 的过程中出现了乱序。具体来说，GraphViz 布局算法重新排列了（理想的）顺序“wf2-> wz2 -> wa1 -> wx3”到“wx3，wf2，wz2，wa1”。因此，我的问题是：

我的问题：如何在排名环境中强制执行从左到右的节点排序？

通过在这个网站上的探索，我发现了一些类似的问题和潜在的解决方案。但是，它们在我的具体示例中不起作用：

  • Graphviz .dot 节点排序：约束 = false选项使我的 PDF 图片更糟。我检查了点用户手册，上面写着：

    在等级分配期间，边缘的头节点被限制在比尾节点更高的等级上。但是，如果边缘的约束=false，则不强制执行此要求。

    基于以上陈述，（我猜）约束=假选项在不同等级之间而不是在同一等级之间生效。

  • Graphviz---随机节点顺序和通过标签的边：令人惊讶的是，constraint = false选项在同一等级中帮助了“有限状态机”很多。同样，它并没有使我免于麻烦。

  • graphviz：循环布局，同时保留节点顺序：过程图在节点和边数上都是动态的。因此，使用节点的绝对位置可能没有吸引力（导致许​​多边缘交叉？）。

    感谢您的任何建议。可执行代码将不胜感激。

点文件

4

1 回答 1

18 
    digraph G 
{
ranksep = 1.0; size = "10,10";
{ 
    node [shape = plaintext, fontsize = 20];
    0 -> 1 -> 2 -> 3 -> 4;
}
node [shape = box];
{
rank = same;
0->wy1->rf1->rc1->rz1->ry1->ra1->rb1->rx2 [color=white];
rankdir=LR;
}
{
rank = same;
1->wf1[color=white];
rankdir=LR
}
{
rank = same;
2->wx2->wc1[color=white];
rankdir=LR;
}
{
rank = same;
3->wf2->wz2->wx3->wa1[color=white];
rankdir=LR;
}
{
rank = same;
4->wz1->wy2->wx5->wb1[color=white];
rankdir=LR;
}
wy1 -> rf1;
rf1 -> rc1;
rc1 -> rz1;
rz1 -> ry1;
ry1 -> ra1;
ra1 -> rb1;
rb1 -> rx2;
wx2 -> wc1;
wf2 -> wz2;
wz2 -> wx3;
wx3 -> wa1;
wz1 -> wy2;
wy2 -> wx5;
wx5 -> wb1;
wf1 -> rf1[color = blue];
wc1 -> rc1[color = blue];
wz1 -> rz1[color = blue];
wy1 -> ry1[color = blue];
wa1 -> ra1[color = blue];
wb1 -> rb1[color = blue];
wx2 -> rx2[color = blue];

// W'WR Order:
wx3 -> wx2[style = dashed, color = red];

// W'WR Order:
wx5 -> wx2[style = dashed, color = red];
}

我不太确定我是否正确地解决了您的问题，但请尝试使用它并评论是否是您想要的。我为节点的正确排名添加了不可见的边缘，并使用 rankdir 来使用左右布局。

于 2013-01-17T15:30:15.613 回答