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. |