7,463 research outputs found
An optimal strongly identifying code in the infinite triangular grid
Assume that G = (V, E) is an undirected graph, and C subset of V. For every v is an element of V, we denote by I(v) the set of all elements of C that are within distance one from v. If the sets I(v){v} for v is an element of V are all nonempty, and, moreover, the sets {I(v), I(v){v}} for v is an element of V are disjoint, then C is called a strongly identifying code. The smallest possible density of a strongly identifying code in the infinite triangular grid is shown to be 6/19
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 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
Open-independent, Open-locating-dominating Sets
A distinguishing set for a graph G = (V, E) is a dominating set D, each vertex being the location of some form of a locating device, from which one can detect and precisely identify any given "intruder" vertex in V(G). As with many applications of dominating sets, the set might be required to have a certain property for <D>, the subgraph induced by D (such as independence, paired, or connected). Recently the study of independent locating-dominating sets and independent identifying codes was initiated. Here we introduce the property of open-independence for open-locating-dominating sets
New computer-based search strategies for extreme functions of the Gomory--Johnson infinite group problem
We describe new computer-based search strategies for extreme functions for
the Gomory--Johnson infinite group problem. They lead to the discovery of new
extreme functions, whose existence settles several open questions.Comment: 54 pages, many figure
Mesh refinement in finite element analysis by minimization of the stiffness matrix trace
Most finite element packages provide means to generate meshes automatically. However, the user is usually confronted with the problem of not knowing whether the mesh generated is appropriate for the problem at hand. Since the accuracy of the finite element results is mesh dependent, mesh selection forms a very important step in the analysis. Indeed, in accurate analyses, meshes need to be refined or rezoned until the solution converges to a value so that the error is below a predetermined tolerance. A-posteriori methods use error indicators, developed by using the theory of interpolation and approximation theory, for mesh refinements. Some use other criterions, such as strain energy density variation and stress contours for example, to obtain near optimal meshes. Although these methods are adaptive, they are expensive. Alternatively, a priori methods, until now available, use geometrical parameters, for example, element aspect ratio. Therefore, they are not adaptive by nature. An adaptive a-priori method is developed. The criterion is that the minimization of the trace of the stiffness matrix with respect to the nodal coordinates, leads to a minimization of the potential energy, and as a consequence provide a good starting mesh. In a few examples the method is shown to provide the optimal mesh. The method is also shown to be relatively simple and amenable to development of computer algorithms. When the procedure is used in conjunction with a-posteriori methods of grid refinement, it is shown that fewer refinement iterations and fewer degrees of freedom are required for convergence as opposed to when the procedure is not used. The mesh obtained is shown to have uniform distribution of stiffness among the nodes and elements which, as a consequence, leads to uniform error distribution. Thus the mesh obtained meets the optimality criterion of uniform error distribution
Finding codes on infinite grids automatically
We apply automata theory and Karp's minimum mean weight cycle algorithm to
minimum density problems in coding theory. Using this method, we find the new
upper bound for the minimum density of an identifying
code on the infinite hexagonal grid, down from the previous record of .Comment: 18 pages, 5 figure
- …