shwatanap / KIT-Frontier

TdZddを用いてs-t問題を解く

KIT-Frontier

TdZddを用いてs-t問題を解く

実行方法

s-tパス問題

make NUM=[n]
(./path grid/grid$(NUM)x$(NUM))

解の数のみを出力する場合はsolutionOutputをコメントアウトしてください

ハミルトン閉路問題

make exech NUM=[n]
(./hamilton grid/grid$(NUM)x$(NUM))

解の数のみを出力する場合はsolutionOutputをコメントアウトしてください

ZDDの描画

make dot(doth) NUM=4
(./path(hamilton) grid/grid$(NUM)x$(NUM).grh > output.dot && dot -Tpng output.dot -o output.png)

ZDDを描画する際はsolutionOutputと解の出力をコメントアウトしてください