16
$\begingroup$

LogCFL is the set of all languages that are logspace reducible to a context-free language. Similarly, LogDCFL is the set of all languages that are logspace reducible to a deterministic context-free language. See this wikipedia article for some natural LogCFL-complete problems. There are several other interesting LogCFL-complete problems. I could not find any natural LogDCFL-complete problems. Name any natural LogDCFL-complete problem.

$\endgroup$
2
  • $\begingroup$ Out of curiosity, may I ask why you are interested in LogDCFL? $\endgroup$ Commented Sep 17, 2010 at 12:18
  • $\begingroup$ I am interested in space-bounded computation in general and trying understand LogDCFL. $\endgroup$ Commented Sep 24, 2010 at 22:15

1 Answer 1

12
$\begingroup$

The following language is a slight tweak of the usual LogCFL complete one so that it is LogDCFL complete. The proof can be found in Sudborough's On the Tape Complexity of Deterministic Context-Free Languages.

Let $\Sigma = \{(_1,(_2,)_1, )_2\}$ and $T = \{[,],|\}$. The following language over $\Sigma \cup T$ is LogDCFL-complete. $L$ consists of words $$w_0\left[(_1l_1|(_2r_1\right]\ldots\left[(_1l_n|(_2r_n\right]$$ where $w_0, l_i, r_i \in \Sigma^*$ such that there exists $w_1, \ldots, w_n$ with $w_i = (_1l_i$ or $w_i = (_2r_i$ for all $i \geq 1$ and $w_0w_1\ldots w_n$ is parenthetically correct.

$\endgroup$
3
  • $\begingroup$ Shouldn't the options be $)_1l_1|)_2r_1$ etc. i.e. start with $)_1$ or $)_2$ rather than with $(_1,(_2$. Sorry for the slightly :-) delayed comment. $\endgroup$
    – SamiD
    Commented Oct 19, 2022 at 18:00
  • $\begingroup$ @SamiD: Just checked the original paper, and the language L is defined in a slightly different way indeed. That being said, isn't that language also LogDCFL-complete? $\endgroup$ Commented Oct 19, 2022 at 22:12
  • $\begingroup$ Not sure that the language you define is in LogDCFL -- I can see that it is in LogCFL but how do you predict that the choice made at an intermediate stage will lead to acceptance eventually. In deterministic block choice however the choice is dictated by what is the last open parenthesis. I have not checked the hardness proof to see that goes through for your language, though. $\endgroup$
    – SamiD
    Commented Oct 21, 2022 at 8:11

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.