1

All we need to do is guess $k$ vertices. We look at vertex $v_1$, and make sure $v_1$ is not connected to $v_2...v_k$. Then, we "throw" $v_1$, and look at $v_2$. We do this to all vertices.

Meaning that we only need to guess $k$ vertices, and in our working memory (which determinates NL or NP) we only need to keep 2 vertices.

Where is my mistake?

Ariel
  • 13,369
  • 1
  • 21
  • 38
Ran
  • 135
  • 6

1 Answers1

3

First, $NL\stackrel{?}{=} NP$ is still open, so $IS\in NL$ is possible (within our current knowledge, though we believe that they are different).

The problem with your proof, is that when you "guess $k$ vertices", you have to write them in your memory (when we say "guess", we mean that we write a vertex in the working tape, where at each step our machine writes either $0$ or $1$). Keeping $k$ vertices simultaneously (where $k$ is part of the input), requires more than logarithmic space.

Ariel
  • 13,369
  • 1
  • 21
  • 38
  • Your'e right, silly me... And as well you can say that it is possible that P=NP... Possible correct, but believed different... – Ran Apr 30 '16 at 08:34