Venn Diagrams Open Problems



Index of Problems
Venn diagrams with 6 triangles
Peter Winkler's Conjecture


Venn diagrams with 6 triangles

RESEARCHER: Peter Hamburger
OFFICE: CoRE 442
Email:hamburge@dimacs.rutgers.edu
DESCRIPTION: The figure to the right is a Venn diagram with 4 closed curves. The curves in this figure are ellipses. It is a Venn diagram because each of the 2^4 regions created by the curves (including the exterior to all of them) is in the interior of a different subset of the 4 curves from the other regions. Thus each possible subset of the 4 curves has a unique region which is contained inside exactly that subset of curves. The exterior region is contained inside the empty subset of curves.

The largest Venn diagram that can be created with circles consists of 3 circles...you've probably seen it. Can you prove that no Venn diagram can be created with 4 circles? This is not too hard. The largest Venn diagram that can be created with ellipses has 5 ellipses, was discovered only recently, and was thought for a long time not to exist!

It is possible to create a Venn diagram with 5 triangles, but this is tricky. The open problem is this: is it possible to create a Venn diagram with 6 triangles?

For more information, you may wish to check out Simple Reducible Venn Diagrams on Five Curves and Hamiltonian Cycles, a postscript file.


Peter Winkler's Conjecture

RESEARCHER: Peter Hamburger
OFFICE: CoRE 442
Email:hamburge@dimacs.rutgers.edu
DESCRIPTION: A Venn diagram is called "simple" if curves cross when they meet (no tangencies) and if no 3 curves meet at a point. The Venn diagram in the previous problem is simple.

Winkler conjectured about 15 years ago that any simple Venn diagram could be extended to a larger simple Venn diagram with the addition of a single curve. The figure to the right shows how to add a curve to the Venn diagram above to obtain a larger simple Venn diagram. Winkler's conjecture is still open.

If you consider a Venn diagram to be a planar graph, where the vertices are the points of intersection of the curves and the edges are the arcs of the curves between vertices, then Winkler's conjecture amounts to showing that the dual of this graph is Hamiltonian. Can you see why this is the case? It isn't too hard to see. So, to prove Winkler's conjecture, you can prove that the dual graph to any simple Venn diagram is Hamiltonian.

For more information, you may wish to check out Simple Reducible Venn Diagrams on Five Curves and Hamiltonian Cycles, a postscript file.