5,117 research outputs found
On Vertex Identifying Codes For Infinite Lattices
PhD Thesis--A compilation of the papers: "Lower Bounds for Identifying Codes
in Some Infinite Grids", "Improved Bounds for r-identifying Codes of the Hex
Grid", and "Vertex Identifying Codes for the n-dimensional Lattics" along with
some other resultsComment: 91p
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
An improved lower bound for (1,<=2)-identifying codes in the king grid
We call a subset of vertices of a graph a -identifying
code if for all subsets of vertices with size at most , the sets
are distinct. The concept of
identifying codes was introduced in 1998 by Karpovsky, Chakrabarty and Levitin.
Identifying codes have been studied in various grids. In particular, it has
been shown that there exists a -identifying code in the king grid
with density 3/7 and that there are no such identifying codes with density
smaller than 5/12. Using a suitable frame and a discharging procedure, we
improve the lower bound by showing that any -identifying code of
the king grid has density at least 47/111
Uniform hypergraphs containing no grids
A hypergraph is called an rĆr grid if it is isomorphic to a pattern of r horizontal and r vertical lines, i.e.,a family of sets {A1, ..., Ar, B1, ..., Br} such that Aiā©Aj=Biā©Bj=Ļ for 1ā¤i<jā¤r and {pipe}Aiā©Bj{pipe}=1 for 1ā¤i, jā¤r. Three sets C1, C2, C3 form a triangle if they pairwise intersect in three distinct singletons, {pipe}C1ā©C2{pipe}={pipe}C2ā©C3{pipe}={pipe}C3ā©C1{pipe}=1, C1ā©C2ā C1ā©C3. A hypergraph is linear, if {pipe}Eā©F{pipe}ā¤1 holds for every pair of edges Eā F.In this paper we construct large linear r-hypergraphs which contain no grids. Moreover, a similar construction gives large linear r-hypergraphs which contain neither grids nor triangles. For rā„. 4 our constructions are almost optimal. These investigations are motivated by coding theory: we get new bounds for optimal superimposed codes and designs. Ā© 2013 Elsevier Ltd
- ā¦