Algorithmen – Berechenbarkeit und Komplexität

Chapter

Zusammenfassung

In den vorigen Kapiteln wurde gezeigt, dass die durch einen Computer zu bearbeitenden Aufgaben durch eine endliche Folge elementarer Anweisungen beschrieben werden müssen, und zwar letztlich in Maschinensprache. Eine solche Beschreibung, wie eine Aufgabe auszuführen ist, bezeichnet man als Algorithmus. Der Begriff Algorithmus leitet sich vom Namen des arabischen Gelehrten Al Chwarizmi ab, der um 820 lebte.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. [Abe96] H. Abelson und G. Sussman. Structure and Interpretation of Computer Programs. MIT Press, 2. Aufl., 1996.Google Scholar
  2. [Ack28] W. Ackermann. Zum Hilbertschen Aufbau der reellen Zahlen. Mathematische Annalen, 99:118–133, 1928.CrossRefMATHMathSciNetGoogle Scholar
  3. [Agr04] M. Agrawal, N. Kayal und N. Saxena. Primes is in P. Annals of Mathematics, 160(2):781–793, 2004.CrossRefMathSciNetGoogle Scholar
  4. [Aho13] A. Aho, M. Lam und R. Sethi. Compilers. Addison-Wesley Longman, 2013.Google Scholar
  5. [App76] K. Appel und W. Haken. Every Planar Map is Four Colorable. Bulletin of the American Mathematical Society, 82(5):711–712, Sept. 1976.CrossRefMATHMathSciNetGoogle Scholar
  6. [App77] K. Appel und W. Haken. Every Planar Map is Four Colorable. Illinois Journal of Mathematics, 21(3):429–567, Sept. 1977.MATHMathSciNetGoogle Scholar
  7. [App07] D. L. Applegate, R. E. Bixby, V. Chvátal und W. J. Cook. The Traveling Salesman Problem: A Computational Study. Princeton Series in Applied Mathematics. Princeton University Press, Princeton, NJ, USA, 2007.Google Scholar
  8. [Bac94] P. Bachmann. Die analytische Zahlentheorie. Teubner, 1894.Google Scholar
  9. [Box58] G. E. P. Box und M. E. Muller. A Note on the Generation of Random Normal Deviates. The Annals of Mathematical Statistics, 29:610–611, 1958.CrossRefMATHGoogle Scholar
  10. [Bra13] S. Brandt. Datenanalyse für Naturwissenschaftler und Ingenieure. Springer Spektrum, 5. Aufl., 2013.Google Scholar
  11. [Cha66] G. J. Chaitin. On the Length of Programs for Computing Finite Binary Sequences. J. ACM, 13(4):547–569, 1966.CrossRefGoogle Scholar
  12. [Coo71] S. A. Cook. The Complexity of Theorem-proving Procedures. In Proceedings of the Third Annual ACM Symposium on Theory of Computing, STOC ’71, S. 151–158. ACM, New York, NY , USA, 1971.Google Scholar
  13. [Cor09] T. H. Cormen, C. E. Leiserson, R. L. Rivest und C. Stein. Introduction to Algorithms. The MIT Press, 3. Aufl., 2009.Google Scholar
  14. [Cra05] R. Crandall und C. B. Pomerance. Prime Numbers: A Computational Perspective. Springer, 2. Aufl., 2005.Google Scholar
  15. [Erk09] K. Erk und L. Priese. Theoretische Informatik. Eine umfassende Einführung. Springer, 3. Aufl., 2009.Google Scholar
  16. [Fra81] A. S. Fraenkel und D. Lichtenstein. Computing a Perfect Strategy for n_n Chess Requires Time Exponential in n. J. Comb. Theory, Ser. A, 31(2):199–214, 1981.CrossRefMathSciNetGoogle Scholar
  17. [Für07] M. Fürer. Faster integer multiplication. In D. S. Johnson und U. Feige, Hg., STOC, S. 57–66. ACM, 2007.Google Scholar
  18. [Für09] M. Fürer. Faster Integer Multiplication. SIAM J. Comput., 39(3):979–1005, 2009.CrossRefMathSciNetGoogle Scholar
  19. [Göd31] K. Gödel. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik, 38:173–198, 1931.MATHGoogle Scholar
  20. [Gon08a] G. Gonthier. Formal Proof – The Four-Color Theorem. Notices of the American Mathematical Society, 55(11):1382–1393, Dez. 2008.MathSciNetGoogle Scholar
  21. [Gon08b] G. Gonthier. The Four Colour Theorem: Engineering of a Formal Proof. In D. Kapur, Hg., Computer Mathematics, S. 333–333. Springer-Verlag, Berlin, Heidelberg, 2008.Google Scholar
  22. [Her65] H. Hermes. Enumerability, Decidability, Computability. Springer, 1965.Google Scholar
  23. [Her07] A. M. Herzberg und M. Murty. Sudoku Squares and Chromatic Polynomials. Int. Math. Nachr., Wien, 206:1–19, 2007.Google Scholar
  24. [Hof11] D. Hoffmann. Theoretische Informatik. Hanser, 2. Aufl., 2011.Google Scholar
  25. [Kar63] A. Karatsuba und Y. Ofman. Multiplication of Many-Digital Numbers by Automatic Computers. Soviet Physics-Doklady, 7:595–596, 1963. Übersetzung des russischen Originals aus Doklady Akad. Nauk SSSR. Vol. 145, 1962, S. 293–294.Google Scholar
  26. [Kar72] R. M. Karp. Reducibility Among Combinatorial Problems. In R. E. Miller und J. W. Thatcher, Hg., Complexity of Computer Computations, The IBM Research Symposia Series, S. 85–103. Plenum Press, New York, 1972.Google Scholar
  27. [Knu97a] D. E. Knuth. The Art of Computer Programming, Volume 1: Fundamental Algorithms. Addison-Wesley, 3. Aufl., 1997.Google Scholar
  28. [Knu97b] D. E. Knuth. The Art of Computer Programming, Volume 2: Seminumerical Algorithms. Addison-Wesley, 3. Aufl., 1997.Google Scholar
  29. [Kol65] A. N. Kolmogorov. Three Approaches to the Quantitative Definition of Information. Problems of Information Transmission, 1(1):3–11, 1965.MATHGoogle Scholar
  30. [Leh49] D. H. Lehmer. Mathematical Methods in Large-scale Computing Units. In Proc. of a Second Symposium on Large-Scale Digital Calculating Machinery, S. 141–146. 1949.Google Scholar
  31. [Lic78] D. Lichtenstein und M. Sipser. GO Is PSPACE Hard. In FOCS, S. 48–54. IEEE Computer Society, 1978.Google Scholar
  32. [Lin68] A. Lindenmayer. Mathematical Models for Cellular Interaction in Development: Parts I and II. Journal of Theoretical Biology, 18:280–315, 1968.CrossRefGoogle Scholar
  33. [Lud98] R. Ludwig. Kant für Anfänger: Die Kritik der reinen Vernunft. Deutscher Taschenbuch Verlag, 1998.Google Scholar
  34. [Man87] B. Mandelbrot. Die fraktale Geometrie der Natur. Birkhäuser, 1987.Google Scholar
  35. [Mar64] G. Marsaglia und T. Bray. A Convenient Method for Generating Normal Variables. SIAM Review, 6(3):260–264, 1964.CrossRefMATHMathSciNetGoogle Scholar
  36. [MB95] R. Morales-Bueno. Noncomputability is easy to understand. Communications of the ACM, 38(8):116–117, 1995.CrossRefGoogle Scholar
  37. [Mey67] A. R. Meyer und D. M. Ritchie. The Complexity of Loop Programs. In Proceedings of the 1967 22nd National Conference, ACM ’67, S. 465–469. ACM, 1967.Google Scholar
  38. [Mil] Millennium Problems. http://www.claymath.org/millenniumproblems.
  39. [Mil75] G. L. Miller. Riemann’s Hypothesis and Tests for Primality. In Proceedings of Seventh Annual ACM Symposium on Theory of Computing, STOC ’75, S. 234–239. ACM, New York, NY , USA, 1975.Google Scholar
  40. [Mil76] G. L. Miller. Riemann’s Hypothesis and Tests for Primality. Journal of Computer and System Sciences, 13(3):300–317, Dez. 1976.CrossRefMathSciNetGoogle Scholar
  41. [Pre07] W. H. Press, S. A. Teukolsky, W. T. Vetterling und B. P. Flannery. Numerical Recipes 3rd Edition: The Art of Scientific Computing. Cambridge University Press, New York, NY , USA, 3. Aufl., 2007.Google Scholar
  42. [Pri98] I. Prigogine. Die Gesetze des Chaos. Insel Verlag, 1998.Google Scholar
  43. [Pru96] P. Prusinkiewicz und A. Lindenmayer. The Algorithmic Beauty of Plants. Springer, New York, NY , USA, 1996.Google Scholar
  44. [Rab80] M. O. Rabin. Probabilistic Algorithm for Testing Primality. Journal of Number Theory, 12(1):128–138, 1980.CrossRefMathSciNetGoogle Scholar
  45. [Rad62] T. Radó. On non-computable functions. The Bell System Technical Journal, 41(3):877–884, 1962.CrossRefMathSciNetGoogle Scholar
  46. [Ric53] H. G. Rice. Classes of Recursively Enumerable Sets and Their Decision Problems. Transactions of the American Mathematical Society, 74:358–366, 1953.CrossRefMATHMathSciNetGoogle Scholar
  47. [Rob83] J. Robson. The Complexity of Go. In IFIP Congress, S. 413–417. 1983.Google Scholar
  48. [Rob84] J. Robson. N by N Checkers is Exptime Complete. SIAM Journal on Computing, 13(2):252–267, 1984.CrossRefMATHMathSciNetGoogle Scholar
  49. [San95] P. Sander, W. Stucky und R. Herschel. Grundkurs Angewandte Informatik IV: Automaten, Sprachen, Berechenbarkeit. Vieweg+Teubner, 2. Aufl., 1995.Google Scholar
  50. [Sch71] A. Schönhage und V. Strassen. Schnelle Multiplikation großer Zahlen. Computing, 7:281–292, 1971.CrossRefMATHGoogle Scholar
  51. [Sch08] U. Schöning. Theoretische Informatik – kurz gefasst. Spektrum Akad. Verlag, 5. Aufl., 2008.Google Scholar
  52. [Sed11] R. Sedgewick und K. Wayne. Algorithms. Addison-Wesley, 4. Aufl., 2011.Google Scholar
  53. [Sed13] R. Sedgewick und P. Flajolet. An Introduction to the Analysis of Algorithms. Addison Wesley, 2. Aufl., 2013.Google Scholar
  54. [Tur36] A. M. Turing. On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, 2(42):230–265, 1936.Google Scholar
  55. [Woe03] G. J. Woeginger. Exact Algorithms for NP-Hard Problems: A Survey. In M. Jünger, G. Reinelt und G. Rinaldi, Hg., Combinatorial Optimization – Eureka, You Shrink!, Bd. 2570 von Lecture Notes in Computer Science, S. 185–207. Springer, 2003.Google Scholar

Copyright information

© Springer Fachmedien Wiesbaden 2015

Authors and Affiliations

  1. 1.Hochschule RosenheimRosenheimDeutschland

Personalised recommendations