diff options
author | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-12-16 17:36:00 +0100 |
---|---|---|
committer | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-12-16 17:36:00 +0100 |
commit | 21762da12c107569905a9e3e4051fe0033833d61 (patch) | |
tree | c05a7f3ad110ef86744689925bb211083afb89cb | |
parent | 29f5d0b9c55179a60590d34953127cf8e0f19059 (diff) |
Fix typo
-rw-r--r-- | mgr.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -788,7 +788,7 @@ interpreted as a bit vector signifying which unary relations $U_X$ a vertex is assigned to. By combining the above reductions, we can solve MSO query answering on trees by -solving the relabel regular qustions problem on trees. Indeed, fix a formula +solving the relabel regular qeustions problem on trees. Indeed, fix a formula $\varphi(\vec{X})$ and take a tree $T$. Derive automaton $A$ and tree $T'$ as above. Label each vertex of $T'$ with $0\ldots0$ (signifying that none of its vertices have yet been assigned to any of the variables in $\vec{X}$). |