Graphvizを使用して格子を描画しています。
ノードは数字のセットです。
ラティスなので、ノードの高さ位置(y)は、ノードによって表されるセット内の要素の数を表すようにします。次に、表現をよりクリーンにするために、x位置をgraphvizで定義する必要があります。
出来ますか?
ドットのドキュメントによると、ノードの位置を定義する属性posが必要です。しかし、さまざまな方法で何度も試しましたが、ノードの位置が定義されているグラフを取得できませんでした。誰かがこれで成功しましたか?
以下は私が使用する古典的なドットファイルです:
digraph G {
"528 544\n640 768" -> "768 528";
"528 536\n530 539" -> "539";
"528 536\n530 539" -> "528";
"800 896 548\n944 566 728\n539 704 768" -> "704 768\n539 548";
"800 896 548\n944 566 728\n539 704 768" -> "944 728\n539 566";
"800 896 548\n944 566 728\n539 704 768" -> "944 800\n896 768";
"768 539" -> "768";
"768 539" -> "539";
"768" -> "∅";
"944" -> "∅";
"944 528 536\n530 566 560\n728 656 539" -> "528 536\n530 539";
"944 528 536\n530 566 560\n728 656 539" -> "944 728\n539 566";
"944 528 536\n530 566 560\n728 656 539" -> "944 656\n528 560";
"704 768\n539 548" -> "768 539";
"944 728\n539 566" -> "944";
"944 728\n539 566" -> "539";
"800 896 640\n944 560 528\n544 656 768" -> "528 544\n640 768";
"800 896 640\n944 560 528\n544 656 768" -> "944 656\n528 560";
"800 896 640\n944 560 528\n544 656 768" -> "944 800\n896 768";
"539" -> "∅";
"944 656\n528 560" -> "944";
"944 656\n528 560" -> "528";
"896 640 656 536\n530 728 539 704\n768 800 544 528\n548 944 566 560" -> "800 896 548\n944 566 728\n539 704 768";
"896 640 656 536\n530 728 539 704\n768 800 544 528\n548 944 566 560" -> "944 528 536\n530 566 560\n728 656 539";
"896 640 656 536\n530 728 539 704\n768 800 544 528\n548 944 566 560" -> "800 896 640\n944 560 528\n544 656 768";
"896 640 656 536\n530 728 539 704\n768 800 544 528\n548 944 566 560" -> "768 704 548\n528 530 544\n536 640 539";
"768 528" -> "768";
"768 528" -> "528";
"528" -> "∅";
"768 704 548\n528 530 544\n536 640 539" -> "528 544\n640 768";
"768 704 548\n528 530 544\n536 640 539" -> "704 768\n539 548";
"768 704 548\n528 530 544\n536 640 539" -> "768 528 530\n539 536";
"944 800\n896 768" -> "768";
"944 800\n896 768" -> "944";
"768 528 530\n539 536" -> "528 536\n530 539";
"768 528 530\n539 536" -> "768 539";
"768 528 530\n539 536" -> "768 528";
}
1つのノードの高さが定義されているファイルの例を誰かが書くことができれば、私は非常に感謝しています。