如何在Graphviz子图集群中强制节点排序？

我尝试构建左向右（rankdir=LR）方向的图，要求第二列节点保持精确顺序，但Graphviz始终无视设置。简化后的测试dot脚本如下：

digraph g
{
    rankdir=LR;
    ranksep=1.5;

    node [shape=rectangle style=solid];

    subgraph cluster_rank1
    {
        rank=same;
        style=invis;

        subgraph cluster_group1A
        {
            label="group1A";
            style=solid;

            node1A1;
            node1A2;
            node1A3;
        }

        subgraph cluster_group1B
        {
            label="group1B";
            style=solid;

            node1B1;
            node1B2;
            node1B3;
        }

        orphaned_node1A;

        orphaned_node1B;

        subgraph cluster_group1C
        {
            label="group1C";
            style=solid;

            node1C1;
            node1C2;
        }
    }

    subgraph cluster_rank2
    {
        rank=same;
        style=invis;

        subgraph cluster_group2A
        {
            label="group2A";

            node2A1;
            node2A2;
            node2A3;
            node2A4;
            node2A5;
            node2A6;
            node2A7;
            node2A8;
            node2A9;
            node2A10;
            node2A11;
            node2A12;

            // enforce node ordering (not working)

            edge [weight=1000 constraint=false color=red];

            node2A1 ->
            node2A2 ->
            node2A3 ->
            node2A4 ->
            node2A5 ->
            node2A6 ->
            node2A7 ->
            node2A8 ->
            node2A9 ->
            node2A10 ->
            node2A11 ->
            node2A12;
        }
    }

    node1A2           -> node2A1              [weight=0];
    node1A3           -> node2A2              [weight=0];
    node1A1           -> node2A3              [weight=0];

    node1B1           -> node2A4              [weight=0];
    node1B2           -> node2A5              [weight=0];
    node1B3           -> node2A9              [weight=0];

    orphaned_node1A   -> node2A6              [weight=0];
    orphaned_node1A   -> node2A7              [weight=0];
    orphaned_node1A   -> node2A8              [weight=0];
    orphaned_node1B   -> node2A10             [weight=0];

    node1C1           -> node2A11             [weight=0];
    node1C2           -> node2A12             [weight=0];
}

测试结果显示节点未按红色边指定顺序排列，尝试ordering=out/in、高权重约束边等方法均无效。Graphviz反而按第一列声明顺序排列，让黑色边尽量笔直。这是操作有误，而非bug。

问题原因 #

• constraint=false的影响：你添加的红色边设置了constraint=false，这会让Dot忽略这些边的布局约束，自然无法用来强制节点顺序。
• 第一列边的优先级：即使设置了高权重，第一列到第二列的边会引导Dot尽量让边保持笔直，从而覆盖你想要的排序规则。
• ordering属性的误用：ordering=out/in主要控制节点出边/入边的顺序，对同一rank内的节点整体排序作用有限。

解决方案 #

要强制第二列节点顺序，需让排序约束边参与布局计算，同时降低第一列边对排序的影响：

1. 修改第二列的约束边，去掉constraint=false，如果不想显示这些边，可设置color=invis；
2. 给这些约束边设置极高权重，确保排序优先级高于第一列的边；
3. 可选：给第一列到第二列的边设置constraint=false，彻底消除它们对第二列排序的影响（如果允许边弯曲）。

修正后的脚本示例：

digraph g
{
    rankdir=LR;
    ranksep=1.5;

    node [shape=rectangle style=solid];

    subgraph cluster_rank1
    {
        rank=same;
        style=invis;

        subgraph cluster_group1A
        {
            label="group1A";
            style=solid;

            node1A1;
            node1A2;
            node1A3;
        }

        subgraph cluster_group1B
        {
            label="group1B";
            style=solid;

            node1B1;
            node1B2;
            node1B3;
        }

        orphaned_node1A;

        orphaned_node1B;

        subgraph cluster_group1C
        {
            label="group1C";
            style=solid;

            node1C1;
            node1C2;
        }
    }

    subgraph cluster_rank2
    {
        rank=same;
        style=invis;

        subgraph cluster_group2A
        {
            label="group2A";

            node2A1;
            node2A2;
            node2A3;
            node2A4;
            node2A5;
            node2A6;
            node2A7;
            node2A8;
            node2A9;
            node2A10;
            node2A11;
            node2A12;

            // 强制排序的约束边：参与布局，隐藏显示，极高权重
            edge [weight=10000 constraint=true color=invis];

            node2A1 -> node2A2 -> node2A3 -> node2A4 -> node2A5 ->
            node2A6 -> node2A7 -> node2A8 -> node2A9 -> node2A10 ->
            node2A11 -> node2A12;
        }
    }

    // 第一列到第二列的边：设置constraint=false，不再影响第二列排序
    node1A2           -> node2A1              [weight=0 constraint=false];
    node1A3           -> node2A2              [weight=0 constraint=false];
    node1A1           -> node2A3              [weight=0 constraint=false];

    node1B1           -> node2A4              [weight=0 constraint=false];
    node1B2           -> node2A5              [weight=0 constraint=false];
    node1B3           -> node2A9              [weight=0 constraint=false];

    orphaned_node1A   -> node2A6              [weight=0 constraint=false];
    orphaned_node1A   -> node2A7              [weight=0 constraint=false];
    orphaned_node1A   -> node2A8              [weight=0 constraint=false];
    orphaned_node1B   -> node2A10             [weight=0 constraint=false];

    node1C1           -> node2A11             [weight=0 constraint=false];
    node1C2           -> node2A12             [weight=0 constraint=false];
}

说明 #

• 隐藏的高权重约束边会强制Dot按指定顺序排列第二列节点；
• 第一列到第二列的边设置constraint=false后，Dot会允许边弯曲，不再干扰第二列的排序；
• 如果需要保留第一列边的约束（不允许过度弯曲），可以只保留约束边的高权重，不设置第一列边的constraint=false，但需确保约束边权重足够高（比如weight=10000），覆盖第一列边的影响。

内容的提问来源于stack exchange，提问作者Youda008