m-chrzan.xyz
aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarcin Chrzanowski <mc370754@students.mimuw.edu.pl>2022-12-07 18:00:11 +0100
committerMarcin Chrzanowski <mc370754@students.mimuw.edu.pl>2022-12-07 18:00:11 +0100
commite701e6d72c9f6c793b5df5d5a5d044473d4e9b13 (patch)
treeed08a9c12a6bfa70112104b71d2c5ad451548480
parent0d7937120d69c0e6c48b2e0f6932435e1b4085a4 (diff)
Change complexity class notation
-rw-r--r--mgr.tex3
1 files changed, 2 insertions, 1 deletions
diff --git a/mgr.tex b/mgr.tex
index 4e21ad6..9e4c530 100644
--- a/mgr.tex
+++ b/mgr.tex
@@ -1300,7 +1300,8 @@ problem
has an \qptime{$O(|T|)$}{$|S| \log |S|$} solution. We do not know whether this
is an optimal solution. If the question answering step's complexity could be
reduced to $O(|S|)$, MSO query answering on structures of bounded treewidth
-would then be known to be in \lineardelaylin. Or is there a lower bound on
+would then be known to be solvable in
+\qptime{$O_{\varphi}(n)$}{$O_{\varphi}(m)$}. Or is there a lower bound on
computing LCA closures in this setting, for example, would it be possible to
reduce comparison sorting to computing LCA closures?