|
|
|
|
| LEADER |
02829nmm a2200313 u 4500 |
| 001 |
EB001030549 |
| 003 |
EBX01000000000000000824102 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
150508 ||| ger |
| 020 |
|
|
|a 9783658096595
|
| 100 |
1 |
|
|a Rösnick, Carsten
|
| 245 |
0 |
0 |
|a Parametrisierte uniforme Berechnungskomplexität in Geometrie und Numerik
|h Elektronische Ressource
|c von Carsten Rösnick
|
| 250 |
|
|
|a 1st ed. 2015
|
| 260 |
|
|
|a Wiesbaden
|b Springer Fachmedien Wiesbaden
|c 2015, 2015
|
| 300 |
|
|
|a XI, 169 S. 27 Abb
|b online resource
|
| 505 |
0 |
|
|a Einführung in die kontinuierliche Berechenbarkeits- und Komplexitätstheorie -- Darstellungen abgeschlossener Mengen und stetiger Funktionen -- Komplexität geometrischer/topologischer Operatoren -- Höherstufige Komplexität -- Berechenbarkeit und Komplexität numerischer Operatoren -- Parametrisierte worst-case Berechnungskomplexität verschiedener Operatoren
|
| 653 |
|
|
|a Computer science
|
| 653 |
|
|
|a Mathematical logic
|
| 653 |
|
|
|a Computational Mathematics and Numerical Analysis
|
| 653 |
|
|
|a Mathematics / Data processing
|
| 653 |
|
|
|a Theory of Computation
|
| 653 |
|
|
|a Mathematical Logic and Foundations
|
| 041 |
0 |
7 |
|a ger
|2 ISO 639-2
|
| 989 |
|
|
|b Springer
|a Springer eBooks 2005-
|
| 028 |
5 |
0 |
|a 10.1007/978-3-658-09659-5
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-658-09659-5?nosfx=y
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 518
|
| 520 |
|
|
|a Carsten Rösnick legt seiner Arbeit die Frage nach der algorithmischen Komplexität der approximativen Berechnung von Operatoren aus Geometrie, Topologie und Analysis zugrunde. Er betrachtet Operatoren wie Mengendurchschnitt, Projektion, Maximierung, Integration und Funktionsinversion. Der Begriff der Komplexität ist hierbei im rigorosen Sinne von garantierten Laufzeitschranken und asymptotischen Optimalitätsbeweisen zu verstehen. Dazu führt der Autor Kodierungen für Mengen und Funktionen ein und untersucht sie hinsichtlich ihrer (Polynomialzeit-)Äquivalenz, um schließlich in der Bestimmung parametrisierter Komplexitätsschranken für obige Operatoren Verwendung zu finden. Der Inhalt Einführung in die kontinuierliche Berechenbarkeits- und Komplexitätstheorie Darstellungen abgeschlossener Mengen und stetiger Funktionen Komplexität geometrischer/topologischer Operatoren Höherstufige Komplexität Berechenbarkeit und Komplexität numerischer Operatoren Parametrisierte worst-case Berechnungskomplexität verschiedener Operatoren Die Zielgruppen Dozierende und Studierende der (theoretischen) Informatik und der Mathematik Der Autor Carsten Rösnick studierte Informatik und Mathematik an der Universität Paderborn. Er promovierte als wissenschaftlicher Mitarbeiter an der TechnischenUniversität Darmstadt in der Arbeitsgruppe Logik des Fachbereichs Mathematik
|