python - graphviz で大きなグラフをレイアウトする

Question

私の娘たちは、三目並べに似たゲームを作りました。もちろん、彼らと一緒に遊んでいるうちに、頭の中で総当たり攻撃を始めました...

そこで、ランチタイムに、ゲームを「解く」ための簡単な Python スクリプトを作成しました。結果をグラフで確認したかったので、すべての正当な動きのドット ファイルを生成しました。

ここにデータを貼り付けました。

を使用してレンダリングしようとするとdot、永遠に時間がかかり、数時間後に中止します。

neatoまたはなどを使用してレンダリングするとsfdp、数秒以内で済みますが、レイアウトを実際に読み取ることはできません。

sfdp -x -Tpng data.dot > data.png

neato -x -Tpng data.dot > data.png

結果の画像が数メガピクセルになるとうれしいです。

このような大きなグラフをどのようにレイアウトしてレンダリングできますか? レイアウトもできるPythonライブラリなど、ドット以外の提案も受け付けています。

^{（一部関連リンク）}

追加:ゲームを解決してドット ファイルを生成するPython スクリプト

Answer 1

これを試して：

sfdp -x -Goverlap=scale -Tpng data.dot > data.png

は-Goverlapレイアウトを保持しますが、ノードのオーバーラップがなくなるまで均一に拡大します。ズームアウトすると、このように見える ~77MB の PNG を取得できました。

Answer 2

引き続き neato を使用できますが、.dot ファイルを次のように変更できます: [splines=true overload=false]

ファイルは次のようになります。

digraph luffarschack {
    graph [splines=true overlap=false];
    node [shape=none]; 
        ...here your nodes;
        ...here your edges;
}

2 行目に「graph [splines=true overlay=false]」を入力するだけで、他のすべてが同じままである場合に機能するはずです。