最終的に結果が出るループと出ないループの区別が難しい、みたいな話を聞いた気がします

12:42 AM

pとq作ってお互いに参照したらそれもループだけど

12:43 AM

この手のやつ判定しようとするとO(2^フィールドの数)になるんじゃないかな

12:44 AM

単純なやつでも、サブクラスまで見ないといけないというのもあるから難しいかも。