グラフ 全探索 Union-Find 重み付きUnion-Find データ構造 コーナーケース IP定式化 AOJ 差分制約系 AOJ-ICPC AOJ-ICPC800点 JAG JAG夏合宿 牛ゲー max(pi-pj,0) 双対性 テーマにストーリー性のある面白い問題 現実世界の題材を扱った問題