Core Concepts
単位円グラフおよび送信グラフにおいて、三角形を発見し、非加重周長を計算するための最適な堅牢なアルゴリズムを提案する。
Abstract
本論文では、単位円グラフおよび送信グラフに対して、三角形を発見し、非加重周長を計算するための堅牢なアルゴリズムを提案している。
単位円グラフの場合:
頂点の次数が5を超える頂点が存在する場合、その頂点とその7つの隣接頂点の間に三角形が必ず存在することを示す。
この性質を利用して、三角形の発見アルゴリズムを提案し、O(n)の時間計算量で動作することを示す。
さらに、三角形の有無を判定することで、非加重周長を線形時間で計算できることを示す。
送信グラフの場合:
双方向辺を持つ頂点が6つ以上存在する場合、必ず三角形が存在することを示す。
この性質を利用して、三角形の発見アルゴリズムを提案し、O(n+m)の時間計算量で動作することを示す。
これらのアルゴリズムは、入力が単位円グラフや送信グラフであるかどうかに関わらず、常に有用な出力を返す堅牢なアルゴリズムである。入力が対象のグラフクラスに属する場合は正しい答えを返し、そうでない場合は入力が対象のグラフクラスに属さないことを報告する。