タイプ Lee の定式化

• 終端駅をちょうど２回通る
  →（終端駅につながる枝の変数の総和）＝２
• すべての分岐駅について、
  その駅から出ていく線路のうち、
  最長経路に含まれるのは０本もしくは２本
  →ちょっとトリッキーだが定式化は可能