2008 Fiscal Year Annual Research Report
整数制約問題等の偏差分方程式化による数値解析に基づく求解アルゴリズム
| Project/Area Number |
18656030
|
|---|
| Research Institution | Osaka University |
|---|
Principal Investigator |
降籏 大介 Osaka University, サイバーメディアセンター, 准教授 (80242014)
|
|---|
| Keywords | 離散問題 / 整数制約問題 / グラフ / アルゴリズム / 空間平滑性 / Voronoi-Delauney双対分割 / 非線型偏微分方程式 / 離散変分法 |
|---|
| Research Abstract |
本研究の目的は、グラフ上制約問題等の緩和問題を数値解析の文脈でとらえ偏差分方程式の求解アルゴリズムを提案する方法論の研究であった。そして、計画最終年度であることから、大別して三つの目的に基づく研究を総合的に進めた。第一の目的は、この方法論の性質の詳細な調査、可能性の模索、既存理論との関連、計算高速化等試みの一般化などである。特にグラフ上作用素の理論展開は重要である。二つ目は、適用対象の離散問題の発見と対象範囲の一般化である。三つ目は、具体的な求解アルゴリズムの性能評価、解の事前/事後評価などである。そして、今年度の結果としては特に第一の目的に含まれるグラフ上の作用素の理論展開、即ちもっとも重要な目的とみていた部分で大きな進展をみることができ、これが主要な成果となった。これは前年度の成果である"通常空間におけるVoronoi-Delauney双対分割に基づいての非構造格子上の差分作用素の構成"に対する数学的な基礎づけの理論的検討から得たものである。具体的には、Voronoi-Delauney双対分割の平滑性補題から導出される自然無発散性定理が、二重連結グラフにおける擬ゼロ次性と実質的に等価であることが判明した。これは大きな成果である。これにより、平坦な空間をグラフでシミュレートするためには擬ゼロ次性が必要であることが明確になっただけでなく、擬ゼロ次性をダイバージェンスに応じて歪めれば曲がった空間をグラフで表現できることにもなり、これまでにない研究の展開が期待される。また、この発見によりグラフ上にもう一段抽象的な“平滑性補題"が存在することが示唆されるため、この方向でもさらなる研究が期待される。以上の結果から、本年度の成果はさらなる発展性をもつ大きなものであり、当初の計画以上に、より多くの結果が得られたものと考える。
|
