diff options
author | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-12-09 15:22:24 +0100 |
---|---|---|
committer | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-12-09 15:22:24 +0100 |
commit | 003b0e63e46ae0d3f6571418f9c5b66b6fcaaab9 (patch) | |
tree | e0fea452b3bf0bb2e7381b81da72dc8c218e0b63 | |
parent | 0fa4f4f48ca9c0c882eca893b81ce8c02f1c527e (diff) |
Fix typo
-rw-r--r-- | mgr.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -124,7 +124,7 @@ in time $O(m \log m)$ (where $m$ is the size of the question): Note that though we speak of MSO formulae with second-order variables only, first-order variables are supported by simply restricting to questions in which -sets assigned to single-order variables are singletons. Also note, that for +sets assigned to first-order variables are singletons. Also note, that for formulae with first-order free variables only, question answering happens in constant time. |