初期値問題と計算量
スポンサーリンク
概要
- 論文の詳細を見る
多項式時間可計算かつリプシッツ連続な函数が与える初期値問題の解が多項式空間完全たり得ることを示す.これは葛による1983年の問に答えるものである.証明では先ずリプシッツ条件が系に課する制約が,多項式空間計算における記憶の使い方に或る制限を課するのに似ていることを指摘する.そしてこの制約がしかし多項式空間完全を奪うには至らないことを,量化命題論理式からの帰着により示す.ヴォルテラ積分方程式に関する後年の二つの予想も決着する.
- 2010-01-14
著者
関連論文
- ユークリッド空間及びノルム空間における地帯図
- 距離等分の存在
- 初期値問題と計算量
- DS-1-8 微分方程式の計算量(DS-1.計算理論における学生の研究パワー:COMP学生シンポジウム,シンポジウムセッション)
- 距離$k$分割線と一般図形のゾーン図の存在と一意性について (理論計算機科学の深化と応用)
- リプシッツ条件つき初期値問題の計算の複雑さ
- Distance Trisector Curveに関する研究の誕生から発展までの経緯