組み合わせ最適化における指数サイズ・多項式時間近傍の設計

指数サイズ・多項式時間近傍の設計の基礎となるグラフ分割アルゴリズムの研究を続け、成果を得た。平面グラフの分枝幅決定および分枝分割アルゴリズムの実装法についての実験を行い、種々の工夫を行うことによって従来の実装法では扱うことのできなかった大きさのグラフについても幅決定と分割構成ができることを確認した。また、平面グラフに対する刻み幅決定アルゴリズムを平面グラフよりも広いクラスに拡張するための研究を行い、進展を見た。拡張の基礎として、細部が公刊されていなかった、平面グラフのアルゴリズムの正当性の証明のある部分について、わかりやすい別証を構成した。この証明とそれに基づいた刻み幅決定アルゴリズムは、次のような平面上の描画を持つグラフのクラスに拡張できる見通しがついている(この部分については発表準備中)。(1)どの辺も高々一本の辺と交差する。(2)交差する辺をすべて取り除いてできる描画の各面において、取り除かれた辺は高々一対である。(3)交差の総数は定数以内である。また、近傍解法のハードウェア化の基礎として、ルックアップ表と算術分解にもとづいた論理回路の構成法の応用で成果を挙げた。

指数サイズ・多項式時間近傍の設計の基礎となるグラフ分割アルゴリズムの研究を続け、成果を得た。平面グラフの分枝幅決定および分枝分割アルゴリズムの実装法についての実験を行い、種々の工夫を行うことによって従来の実装法では扱うことのできなかった大きさのグラフについても幅決定と分割構成ができることを確認した。また、平面グラフに対する刻み幅決定アルゴリズムを平面グラフよりも広いクラスに拡張するための研究を行い、進展を見た。拡張の基礎として、細部が公刊されていなかった、平面グラフのアルゴリズムの正当性の証明のある部分について、わかりやすい別証を構成した。この証明とそれに基づいた刻み幅決定アルゴリズムは、次のような平面上の描画を持つグラフのクラスに拡張できる見通しがついている(この部分については発表準備中)。(1)どの辺も高々一本の辺と交差する。(2)交差する辺をすべて取り除いてできる描画の各面において、取り除かれた辺は高々一対である。(3)交差の総数は定数以内である。また、近傍解法のハードウェア化の基礎として、ルックアップ表と算術分解にもとづいた論理回路の構成法の応用で成果を挙げた。