Nepedia
Back to Discover
Advanced Reader
🔢

Intersection graph

math Maturity 11-13 Next article →

An intersection graph is a mathematical tool used to represent how different groups of objects overlap. In graph theory, we often study connections between points. An intersection graph does this by using sets of items to define those connections.

Intersection graph
Intersection graph

Each unique set in a collection is assigned a single vertex, which is a dot on a map. We draw an edge, or a connecting line, between two vertices only if their corresponding sets share at least one common element. This process turns a collection of overlapping groups into a clear visual network of relationships.

Every undirected graph can be viewed as an intersection graph. One way to prove this is to assign each vertex a set containing all the edges connected to it. If two vertices share an edge, their sets will have a non-empty intersection. This creates a perfect match between the sets and the graph structure. Mathematicians have found even more efficient ways to build these representations. A more efficient construction uses a smaller total number of elements across all sets. In such a case, the total number of elements is at most n squared, where n represents the number of vertices.

Intersection graph
Intersection graph

The smallest possible total number of elements required for a specific graph is called its intersection number.

Many important families of graphs are defined by the specific types of sets used to create them. For example, an interval graph is formed by using intervals on a real number line. If you use unit intervals, which are all the same length, you create an indifference graph. You can also use shapes on a circle, such as arcs, to form a circular arc graph. Other geometric shapes create different families. A polygon-circle graph uses polygons with corners resting on a circle. A trapezoid graph uses trapezoids built from two parallel lines. These specific rules allow mathematicians to categorize graphs based on their geometric properties.

Other families rely on different shapes in a two-dimensional plane. A unit disk graph is made from unit disks, which are flat, round shapes. A circle graph is created using chords, which are straight lines cutting across a circle. The circle packing theorem provides a special connection for planar graphs. This theorem states that planar graphs are exactly the intersection graphs of closed disks in a plane bounded by non-crossing circles. Furthermore, Scheinerman's conjecture, which is now a proven theorem, states that every planar graph can be represented by line segments in a plane.

Intersection graph
Intersection graph

However, using line segments can also produce nonplanar graphs, and identifying these is a complex task in computational theory.

Researchers have also identified more complex ways to represent connections using higher dimensions or curves. A string graph is an intersection graph made from curves on a plane. Some graphs are defined by multidimensional boxes. We use the term boxicity to describe the number of dimensions required to represent a graph using these boxes. If a graph requires k dimensions but cannot be represented in fewer, we say it has boxicity k. Other specialized types include the line graph, which represents the edges of a graph as sets of their endpoints. We also see clique graphs, which use the maximal cliques of another graph to form new connections.

History shows that mathematicians have long explored these connections. The observation that all graphs are intersection graphs is often credited to Erdős. However, the work of Marczewski is also highly significant to this field. These thinkers helped establish how the logic of sets can describe the structure of graphs. Their work allows us to take complex, messy overlaps and turn them into organized, mathematical models. This transition from sets to graphs is a fundamental part of modern graph theory.

These concepts connect to several other mathematical systems. In order theory, there is an analog called inclusion orders. While intersection graphs look for shared elements, inclusion orders look at how one set fits inside another. In an inclusion representation of a partially ordered set, or poset, an element is considered "less than or equal to" another if its set is a subset of the other's set. This shows that the study of how things overlap is deeply tied to the study of how things are ranked or ordered.

Intersection graph
Intersection graph
710 words

Where will your curiosity go next?

Keep exploring at your chosen reading level.

🖼️ Images & Media (1)
File:Intersection graph.gif
Intersection graph.gif
More to explore

What is Nepedia?

A free, ad-free encyclopedia for children. Every article is written at five reading levels, so the same page works for a five-year-old and a fifteen-year-old — use the level switcher above to see this one change. No account needed to read.