Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Assume S1, S2∈ NLOGSPACE. Which of the following statements is true? • S1 \ S2 ∈ coNLOGSPACE • S1 Δ S2 ∈ NLOGSPACE

where A\B is the set of members of A that are not members of B. And A Δ B is the set of members of A U B that are not members of A ∩ B

share|cite|improve this question
Try to show us what you have tried instead of making it look like you are giving us a homework assignment. – sxd Jan 10 '12 at 19:31
since NLogSpace=CoNLogSpace, i think both the statements are true... but is is true to say that ConNLogSpace=NLogSpace?? – Blue Devil Jan 10 '12 at 20:03

The Immerman–Szelepcsényi theorem says that NLOGSPACE is closed under complementation. So, if S1 and S2 are in NLOGSPACE, S1 \ S2 = S1 ∩ S2$^c$ and S1 Δ S2 = (S1 ∩ S2$^c$) ∪ (S1$^c$ ∩ S2) are both in NLOGSPACE. Since NLOGSPACE is closed under complementation, NLOGSPACE=co-NLOGSPACE, so they are also in co-NLOGSPACE. The link contains a sketch of a proof of the Immerman–Szelepcsényi theorem.

share|cite|improve this answer
so that means both the statements are true? – Blue Devil Jan 11 '12 at 11:19
Thank You @david-moews – Blue Devil Jan 11 '12 at 15:33

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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