円弧グラフとヘリー性

円弧グラフにおいて、正規化されたモデルの全てがヘリー性を満たすか、全て満たさないかのどちらかであることを示す。また、単一の最大クリークのヘリー性の判定アルゴリズムと、与えられた最大クリークの集合に対してヘリー性を満たすモデルの存在を判定するアルゴリズムを提案する。