47,663 research outputs found
Locally identifying coloring in bounded expansion classes of graphs
A proper vertex coloring of a graph is said to be locally identifying if the
sets of colors in the closed neighborhood of any two adjacent non-twin vertices
are distinct. The lid-chromatic number of a graph is the minimum number of
colors used by a locally identifying vertex-coloring. In this paper, we prove
that for any graph class of bounded expansion, the lid-chromatic number is
bounded. Classes of bounded expansion include minor closed classes of graphs.
For these latter classes, we give an alternative proof to show that the
lid-chromatic number is bounded. This leads to an explicit upper bound for the
lid-chromatic number of planar graphs. This answers in a positive way a
question of Esperet et al [L. Esperet, S. Gravier, M. Montassier, P. Ochem and
A. Parreau. Locally identifying coloring of graphs. Electronic Journal of
Combinatorics, 19(2), 2012.]
Automated Discharging Arguments for Density Problems in Grids
Discharging arguments demonstrate a connection between local structure and
global averages. This makes it an effective tool for proving lower bounds on
the density of special sets in infinite grids. However, the minimum density of
an identifying code in the hexagonal grid remains open, with an upper bound of
and a lower bound of . We present a new, experimental framework for producing discharging
arguments using an algorithm. This algorithm replaces the lengthy case analysis
of human-written discharging arguments with a linear program that produces the
best possible lower bound using the specified set of discharging rules. We use
this framework to present a lower bound of on
the density of an identifying code in the hexagonal grid, and also find several
sharp lower bounds for variations on identifying codes in the hexagonal,
square, and triangular grids.Comment: This is an extended abstract, with 10 pages, 2 appendices, 5 tables,
and 2 figure
On two variations of identifying codes
Identifying codes have been introduced in 1998 to model fault-detection in
multiprocessor systems. In this paper, we introduce two variations of
identifying codes: weak codes and light codes. They correspond to
fault-detection by successive rounds. We give exact bounds for those two
definitions for the family of cycles
Identifying codes from the spectrum of a graph or digraph
Peer ReviewedPostprint (author's final draft
- …