■
Team
■
Teaching
Information for students of B.Sc./M.Sc. Mathematics
Summer 2021
■
Winter 2020
Summer 2020
■
Winter 2019
■
Summer 2019
■
Winter 2018
■
Summer 2018
■
Winter 2017
■
Summer 2017
■
Winter 2016
Algorithmen und Berechenbarkeit / Formale Methoden
Algorithms for OpenStreetMap data
Discrete Optimization
Ergänzungen zu FSuA
Seminar: Fortgeschrittene Routenplanung
■
Summer 2016
■
Winter 2015
■
Summer 2015
■
Winter 2014
■
Summer 2014
■
Winter 2013
■
Summer 2013
■
Winter 2012
■
Summer 2012
■
Winter 2011
Former Semester
BSc, Master-, Student-, Diplomathesis
StuPro/ ProjektINF/ SoPra/ FaPra
■
Research
Publications
Projects
Student Projects
 

Algorithmen und Berechenbarkeit / Formale Methoden

Organisatorisches

Aktuelles

Die Ergebnisse wurden um folgende Information ergänzt:

mündliche Fortsetzung:
Falls Sie ein Anrecht auf eine mündliche Fortsetzung der Prüfung haben, lassen Sie sich dies bitte durch Ihr Prüfungsamt schriftlich bestätigen und vereinbaren Sie bis zum Tag der Einsicht mit Frau Photien (1.117, Öffnungszeiten beachten) einen Termin zur Prüfung bei Prof. Funke.
Ob ein solcher Anspruch besteht entnehmen Sie bitte Ihrer Prüfungsordnung.

Der Termin für die Einsicht wurde festgelegt: 12.04. (Mi), 14:30 Uhr, Raum 1.140.

Die Ergebnisse der Klausur hängen aus. (Neben Raum 1.101)

Die finale Scheinliste hängt aus. (Neben Raum 1.101)

Zusammenfassungsslides inkl. Auschlüsse für die Klausur finden sich hier.

Der dritte MC Test (Nachholer) findet am Mittwoch, den 22. Feb., von 9:45 bis 11:15 in Seminarraum 0.108 statt.

Die Ergebnisse der zweiten Scheinklausur hängen aus. (Neben Raum 1.101)

Termin für Fragestunde ergänzt. (16.02., 14-16 Uhr, 38.04)

Die Ergebnisse der Scheinklausur hängen aus. (Neben Raum 1.101)

Anmeldung zu den Übungen: eClaus (Login wird in der Vorlesung am 20.10. bekanntgegeben)

Vorlesung

Zeit Raum Termine
Okt. Nov. Dez. Jan. Feb.
Mo 15:45-17:15 V38.04 24. 7., 14., 21., 28. 5., 12., 19. 9., 23., 30.
Do 14:00-15:30 V38.04 20. 3., 10., 24. 1., 8., 15.*, 22. 12., 26. 2., 9.*, 16.**

* MC-Test     ** Fragestunde

Übungen

  Blatt 1 Blatt 2 Blatt 3 Blatt 4 Blatt 5 Blatt 6
Ausgabe: 20.10. 03.11. 17.11. 01.12. 22.12. 19.01.
Abgabe: 27.10. 10.11. 24.11. 08.12. 12.01. 26.01.
Gruppe Zeit Raum Tutor Besprechungstermine
1 Mo 11:30-13:00 0.453 Haas 31.10. 14.11. 28.11. 12.12. 16.01. 30.01.
2 Di 09:45-11:15 0.363 Schulz s.u. 15.11. 29.11. 13.12. 17.01. 31.01.
3 Di 14:00-15:30 0.447 Mendel s.u. 15.11. 29.11. 13.12. 17.01. 31.01.
4 Mi 17:30-19:00 0.457 Heusler 02.11. 16.11. 30.11. 14.12. 18.01. 01.02.
5 Mo 11:30-13:00 0.453  Haas 07.11. 21.11. 05.12. 19.12. 23.01. 06.02.
6 Di 09:45-11:15 0.363  Schulz 08.11. 22.11. 06.12. 20.12. 24.01. 07.02.
7 Di 14:00-15:30 0.447 Schulz 08.11. 22.11. 06.12. 20.12. 24.01. 07.02.
8 Mi 17:30-19:00 0.457  Heusler 09.11. 23.11. 07.12. 21.12. 25.01. 08.02.
  1. Blatt (Bezeichnung geändert)
    Die Besprechung von Gruppen 2 und 6 findet am Di 08.11. zwischen 9:45-11:15 in Raum 0.108 statt
    Die Besprechung von Gruppe 3 findet am Di 08.11. zwischen 9:45-11:15 in Raum 0.363 statt. Alternativ besuchen Sie bitte Gruppe 7 und informieren Sie den Tutor über Ihre Anwesenheit.
  2. Blatt
  3. Blatt
  4. Blatt (Änderung Aufgabe 2: “maximal $\alpha$ \alpha viele Schritte” -> “ maximal $\alpha \cdot L_F$ \alpha \cdot L_F viele Schritte”)
  5. Blatt
  6. Blatt (Änderung Aufgabe 5: “$|\Sigma| > 1$ |\Sigma| > 1 “)
    Die Lösung zu “Aufgabe 4” bitte bei “Aufgabe 4 / Teilaufgabe 2” hochladen.

