26,135 research outputs found
The competition number of a graph with exactly h holes, all of which are independent
AbstractGiven an acyclic digraph D, the competition graph C(D) of D is the graph with the same vertex set as D where two distinct vertices x and y are adjacent in C(D) if and only if there is a vertex v in D such that (x,v) and (y,v) are arcs of D. The competition number κ(G) of a graph G is the least number of isolated vertices that must be added to G to form a competition graph. The purpose of this paper is to prove that the competition number of a graph with exactly h holes, all of which are independent, is at most h+1. This generalizes the result for h=0 given by Roberts, and the result for h=1 given by Cho and Kim
The competition number of a graph and the dimension of its hole space
The competition graph of a digraph D is a (simple undirected) graph which has
the same vertex set as D and has an edge between x and y if and only if there
exists a vertex v in D such that (x,v) and (y,v) are arcs of D. For any graph
G, G together with sufficiently many isolated vertices is the competition graph
of some acyclic digraph. The competition number k(G) of G is the smallest
number of such isolated vertices. In general, it is hard to compute the
competition number k(G) for a graph G and it has been one of important research
problems in the study of competition graphs to characterize a graph by its
competition number. Recently, the relationship between the competition number
and the number of holes of a graph is being studied. A hole of a graph is a
cycle of length at least 4 as an induced subgraph. In this paper, we conjecture
that the dimension of the hole space of a graph is no smaller than the
competition number of the graph. We verify this conjecture for various kinds of
graphs and show that our conjectured inequality is indeed an equality for
connected triangle-free graphs.Comment: 6 pages, 3 figure
Competitively tight graphs
The competition graph of a digraph is a (simple undirected) graph which
has the same vertex set as and has an edge between two distinct vertices
and if and only if there exists a vertex in such that
and are arcs of . For any graph , together with sufficiently
many isolated vertices is the competition graph of some acyclic digraph. The
competition number of a graph is the smallest number of such
isolated vertices. Computing the competition number of a graph is an NP-hard
problem in general and has been one of the important research problems in the
study of competition graphs. Opsut [1982] showed that the competition number of
a graph is related to the edge clique cover number of the
graph via . We first show
that for any positive integer satisfying , there
exists a graph with and characterize a graph
satisfying . We then focus on what we call
\emph{competitively tight graphs} which satisfy the lower bound, i.e.,
. We completely characterize the competitively tight
graphs having at most two triangles. In addition, we provide a new upper bound
for the competition number of a graph from which we derive a sufficient
condition and a necessary condition for a graph to be competitively tight.Comment: 10 pages, 2 figure
The competition numbers of ternary Hamming graphs
It is known to be a hard problem to compute the competition number k(G) of a
graph G in general. Park and Sano [13] gave the exact values of the competition
numbers of Hamming graphs H(n,q) if or . In
this paper, we give an explicit formula of the competition numbers of ternary
Hamming graphs.Comment: 6 pages, 2 figure
The competition numbers of Hamming graphs with diameter at most three
The competition graph of a digraph D is a graph which has the same vertex set
as D and has an edge between x and y if and only if there exists a vertex v in
D such that (x,v) and (y,v) are arcs of D. For any graph G, G together with
sufficiently many isolated vertices is the competition graph of some acyclic
digraph. The competition number k(G) of a graph G is defined to be the smallest
number of such isolated vertices. In general, it is hard to compute the
competition number k(G) for a graph G and it has been one of important research
problems in the study of competition graphs. In this paper, we compute the
competition numbers of Hamming graphs with diameter at most three.Comment: 12 pages, 1 figur
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in<br> SAT-Based Planning
In Verification and in (optimal) AI Planning, a successful method is to
formulate the application as boolean satisfiability (SAT), and solve it with
state-of-the-art DPLL-based procedures. There is a lack of understanding of why
this works so well. Focussing on the Planning context, we identify a form of
problem structure concerned with the symmetrical or asymmetrical nature of the
cost of achieving the individual planning goals. We quantify this sort of
structure with a simple numeric parameter called AsymRatio, ranging between 0
and 1. We run experiments in 10 benchmark domains from the International
Planning Competitions since 2000; we show that AsymRatio is a good indicator of
SAT solver performance in 8 of these domains. We then examine carefully crafted
synthetic planning domains that allow control of the amount of structure, and
that are clean enough for a rigorous analysis of the combinatorial search
space. The domains are parameterized by size, and by the amount of structure.
The CNFs we examine are unsatisfiable, encoding one planning step less than the
length of the optimal plan. We prove upper and lower bounds on the size of the
best possible DPLL refutations, under different settings of the amount of
structure, as a function of size. We also identify the best possible sets of
branching variables (backdoors). With minimum AsymRatio, we prove exponential
lower bounds, and identify minimal backdoors of size linear in the number of
variables. With maximum AsymRatio, we identify logarithmic DPLL refutations
(and backdoors), showing a doubly exponential gap between the two structural
extreme cases. The reasons for this behavior -- the proof arguments --
illuminate the prototypical patterns of structure causing the empirical
behavior observed in the competition benchmarks
- …