diff options
Diffstat (limited to 'mgr.tex')
| -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. |