2,516 research outputs found
Exact Algorithm for Graph Homomorphism and Locally Injective Graph Homomorphism
For graphs and , a homomorphism from to is a function , which maps vertices adjacent in to adjacent vertices
of . A homomorphism is locally injective if no two vertices with a common
neighbor are mapped to a single vertex in . Many cases of graph homomorphism
and locally injective graph homomorphism are NP-complete, so there is little
hope to design polynomial-time algorithms for them. In this paper we present an
algorithm for graph homomorphism and locally injective homomorphism working in
time , where is the bandwidth of the
complement of
Lower Bounds for the Graph Homomorphism Problem
The graph homomorphism problem (HOM) asks whether the vertices of a given
-vertex graph can be mapped to the vertices of a given -vertex graph
such that each edge of is mapped to an edge of . The problem
generalizes the graph coloring problem and at the same time can be viewed as a
special case of the -CSP problem. In this paper, we prove several lower
bound for HOM under the Exponential Time Hypothesis (ETH) assumption. The main
result is a lower bound .
This rules out the existence of a single-exponential algorithm and shows that
the trivial upper bound is almost asymptotically
tight.
We also investigate what properties of graphs and make it difficult
to solve HOM. An easy observation is that an upper
bound can be improved to where
is the minimum size of a vertex cover of . The second
lower bound shows that the upper bound is
asymptotically tight. As to the properties of the "right-hand side" graph ,
it is known that HOM can be solved in time and
where is the maximum degree of
and is the treewidth of . This gives
single-exponential algorithms for graphs of bounded maximum degree or bounded
treewidth. Since the chromatic number does not exceed
and , it is natural to ask whether similar
upper bounds with respect to can be obtained. We provide a negative
answer to this question by establishing a lower bound for any
function . We also observe that similar lower bounds can be obtained for
locally injective homomorphisms.Comment: 19 page
Graph homomorphisms and components of quotient graphs
We study how the number of components of a graph can be expressed
through the number and properties of the components of a quotient graph
We partially rely on classic qualifications of graph homomorphisms
such as locally constrained homomorphisms and on the concept of equitable
partition and orbit partition. We introduce the new definitions of
pseudo-covering homomorphism and of component equitable partition, exhibiting
interesting inclusions among the various classes of considered homomorphisms.
As a consequence, we find a procedure for computing when the projection
on the quotient is pseudo-covering. That procedure becomes
particularly easy to handle when the partition corresponding to is an
orbit partition.Comment: arXiv admin note: text overlap with arXiv:1502.0296
Locally constrained homomorphisms on graphs of bounded treewidth and bounded degree.
A homomorphism from a graph G to a graph H is locally bijective, surjective, or injective if its restriction to the neighborhood of every vertex of G is bijective, surjective, or injective, respectively. We prove that the problems of testing whether a given graph G allows a homomorphism to a given graph H that is locally bijective, surjective, or injective, respectively, are NP-complete, even when G has pathwidth at most 5, 4 or 2, respectively, or when both G and H have maximum degree 3. We complement these hardness results by showing that the three problems are polynomial-time solvable if G has bounded treewidth and in addition G or H has bounded maximum degree
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction
We prove an algebraic preservation theorem for positive Horn definability in
aleph-zero categorical structures. In particular, we define and study a
construction which we call the periodic power of a structure, and define a
periomorphism of a structure to be a homomorphism from the periodic power of
the structure to the structure itself. Our preservation theorem states that,
over an aleph-zero categorical structure, a relation is positive Horn definable
if and only if it is preserved by all periomorphisms of the structure. We give
applications of this theorem, including a new proof of the known complexity
classification of quantified constraint satisfaction on equality templates
- …