Department of Computer Science | Institute of Theoretical Computer Science | CADMO

Theory of Combinatorial Algorithms

Prof. Emo Welzl and Prof. Bernd Gärtner

Geometry: Combinatorics & Algorithms (252-1425-00L) HS17

Time & Place

Lecture: Thursday 13:15-15:00, CAB G51. The lecturers are:
Michael Hoffmann, CAB G33.1, Tel: 044-632 73 90,
Alexander Pilz, CAB G38, Tel: 044-632 04 34,
Luis Barba, CAB G33.3, Tel: 044-632 77 96,
Emo Welzl, CAB G39.2, Tel: 044-632 73 70,
Exercise: Thursday 15:15-17:00, ML H 41.1. The teaching assistant is:
Patrick Schnider, CAB G34, Tel: 044-632 64 17,

Contents

Course Material


Date Content Exercises Lecture notes and links

#1 21.09.2017 Information about the course, planar and geometric graphs Exercise 1 Chapter 1, Chapter 2, Slides

#2 28.09.2017 Unique Embeddings, Maximal Planar Graphs Exercise 2 Slides

#3 05.10.2017 Canonical Orderings, Compact Straight-line drawings Exercise 3, Homework 1 Slides

#4 12.10.2017 Polygons, Polygon triangulation, Art gallery problem Exercise 4 Chapter 3, Slides

#5 19.10.2017 Convexity, Convex hulls Exercise 5 Chapter 4, Slides

#6 26.10.2017 Convexity, Convex hull algorithms Exercise 6, Homework 2 Slides

#7 02.11.2017 Delaunay triangulations Exercise 7 Chapter 5, Slides

#8 09.11.2017 Delaunay triangulations, Incremental construction Exercise 8 Chapter 6, Slides

#9 16.11.2017 Voronoi Diagrams, Kirkpatrick's Hierarchy Rehearsal talks for HW2 Chapter 7, Slides

#10 23.11.2017 Line Arrangements, Visibility graphs Graded talks for HW2, 8.4, 8.9 Chapter 8, Slides

#11 30.11.2017 Simplicial Depth, Facets of Polytopes Homework 3, 9.8, 9.9, 9.10, 9.24 Chapter 9

#12 07.12.2017 Simplicial Depth, Facets of Polytopes 9.26, 9.27

#13 14.12.2017 3 Sum, Ham Sandwich Cuts, Davenport-Schinzel Sequences Exercise 13

#14 21.12.2017 Crossing Lemma Exercise 14 Chapter 10, Slides

Course Description

Geometric structures are useful in many areas, and there is a need to understand their structural properties, and to work with them algorithmically. The lecture addresses theoretical foundations concerning geometric structures. Central objects of interest are triangulations. We study combinatorial (Does a certain object exist?) and algorithmic questions (Can we find a certain object efficiently?) Our goal is to make students familiar with fundamental concepts, techniques and results in combinatorial and computational geometry, so as to enable them to model, analyze, and solve theoretical and practical problems in the area and in various application domains. In particular, we want to prepare students for conducting independent research, for instance, within the scope of a thesis project.

Covered topics include: planar and geometric graphs, embeddings and their representation (Whitney's Theorem, canonical orderings, DCEL), polygon triangulations and the art gallery theorem, convexity in R^d, planar convex hull algorithms (Jarvis Wrap, Graham Scan, Chan's Algorithm), point set triangulations, Delaunay triangulations (Lawson flips, lifting map, randomized incremental construction), Voronoi diagrams, the Crossing Lemma and incidence bounds, line arrangements (duality, Zone Theorem, ham-sandwich cuts), 3-SUM hardness, counting planar triangulations.

Procedures, Exercises, Exam

Every week we provide you with exercises. You should solve them in written form and you are encouraged to hand in your solutions to the teaching assistant. Your solutions are thoroughly commented, but they do not count towards your final grade. The motivation to work on the exercises stems from your interest in the topic (and possibly also the desire to succeed in the exam).

In addition, you receive three homework assignments during the semester. The homework is to be solved in written form and typically you have two weeks of time to return your solutions/reports, typeset in LaTeX. In contrast to the exercises, these assignments do count towards the final grade: Your three grades will account for 10% of your final grade each. Solving the homework in teams is not allowed. Besides one or two exercises, the homework may include a small research project, or you are asked to give a short talk about your last small research project.

There is an oral exam of 30 minutes during the examination period. Your final grade consists to 70% of the grade for the exam and to 30% of the grade for the homework assignments.
You are expected to learn proofs discussed in the lecture, should be able to explain their basic ideas and reproduce more details on demand. You should also be able to give a short presentation on any topic treated throughout the course. One of the questions given to you during the exam is to solve one of the exercises posed throughout the semester. Roughly half an hour before the exam you get to know the exercise to be solved and one topic that you will be questioned about in particular, that is, you have 30 minutes preparation time. For this preparation, paper and pencil will be provided. You may not use any other material, like books or notes.

For PhD students, the same rules apply for obtaining credit points as for all other participants. Taking the exam and achieving an overall grade of at least 4.0 (computed as a weighted average of grades for homework and the oral final exam as detailed above) qualifies for receiving credits. In order to comply with new regulations recently issued by the department, merely attending the course and/or handing in exercises is no longer sufficient.

Complementary Courses & Semester/Master/Diploma Theses

This course is complemented by a seminar Geometry: Combinatorics & Algorithms in the following spring semester. After having completed the course, it is possible to do a semester, master or diploma thesis in the area. Students are also welcome at our graduate seminar.

Literature and Links


Last modified: Thu Sep 12 15:07:08 CEST 2017 by Patrick Schnider. Valid HTML 4.0!