1 0 0 0 離散凸解析と離散距離空間の研究
離散凸解析と離散距離空間の理論と応用に関して,本年度は以下のよう研究を行った1.6月と1月に韓国のPohang工科大学のJack Koolen教授を訪問し,Tight SpanやSplit分解法,正則多面体分割について有益なディスカッションを行った.特に2度目の訪問においては,私の研究すなわち,Tight SpanやSplit分解法の拡張や関連する話題のチュートリアル講演を行った.これにより,互いの研究のより良い理解が得られた.2.前年度に明らかになった4点条件を拡張した「木の上の部分木族間の距離の特徴付け」とTropical行列式との関連を調べた.特に「木の上のパス間の距離」が距離行列の「任意のサイズ4の主対角行列の行列式のTropical化が消える」ことによって特徴付けられることが分かった.これを踏まえて,関連するTropical幾何学に関する文献調査等を行った.また1月に開かれたRIMSの研究集会「計算可換代数と計算代数幾何」において,この結果の一部を講演した.3.私が提案した拡張スプリット分解法の系統学への応用に関して調査研究を行った.前年度の調査によって欠損のあるデータへの応用の可能性が見つかったのであるが,特に生物の形態学データからの系統樹構成問題において,絶滅した生物と現存する生物を混ぜて解析する場合にこのような問題が発生する.すなわち絶滅種は化石からデータを取るしかなく数多くの欠損データを含むのである.この問題を扱った論文をいくつか調査し,そこにあるデータに対し,実際に距離を構成して拡張スプリット分解を適用してみた.すると,いくつかのデータに対しては化石種が得られた系統樹内の部分木に対応させられた.これはこの手法の将来的有望性を物語るものと考えている.
1 0 0 0 OA 劣モジュラ的構造に基づく離散最適化基礎理論の展開と高速アルゴリズム開発
大規模離散最適化問題の有する劣モジュラ的な離散構造に注目し, 効率的なアルゴリズムの構築のために有効な離散構造を研究した.個別には,ネットワーク・フロー, マッチング,多品種フロー, 施設配置問題, 資源配分問題, グラフ連結度,通信網設計,待ち行列ネットワークに関わる離散構造,双対貪欲アルゴリズムに関わる離散構造(双対貪欲多面体, ゾノトープ) ,ホーン論理関数や安定マッチングの離散凸構造,などであり,個別の劣モジュラ的な離散構造の解明に基づき,それらの知見を横断的に総合する基礎理論の構築と高速アルゴリズムの開発を行った.