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

[Jonathan Post]

I worried about that too, Max.

However, "1, 2, 3, 4, 5, 6, 7, 8, 9" returns 1437 results.  Adding the
11 and commenting that we're unsure about 10 reduces to a more
manageable 168.

But I still think that the seq is useful, as more elements will likely
become known over the next few years, hard though it is.  And the
Kozlov book is a tremendous new textbook, brilliantly presenting many
wonderful results, many of them new to me, with crisp proofs and clear
diagrams, and various tables amenable to other seqs.

It's not as if I'm just making stuff up here (although I certainly
have been guilty in the past).  I've lately been making an effort to
submit mostly seqs liking to real dead-tree publications, or at least
good arXiv papers.

Best,

Prof. Jonathan Vos Post

p.s. John M. Lynch points out on his "Stranger Fruit" scienceblog that
02/03/08 (USA notation) is the anniversary of these:

Events

1808 - The inaugural meeting of the Wernerian Natural History Society
was held in Edinburgh.

1972 - The Pioneer 10 space probe is launched

1998 - Data sent from the Galileo spacecraft indicates that Europa has
a liquid ocean under a thick crust of ice.

Births

1779 - Joel Roberts Poinsett, American statesman and botanist

1862 - Boris Borisovich Galitzine, Russian physicist

Deaths

1729 - Francesco Bianchini, Italian philosopher and scientist

1830 - Samuel Thomas von Sömmering, German physician

1840 - Heinrich Wilhelm Matthäus Olbers, German astronomer


On 3/2/08, Max Alekseyev <maxale at gmail.com> wrote:
> 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
>