Derived from Koslov, Evasiveness Conjecture; Fwd: SEQ FROM Jonathan Vos Post

[Max Alekseyev]

On Sun, Mar 2, 2008 at 3:57 PM, Jonathan Post <jvospost3 at gmail.com> wrote:

>   %I A000001
>   %S A000001 1, 2, 3, 4, 5, 6, 7, 8, 9, 11

[...]

>   %e A000001 "Conjecture 13.4. (Evasiveness Conjecture, a.k.a. Karp
>  Conjecture).  Every nontrivial monotone graph property for graphs on n
>  vertices is evasive. So far, the Evasiveness Conjecture has been
>  verified in the case when n is a prime power [A000961], and
>  additionally when n = 6." [Kozlov, p.228]. Hence n=10 is the first
>  integer which we do not know belongs in this sequence or not.

Why then 11 is listed in this sequence?
If the status of n=10 is unknown, the sequence should end at 9.

Regards,
Max