Radio coloring
In graph theory, a branch of mathematics, a radio coloring of an undirected graph is a form of graph coloring in which one assigns positive integer labels to the graphs such that the labels of adjacent vertices differ by at least two, and the labels of vertices at distance two from each other differ by at least one.
Radio coloring is closely related to the -labeling problem first studied by ; radio coloring uses labels starting from 1, while -labeling typically uses labels starting from 0. This means that a radio coloring can be transformed into an -labeling by simply subtracting 1 from the value at each vertex, and vice versa by adding 1. The two problems are essentially differ only by notation in most regards, and so are often considered the same problem.
The name "radio coloring" was introduced by Frank Harary because it models the problem of channel assignment in radio broadcasting, while avoiding electromagnetic interference between radio stations that are near each other both in the graph and in their assigned channel frequencies.
The span of a radio coloring is its maximum label, and the radio coloring number of a graph is the smallest possible span of a radio coloring. For instance, the graph consisting of two vertices with a single edge has radio coloring number 3: it has a radio coloring with one vertex labeled 1 and the other labeled 3, but it is not possible for a radio coloring of this graph to use only the labels 1 and 2.
Relationship to other labeling problems
Radio coloring is part of a family of graph labeling problems. The -labeling problem is essentially equivalent to radio coloring, with the main difference being the starting index for labels. This means that if a graph has -labeling number, it has radio coloring number.Radio coloring should not be confused with radio labeling, which is a different problem where all vertices must receive distinct labels, and adjacent vertices must have labels that differ by at least 2. In radio labeling, the constraint at distance two is automatically satisfied since all labels are distinct.