• Keine Ergebnisse gefunden

In the same way, every FPC- formula ϕ(x, y) defines an (V ×V)-matrix ϕG over F2 in the graph G

N/A
N/A
Protected

Academic year: 2021

Aktie "In the same way, every FPC- formula ϕ(x, y) defines an (V ×V)-matrix ϕG over F2 in the graph G"

Copied!
2
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Lehr- und Forschungsgebiet

Mathematische Grundlagen der Informatik RWTH Aachen

Prof. Dr. E. Grädel, K. Dannert

WS 2019/20

Algorithmic Model Theory — Assignment 11 Due: Tuesday, 7 January, 10:30

Exercise 1 10 Points

A graphG= (V, EA) encodes an (V ×V)-matrixMG overF2 which is

MA(a, b) =

(0, if (a, b)6∈E 1, if (a, b)∈E.

In other words,MG is just the adjacency matrix of the graph G. In the same way, every FPC- formula ϕ(x, y) defines an (V ×V)-matrix ϕG over F2 in the graph G. We want to show that matrix multiplication is definable in FPC.

(a) Construct a formulaϕ(x, y)∈FPC such that for any graph G it holdsϕG= (MG)2. (b) Construct a formulaϕ(x, y)∈FPC such that for any graph G it holdsϕG= (MG)2|V|.

Exercise 2 6 Points

LetAbe a finite τ-structure. We make the following convention: we interpret numerical tuples

¯

ν = (νk−1, . . . , ν1, ν0)∈ {0, . . . ,|A| −1}k as numbers in|A|-adic representation, i.e. we associate the valuePk−1i=0 νi|A|i to each tuple ¯ν∈ {0, . . . ,|A| −1}k.

Show that the expressive power of FPC does not increase if we allow counting quantifiers of higher arity, i.e. formulas #x0x1···xk−1ϕ(x0, . . . , xk−1)≤(νk−1, . . . , ν0) where in a structureAthe value of #x0x1···xk−1ϕ(x0, . . . , xk−1) is the number of tuples ¯asuch thatA|=ϕa) (with respect to the encoding introduced above). For simplicity, you may only consider the casek= 2.

Exercise 3 8 Points

We encode linear equation systems over the finite field F2 as relational structures A over the signatureτ ={E, V, R0, R1} where the intended meaning of the relations is as follows.

E, V are unary predicates which partition the universe into equations and variables, and

• the equation eE corresponds to the linear equationPv∈V:Ri(e,v)v=i.

(a) Construct an FO(τ)-sentenceϕsuch thatA|=ϕif, and only if,Aencodes a linear equation overF2 in the described way.

(b) For any fixed finite fieldF, generalise the above encoding for linear equation systems overF.

Exercise 4 6 Points

Recall the encoding of linear equation systems over F2 as relational structures from Exercise 2.

Here we want to reduce bipartiteness of undirected graphs to the solvability of linear equation systems over F2.

Construct FO({F})-formulaeψE(x, y), ψV(x, y) andψRi(x, y, x0, y0) such that for any (finite, undirected) graph G= (W, F) the{E, V, R}-structureGψ = (W2, Eψ, Vψ, Rψ0, Rψ1) where

http://logic.rwth-aachen.de/Teaching/AMT-WS19/

(2)

Eψ ={(w, w0) :G |=ψE(w, w0)},Vψ ={(w, w0) :G |=ψV(w, w0)} and

Rψi ={((u, u0),(w, w0)) :G |=ψRi(u, u0, w, w0)},

encodes a linear equation system over F2 which has a solution if, and only if, G is bipartite.

http://logic.rwth-aachen.de/Teaching/AMT-WS19/

Referenzen

ÄHNLICHE DOKUMENTE

Abgabe : bis Mittwoch, den 06.07., um 12:00 Uhr im Übungskasten oder in der Vorlesung.. Geben Sie bitte Namen, Matrikelnummer und die

(a) Die Klasse der ungerichteten Graphen (V, E), in denen jeder Kreis die gleiche Länge hat. (b) Die Klasse der Strukturen (A, f) wobei f eine selbst-inverse Funktion

Mathematische Grundlagen der Informatik RWTH

Consider the polarisation experiment from the lecture, where, instead of 45 ◦ , the filter in the middle polarises light with an angle α, for arbitrary α. Specify how much light

Eine Satz ϕ ist in Gaifman-Form , falls ϕ eine Boolesche Kombination von Sätzen der Form.

Mathematische Grundlagen der Informatik RWTH

Mathematische Grundlagen der Informatik RWTH

Eine positionale Strategie σ nennen wir homogen, wenn sie für alle Knoten mit gleicher Nachfolgermenge den gleichen Nachfolger