112,068 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
2-local triple homomorphisms on von Neumann algebras and JBW-triples
We prove that every (not necessarily linear nor continuous) 2-local triple
homomorphism from a JBW-triple into a JB-triple is linear and a triple
homomorphism. Consequently, every 2-local triple homomorphism from a von
Neumann algebra (respectively, from a JBW-algebra) into a C-algebra
(respectively, into a JB-algebra) is linear and a triple homomorphism
Dichotomy for tree-structured trigraph list homomorphism problems
Trigraph list homomorphism problems (also known as list matrix partition
problems) have generated recent interest, partly because there are concrete
problems that are not known to be polynomial time solvable or NP-complete. Thus
while digraph list homomorphism problems enjoy dichotomy (each problem is
NP-complete or polynomial time solvable), such dichotomy is not necessarily
expected for trigraph list homomorphism problems. However, in this paper, we
identify a large class of trigraphs for which list homomorphism problems do
exhibit a dichotomy. They consist of trigraphs with a tree-like structure, and,
in particular, include all trigraphs whose underlying graphs are trees. In
fact, we show that for these tree-like trigraphs, the trigraph list
homomorphism problem is polynomially equivalent to a related digraph list
homomorphism problem. We also describe a few examples illustrating that our
conditions defining tree-like trigraphs are not unnatural, as relaxing them may
lead to harder problems
- …