Logo

Greetings from The On-Line Encyclopedia of Integer Sequences!

Hints

Search: id:A140744
Displaying 1-1 of 1 results found. page 1
     Format: long | short | internal | text      Sort: relevance | references | number      Highlight: on | off
A140744 Arises in enumerating iterated point-line configurations. +0
2
4, 4, 4, 4, 5, 5, 6, 6, 7, 8, 9, 10, 11, 13, 14, 16, 19, 22, 26, 30, 36, 43, 52, 63, 77, 95, 119, 151, 193, 249, 326, 433, 583, 795, 1102, 1551, 2220, 3233, 4796, 7254, 11194, 17643, 28432, 46898, 79271, 137464, 244869, 448658, 846699, 1648170, 3314300, 6895838 (list; graph; listen)
OFFSET

1,1

COMMENT

Lower bound of formula (12) on p.13. For some constants C1 and C2 the paper proves that C1*a(n) <= the number of points in the n-th stage <= C2*(4^4^n). Abstract: Begin with a set of four points in the real plane in general position. Add to this collection the intersection of all lines through pairs of these points. Iterate. Ismailescu and Radoivi'c (2003) showed that the limiting set is dense in the plane. We give doubly exponential upper and lower bounds on the number of points at each stage. The proof employs a variant of the Szemeredi-Trotter Theorem and an analysis of the "minimum degree" of the growing configuration.

LINKS

Joshua Cooper and Mark Walters, Iterated Point-Line Configurations Grow Doubly-Exponentially

FORMULA

a(n) = Floor(4^(1.0488^n)).

EXAMPLE

a(50) = 3314300 because 4^(1.0488^50) = 3314300.96.

a(51) = 6895838 because 4^(1.0488^51) = 6895838.31.

a(52) = 14869970 because 4^(1.0488^52) = 14869970.9.

CROSSREFS

Sequence in context: A006264 A134994 A138195 this_sequence A139324 A111655 A113646

Adjacent sequences: A140741 A140742 A140743 this_sequence A140745 A140746 A140747

KEYWORD

easy,nonn,less

AUTHOR

Jonathan Vos Post (jvospost3(AT)gmail.com), Jul 12 2008

page 1

Search completed in 0.002 seconds

Lookup | Welcome | Find friends | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Transforms | Puzzles | Hot | Classics
More pages | Superseeker | Maintained by N. J. A. Sloane (njas@research.att.com)

Last modified November 25 14:49 EST 2009. Contains 167514 sequences.


AT&T Labs Research