DC Field | Value | Language |
---|---|---|
dc.contributor.author | Kawamura, Akitoshi | ko |
dc.contributor.author | Ota, Hiroyuki | ko |
dc.contributor.author | Roesnick, Carsten | ko |
dc.contributor.author | Ziegler, Martin | ko |
dc.date.accessioned | 2016-04-12T07:51:04Z | - |
dc.date.available | 2016-04-12T07:51:04Z | - |
dc.date.created | 2015-09-17 | - |
dc.date.created | 2015-09-17 | - |
dc.date.created | 2015-09-17 | - |
dc.date.issued | 2014 | - |
dc.identifier.citation | LOGICAL METHODS IN COMPUTER SCIENCE, v.10, no.1 | - |
dc.identifier.issn | 1860-5974 | - |
dc.identifier.uri | http://hdl.handle.net/10203/203388 | - |
dc.description.abstract | The computational complexity of the solution h to the ordinary differential equation h(0) _ 0, h' (t) _ g (t, h(t)) under various assumptions on the function g has been investigated. Kawamura showed in 2010 that the solution h can be PSPACE-hard even if g is assumed to be Lipschitz continuous and polynomial-time computable. We place further requirements on the smoothness of g and obtain the following results: the solution h can still be PSPACE-hard if g is assumed to be of class C-1; for each k >= 2, the solution h can be hard for the counting hierarchy even if g is of class C-k. | - |
dc.language | English | - |
dc.publisher | TECH UNIV BRAUNSCHWEIG | - |
dc.subject | POLYNOMIAL-TIME | - |
dc.title | COMPUTATIONAL COMPLEXITY OF SMOOTH DIFFERENTIAL EQUATIONS | - |
dc.type | Article | - |
dc.identifier.wosid | 000333744700007 | - |
dc.identifier.scopusid | 2-s2.0-84893876435 | - |
dc.type.rims | ART | - |
dc.citation.volume | 10 | - |
dc.citation.issue | 1 | - |
dc.citation.publicationname | LOGICAL METHODS IN COMPUTER SCIENCE | - |
dc.identifier.doi | 10.2168/LMCS-10(1:6)2014 | - |
dc.contributor.localauthor | Ziegler, Martin | - |
dc.contributor.nonIdAuthor | Kawamura, Akitoshi | - |
dc.contributor.nonIdAuthor | Ota, Hiroyuki | - |
dc.contributor.nonIdAuthor | Roesnick, Carsten | - |
dc.type.journalArticle | Article | - |
dc.subject.keywordAuthor | computable analysis | - |
dc.subject.keywordAuthor | counting hierarchy | - |
dc.subject.keywordAuthor | differential equations. | - |
dc.subject.keywordPlus | POLYNOMIAL-TIME | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.