Course pages 2012–13
Topics in Logic and Complexity
This module aims to provide an introduction to topics in complexity theory beyond that covered in the undergraduate course and a grounding in research that connects this with methods from logic. The topics covered in the last four lectures will focus on current research and may vary from year to year.
- Complexity theorya review of the major complexity classes (space, time, nondeterministic, etc.) and their interrelationships. [3 lectures]
- First-order and second-order logic: their expressive power and computational complexity. [3 lectures]
- Lower bounds on expressive power: the use of games and locality. [3 lectures]
- Fixed-point logics and descriptive complexity. [3 lectures]
- A selection of topics from the following [4 lectures]:
- finite-variable logics;
- complexity of constraint satisfaction problems;
- random structures;
- parameterized complexity;
- complexity of logical theories;
- logic and circuit complexity.
- logics of polynomial time computation.
On completion of this module, students should:
- be familiar with the basic relationship between the expressive power of logic and computational complexity;
- be able to formulate simple game-based inexpressibility arguments;
- be able to identify current research issues relating logic to complexity.
Coursework and practical work
The lecture syllabus will be assessed by a take-home test, set and marked by the principal lecturer.
The final module mark will be expressed as a percentage.
Arora, S. & Barak, B. (2009). Computational complexity.
Cambridge University Press.
Gradel. E. et al. (2007). Finite model theory and its applications. Springer.
Libkin, L. (2004). Elements of finite model theory. Springer.
Immerman, N. (1999). Descriptive complexity. Springer.
Ebbinghaus, H-D. & Flum, J. (1999). Finite model theory. Springer.