An adjacent vertex distinguishing edge coloring, or an avd-coloring,
of a simple graph
no two adjacent vertices are incident with the same set of colors.
H. Hatami showed that every simple graph
edges and maximum degree
most
We improve this bound as follows: if
avd-chromatic number of
1970-2025 CP (Manitoba, Canada) unless otherwise stated.