725 research outputs found
Inferring an Indeterminate String from a Prefix Graph
An \itbf{indeterminate string} (or, more simply, just a \itbf{string}) \s{x}
= \s{x}[1..n] on an alphabet is a sequence of nonempty subsets of
. We say that \s{x}[i_1] and \s{x}[i_2] \itbf{match} (written
\s{x}[i_1] \match \s{x}[i_2]) if and only if \s{x}[i_1] \cap \s{x}[i_2] \ne
\emptyset. A \itbf{feasible array} is an array \s{y} = \s{y}[1..n] of
integers such that \s{y}[1] = n and for every , \s{y}[i] \in
0..n\- i\+ 1. A \itbf{prefix table} of a string \s{x} is an array \s{\pi} =
\s{\pi}[1..n] of integers such that, for every , \s{\pi}[i] = j
if and only if \s{x}[i..i\+ j\- 1] is the longest substring at position
of \s{x} that matches a prefix of \s{x}. It is known from \cite{CRSW13} that
every feasible array is a prefix table of some indetermintate string. A
\itbf{prefix graph} \mathcal{P} = \mathcal{P}_{\s{y}} is a labelled simple
graph whose structure is determined by a feasible array \s{y}. In this paper we
show, given a feasible array \s{y}, how to use \mathcal{P}_{\s{y}} to
construct a lexicographically least indeterminate string on a minimum alphabet
whose prefix table \s{\pi} = \s{y}.Comment: 13 pages, 1 figur
Vertex arboricity of triangle-free graphs
Master's Project (M.S.) University of Alaska Fairbanks, 2016The vertex arboricity of a graph is the minimum number of colors needed to color the vertices so that the subgraph induced by each color class is a forest. In other words, the vertex arboricity of a graph is the fewest number of colors required in order to color a graph such that every cycle has at least two colors. Although not standard, we will refer to vertex arboricity simply as arboricity. In this paper, we discuss properties of chromatic number and k-defective chromatic number and how those properties relate to the arboricity of trianglefree graphs. In particular, we find bounds on the minimum order of a graph having arboricity three. Equivalently, we consider the largest possible vertex arboricity of triangle-free graphs of fixed order
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
Growth rates of geometric grid classes of permutations
Geometric grid classes of permutations have proven to be key in investigations of classical permutation pattern classes. By considering the representation of gridded permutations as words in a trace monoid, we prove that every geometric grid class has a growth rate which is given by the square of the largest root of the matching polynomial of a related graph. As a consequence, we characterise the set of growth rates of geometric grid classes in terms of the spectral radii of trees, explore the influence of "cycle parity" on the growth rate, compare the growth rates of geometric grid classes against those of the corresponding monotone grid classes, and present new results concerning the effect of edge subdivision on the largest root of the matching polynomial
Some local--global phenomena in locally finite graphs
In this paper we present some results for a connected infinite graph with
finite degrees where the properties of balls of small radii guarantee the
existence of some Hamiltonian and connectivity properties of . (For a vertex
of a graph the ball of radius centered at is the subgraph of
induced by the set of vertices whose distance from does not
exceed ). In particular, we prove that if every ball of radius 2 in is
2-connected and satisfies the condition for
each path in , where and are non-adjacent vertices, then
has a Hamiltonian curve, introduced by K\"undgen, Li and Thomassen (2017).
Furthermore, we prove that if every ball of radius 1 in satisfies Ore's
condition (1960) then all balls of any radius in are Hamiltonian.Comment: 18 pages, 6 figures; journal accepted versio
The zero forcing polynomial of a graph
Zero forcing is an iterative graph coloring process, where given a set of
initially colored vertices, a colored vertex with a single uncolored neighbor
causes that neighbor to become colored. A zero forcing set is a set of
initially colored vertices which causes the entire graph to eventually become
colored. In this paper, we study the counting problem associated with zero
forcing. We introduce the zero forcing polynomial of a graph of order
as the polynomial , where is
the number of zero forcing sets of of size . We characterize the
extremal coefficients of , derive closed form expressions for
the zero forcing polynomials of several families of graphs, and explore various
structural properties of , including multiplicativity,
unimodality, and uniqueness.Comment: 23 page
- …