【論理】Prolog【初心者】

[465 デフォルトの名無しさん 2012/03/22(木) 21:30:08.50]

計算量はどうでもいいならできるだろ。
AとBがワープ関係のとき、A→B→Aのような無意味なループを発生させる経路を省けば、経路は有限だからな。総当りでいける。