# Computer Solution to the 17-point Erdős-szekeres Problem

@inproceedings{SzekeresComputerST, title={Computer Solution to the 17-point Erdős-szekeres Problem}, author={George Szekeres and L L Peters} }

We describe a computer proof of the 17-point version of a conjecture originally made by Klein-Szekeres in 1932 (now commonly known as the “Happy End Problem”) that a planar configuration of 17 points, no 3 points collinear, always contains a convex 6-subset. The proof makes use of a combinatorial model of planar configurations, expressed in terms of signature functions satisfying certain simple necessary conditions. The proof is more general than the original conjecture as the signature… CONTINUE READING

#### From This Paper

##### Topics from this paper.

#### Citations

##### Publications citing this paper.

Showing 1-10 of 25 extracted citations

## Crossing numbers and combinatorial characterization of monotone drawings of $K_n$

View 5 Excerpts

Highly Influenced

## On Disjoint Holes in Point Sets

View 4 Excerpts

Highly Influenced

## A SAT attack on the Erdős-Szekeres conjecture

View 9 Excerpts

Highly Influenced

## Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 Points

View 8 Excerpts

Highly Influenced

## Almost Empty Monochromatic Triangles in Planar Point Sets

View 3 Excerpts

Highly Influenced

## Disjoint empty convex pentagons in planar point sets

View 2 Excerpts

Highly Influenced

## Holes or Empty Pseudo-Triangles in Planar Point Sets

View 2 Excerpts

Highly Influenced

## On the Minimum Size of a Point Set Containing a 5-Hole and a Disjoint 4-Hole

View 2 Excerpts

Highly Influenced

## Old and New Problems and Results in Ramsey Theory

View 4 Excerpts

Highly Influenced

#### References

##### Publications referenced by this paper.

Showing 1-9 of 9 references

## Forced Convex n -Gons in the Plane

View 4 Excerpts

Highly Influenced

## A combinatorial problem on convex regions

View 5 Excerpts

Highly Influenced

## A combinatorial problem in geometry

View 4 Excerpts

Highly Influenced

## On Some Extremum Problems in Elementary Geometry

View 3 Excerpts

## The Erd̋ os-Szekeres problem on points in convex position

View 2 Excerpts

## Bonnice, “On convex polygons determined by a finite planar set

View 2 Excerpts