Scheinbedingungen

  • Bestehen von zwei MC-Tests (1.: 15.12., 2.: 09.02.)
  • In den Übungen mind. einmal vorrechnen.
  • Mind. die Hälfte der schriftlichen Übungspunkte erreichen. (“P” auf den Ü-Blättern - Abgabe der Lösungen in eClaus)
  • Mind. die Hälfte der Votieraufgaben votieren. (“V” auf den Ü-Blättern - “Ich votiere” in eClaus)
  • Alle votierten oder abgegebenen Aufgaben müssen in der Übung vorgerechnet werden können.

Zusatzangebot der Fachschaft

Julian Liedtke

Zeit: Do 17:30 — 19:00

Raum: V38.03

Erster Termin: 27.10.

Literatur

  • Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein: Introduction to Algorithms (Second Edition), MIT Press, 2001
  • T. Ottmann, P. Widmayer: Algorithmen und Datenstrukturen, Spektrum Verlag, 1996
  • J. Kleinberg, É. Tardos: Algorithm Design, Addison-Wesley, 2006
  • Uwe Schöning: Theoretische Informatik – kurzgefasst, 5. Auflage, Spektrum, 2008. (Die ältere Auflage von 2000 tut’s auch!)
  • Volker Diekert, Manfred Kufleitner, Gerhard Rosenberger: Diskrete algebraische Methoden, Walter de Gruyter, 2013.
  • Notizen zu Contraction Hierarchies
  • Skript von Prof. Voecking (zuletzt RWTH Aachen)

News

[Oct’21] We have migrated to our new webssite here!

[Jun’19] Our paper on trajectory storage and retrieval has been accepted at SSTD 2019!

[Nov’18] Our paper on regret minimization has been accepted at AAAI 2019 (acceptance rate 16.2%)!

[Oct’18] Our paper on alternative route planning for bicycles has been accepted at ALENEX 2019!

[Apr’18] Martin has successfully defended his Ph.D. thesis. Congratulations!

[Jan’18] The journal version of our paper on k-hop path covers will receive a publication award from our university!

[Nov’17] Our paper on a theoretical explanation for several speed-up techniques for route computation has been accepted at AAAI 2018!

[Oct’17] Thomas’ paper on area preserving map simplification has been accepted at ALENEX 2018!

[May’17] Daniel’s and Martin’s paper on rational points on the unit sphere has been accepted at ISSAC 2017!

[Apr’17] Our paper on personalized route planning with dynamic approximation guarantees has been accepted at SEA 2017!

[Jan’17] Martin’s paper on map matching has been accepted at SIAM SDM 2017!

[Nov’16] Our paper on simultaneous maze solving has been accepted at AAAI 2017.

[Okt’16] Two papers, one on growing balls (!), the other on map simplification will be presented at ALENEX 2017.

[Sep’16] Our paper on Deducing Individual Driving Preferences has been accepted at the 24th ACM SIGSPATIAL GIS 2016.

[Feb’16] Our paper on placing loading stations for EVs has been accepted at ICAPS 2016.

[Jul’15] Paper about our GeoSearch Engine OSCAR at the 16th Int. Conf on Web Information Systems Engineering (WISE)!

[Jun’15] We feel very honored to have our VLDB’14 paper almost verbatimly reproduced in the ‘prestigous’ journal IJSETR, see here. Yeah! 😉

[Feb’15] We were lucky to receive a Google Research Award for research on personalized route planning!

[Sep’14] Our paper “On k-Path Covers and their Applications” has received a Best Paper Award at the 40th Int. Conference on Very Large Databases (VLDB) in Hangzhou (5 out of 139 accepted out of 695 submitted papers).

[Sep’14] Our paper on “Energy-efficient Routing: Taking Speed into Account” has received a Best Paper Award at the 37th German Conference on Artificial Intelligence (KI).

[Jul’14] Our paper “Placement of Loading Stations for Electric Vehicles: No Detours Necessary!” has received a Honorable Mention at the 28th AAAI Conference on Artificial Intelligence (AAAI) in Quebec City (5 nominated out of 398 accepted out of 1406 submitted papers).

[Mar’14] Our StuPro-Team has completed their great “SchulScheduler” project.

[Nov’13] Jochen has defended his PhD thesis and moved on to TomTom.

[Feb’13] Sabine has defended her PhD thesis (already in Dec’12) and received the INFOS award for best CS PhD thesis in 2012!

[Mar’12] Our paper Path Shapes - An Alternative Method for Map Matching and Fully Autonomous Self-Localization presented at GIS 2011 has received the Best Paper Award, also see the ACM SIGSPATIAL newsletter.