Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
| 20cs700 [2020-09-03] – [Synopsis] Martin Ziegler | 20cs700 [2020-12-15] – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 16: | Line 16: | ||
| Language: English (only) \\ | Language: English (only) \\ | ||
| Final exam: Dec.14~18, take-home \\ | Final exam: Dec.14~18, take-home \\ | ||
| - | |||
| ==== Synopsis ==== | ==== Synopsis ==== | ||
| - | **0. Introduction & Motivation** ({{20cs700_.pdf|pdf}}, | + | **0. Introduction & Motivation** ({{20cs700_.pdf|pdf}}, |
| " | " | ||
| Abstract Data Types / Structures in Computer Science and Mathematics, | Abstract Data Types / Structures in Computer Science and Mathematics, | ||
| IEEE 754 / Floatingpoint Discretization Properties and Reliability, | IEEE 754 / Floatingpoint Discretization Properties and Reliability, | ||
| Numerical Folklore and Myths \\ | Numerical Folklore and Myths \\ | ||
| - | **I. Recap on discrete | + | **I. Recap on Discrete Computability |
| - | Un-/ | + | Un-/ |
| - | **II. Computability theory over the Reals**: \\ | + | **II. Computability theory over the Reals** |
| - | real numbers: binary vs. approximation | + | a) |
| - | sequences, limits, rate of convergence | + | b) Computing Real Sequences: semi-decidability / strong undecidability |
| - | qualitative stability: computability | + | c) Computing Real Functions: closure under composition |
| - | real arithmetic, join, maximum, integral | + | d+e) Un/ |
| - | root finding, argmax, derivative | + | ([[https:// |
| - | uncomputable wave equation | + | f) Multi-Functions & Enrichment: generalized restriction, |
| - | analytic functions, discrete enrichment | + | g) Computing Real Operators: encoding continuous functions, uniform |
| - | multivaluedness, computability | + | **III. Computability on Topological Spaces** ({{20cs700c.pdf|pdf}}, |
| - | **III. Computability on T0 spaces**: \\ | + | a) Basic Spaces: Cantor/ |
| - | C[0;1] and computable Weierstrass Theorem | + | ([[http:// |
| - | encoding compact Euclidean subsets | + | b) Representations: |
| - | computability of function image and preimage | + | Continuity |
| - | theory | + | of Multi/ |
| - | Main Theorem: | + | Representations, |
| - | Henkin-continuity of multivalued 'functions' | + | Sequence Representation |
| - | IV. Complexity theory over the Reals: \\ | + | ([[http:// |
| - | quantitative stability and polynomial-time computability | + | **IV. Recap on Discrete Complexity Theory** ({{20cs700d.pdf|pdf}}, |
| - | maximizing smooth polynomial-time functions is NP-'complete' | + | a) Computation with cost, |
| - | hardness of integration, | + | selected complexity classes, classifying example decision problems, |
| - | polynomial-time computable analytic | + | comparing decision problems, complexity class picture |
| - | fixed-parametrized | + | ([[http:// |
| - | average-case complexity | + | b) complexity class picture, counting complexity class #P, unary complexity classes, |
| - | V. Imperative programming over the Reals: \\ | + | parameterized complexity, average-case complexity, various reductions, between |
| - | Semantics of tests | + | ([[http:// |
| - | Example: Gaussian Elimination | + | ** V. Complexity theory over the Reals** ({{20cs700e.pdf|pdf}}, |
| - | Verification in Floyd-Hoare Logic | + | a) Polytime-computable real numbers, |
| - | Practical implementation in iRRAM \\ | + | polytime-computable real functions, |
| - | VI. Uniform complexity of operators in Analysis: \\ | + | quantitative |
| - | TTE and computational complexity | + | operations that preserve polytime computability ([[http:// |
| - | encoding metric spaces of polynomial | + | b) |
| - | adversary arguments and exponential entropy | + | (Strongly) polytime-computable real sequences, |
| - | encoding function spaces via oracles | + | polytime analytic function ⇔ polytime Taylor coefficients, |
| - | Lebesgues decomposition and computational complexity | + | operations on polytime analytic |
| - | 2nd-order | + | c) |
| - | Weihrauch reductions | + | Maximizing polytime functions "in NP", |
| + | indefinite Riemann integration "in #P", | ||
| + | definite Riemann integration "in # | ||
| + | ODESOLVE "in PSPACE" | ||
| + | d) | ||
| + | Numerical characterizations of Discrete complexity classes: | ||
| + | Parametric maximization | ||
| + | in/definite Riemann | ||
| + | (smooth) | ||
| + | ([[http:// | ||
| + | e) | ||
| + | Intrinsic Complexity | ||
| + | ([[http:// | ||
| + | **VI. Complexity on Metric Spaces** \\ | ||
| + | a) Complexity of points, | ||
| + | complexity of functions, | ||
| + | complexity and quantitative continuity, | ||
| + | polynomial admissibility, | ||
| + | polynomial | ||
| + | entropy as quantitative compactness | ||
| + | ({{20cs700f.pdf|pdf}}, | ||
| + | b) Quantitative coding theory | ||
| + | ({{2020cie.pdf|pdf}}, | ||
| + | **VII. Imperative programming over the Reals** ({{20cs700g.pdf|pdf}}, | ||
| + | WHILE Programs over N, | ||
| + | non-extensional integer rounding naive and fast, | ||
| + | exponential function, | ||
| + | trisection for simple root finding, | ||
| + | matrix determinant with multival.pivoting, | ||
| + | Turing-completeness over the Reals \\ | ||
| + | **VIII. Reduction between Continuous Problems** ({{20cs700h.pdf|pdf}}, | ||
| + | Computing integer functionALs/ | ||
| + | ** Summary** ({{20cs700z.pdf|pdf}}, | ||
| ==== Test questions for self-assessment ==== | ==== Test questions for self-assessment ==== | ||
| Line 86: | Line 118: | ||
| * Katrin Tent, Martin Ziegler (Freiburg!): | * Katrin Tent, Martin Ziegler (Freiburg!): | ||
| * A. Kawamura, M. Ziegler: " | * A. Kawamura, M. Ziegler: " | ||
| + | |||