Indistinguishable families of graphs



Is there some natural not too trivial graph property such that all its
members are look-alikes. More precisely:

Can we find set of graphs S such that for any k there is N satisfying:
any two graphs of order larger than N satisfy the same first-order
formulas with at most k quantifiers, or equivalently are
undistinguashable by a k-round Ehrefeucht-Fraisse game?

.



Relevant Pages

  • Re: Indistinguishable families of graphs
    ... members are look-alikes. ... Can we find set of graphs S such that for any k there is N satisfying: ... undistinguashable by a k-round Ehrefeucht-Fraisse game? ...
    (sci.math)
  • Re: Question on computational complexity
    ... Can we find set of graphs S such that for any k there is N satisfying: ... This would give the first-order definability I claimed. ... But, in this case, you can construct such an S of any desired complexity. ...
    (comp.theory)
  • Re: Question on computational complexity
    ... Maybe I have stated that desired condition somewhat vague, so I restate ... it once more for clarity: ... Can we find set of graphs S such that for any k there is N satisfying: ...
    (comp.theory)
  • Re: Indistinguishable families of graphs
    ... members are look-alikes. ... Can we find set of graphs S such that for any k there is N satisfying: ... so I'm just *guessing* that these sets satisfy your ...
    (sci.math)