Logic, Graphs, and Algorithms

Algorithmic meta theorems are algorithmic results that apply to whole families of combinatorial problems, instead of just specific problems. These families are usually defined in terms of logic and graph theory. An archetypal algorithmic meta theorem is Courcelle’s Theorem [9], which states that all graph properties definable in monadic second-order logic can be decided in linear time on graphs of bounded tree width.

• Type: Journal
• Year: 2007
• Where: ECCC
• Authors: Martin Grohe
• Keywords: Algorithmic, Archetypal Algorithmic Meta, ECCC 2007, Monadic Second-order Logic