Logics, automata and algorithms for graphs p. madhusudan (madhu) University of Illinois at...
-
Upload
margery-bruce -
Category
Documents
-
view
216 -
download
0
description
Transcript of Logics, automata and algorithms for graphs p. madhusudan (madhu) University of Illinois at...
![Page 1: Logics, automata and algorithms for graphs p. madhusudan (madhu) University of Illinois at Urbana-Champaign, USA.](https://reader036.fdocuments.us/reader036/viewer/2022082601/5a4d1b617f8b9ab0599ad671/html5/thumbnails/1.jpg)
Logics, automata and algorithms for
graphs
p. madhusudan(madhu)
University of Illinois at Urbana-Champaign, USA
![Page 2: Logics, automata and algorithms for graphs p. madhusudan (madhu) University of Illinois at Urbana-Champaign, USA.](https://reader036.fdocuments.us/reader036/viewer/2022082601/5a4d1b617f8b9ab0599ad671/html5/thumbnails/2.jpg)
What is logic? Logic is a precise mathematical language where every sentence has a precise meaning.
Example: FOL (N, +, <, 0, 1) 8x 9y (x · y) -- every number has some
number greater than it
Example: Regular expressions
Non-example: English; law books
![Page 3: Logics, automata and algorithms for graphs p. madhusudan (madhu) University of Illinois at Urbana-Champaign, USA.](https://reader036.fdocuments.us/reader036/viewer/2022082601/5a4d1b617f8b9ab0599ad671/html5/thumbnails/3.jpg)
Logics on graphs
A graph G=(V,E) can be treated as a logical structure.
The set of vertices V is the universe; E is a relation
Eg. Every vertex is adjacent to some vertex: 8x 9y E(x,y)
Logics on graphs can hence state algorithmic problems on graphs
![Page 4: Logics, automata and algorithms for graphs p. madhusudan (madhu) University of Illinois at Urbana-Champaign, USA.](https://reader036.fdocuments.us/reader036/viewer/2022082601/5a4d1b617f8b9ab0599ad671/html5/thumbnails/4.jpg)
Logics on graphs Two main problems:
Membership: Given a graph G, solve the algorithmic problem for G. i.e. does G satisfy ? Eg. Is the graph 3-colorable?
Emptiness: Given is there some graph that satisfies it?Eg. planar and 5-colorable but not 4-colorable -- 4 color theorem
![Page 5: Logics, automata and algorithms for graphs p. madhusudan (madhu) University of Illinois at Urbana-Champaign, USA.](https://reader036.fdocuments.us/reader036/viewer/2022082601/5a4d1b617f8b9ab0599ad671/html5/thumbnails/5.jpg)
What are automata? Automata are machines that process structures
(graphs), and accept or reject them.
Eg. Automata on words, automata on trees
Automata usually have a decidable membership/emptiness problems
(unlike Turing machines).
Hence give decidable algorithms for structures Logic Automata Eg. FOL (N, +, 0, <) is decidable using automata theory
![Page 6: Logics, automata and algorithms for graphs p. madhusudan (madhu) University of Illinois at Urbana-Champaign, USA.](https://reader036.fdocuments.us/reader036/viewer/2022082601/5a4d1b617f8b9ab0599ad671/html5/thumbnails/6.jpg)
Algorithms
Algorithms on structures.
Algorithmic problem Logic eg. 3 colorability of graphs can be expressed using logic
Leads to designing linear time algorithms for problems on particular classes of graphs
ThemeAlgorithmic problem Logic Automata Algorithm
![Page 7: Logics, automata and algorithms for graphs p. madhusudan (madhu) University of Illinois at Urbana-Champaign, USA.](https://reader036.fdocuments.us/reader036/viewer/2022082601/5a4d1b617f8b9ab0599ad671/html5/thumbnails/7.jpg)
Overview Overview (Lec 1) Automata on words: (Lec 2)
Closure properties, monadic second order logic (MSO), equivalence of MSO and regular languages
Decidability of Presburger arithmetic using automata (Lec 3) Automata on trees: (Lec 4) Closure properties, top-down vs bottom-up tree automata,
MSO, equivalence of MSO and regular tree languages.
Deciding MSO on Series parallel graphs using tree interpretations (Lec 5)
Deciding MSO on Nested words using tree interpretations Applications to XML stream processing (Lec 6)
![Page 8: Logics, automata and algorithms for graphs p. madhusudan (madhu) University of Illinois at Urbana-Champaign, USA.](https://reader036.fdocuments.us/reader036/viewer/2022082601/5a4d1b617f8b9ab0599ad671/html5/thumbnails/8.jpg)
Overview Graphs of bounded tree width (Lec 7); Courcelle’s thm: MSO on BTW graphs is solvable in linear time (Lec 8)
Decidability of satisfiability for logics on graphs; and Finite model theory (Lec 9 and Lec 10)