講演抄録/キーワード |
講演名 |
2007-12-14 15:25
リプシッツ条件つき初期値問題の計算の複雑さ ○河村彰星(トロント大) COMP2007-52 |
抄録 |
(和) |
可計算解析の意味において多項式時間可計算かつリプシッツ連続なる函数が与える初期値問題の解が多項式空間完全である例を示す.これは葛が1983年に提起した問題であった. |
(英) |
We show, in answer to Ko's 1983 question, that an initial value problem given by a polynomial-time computable, Lipschitz-continuous function can have a polynomial-space complete solution in the sense of Computable Analysis. |
キーワード |
(和) |
常備分方程式 / 初期値問題 / 可計算解析 / 多項式空間完全 / / / / |
(英) |
ordinary differential equation / initial value problem / computable analysis / polynomial-space complete / / / / |
文献情報 |
信学技報, vol. 107, no. 390, COMP2007-52, pp. 29-34, 2007年12月. |
資料番号 |
COMP2007-52 |
発行日 |
2007-12-07 (COMP) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
COMP2007-52 |