マッチング
グラフ
用語。端点を共有しない辺の集合