3,901 research outputs found
Enumeration of idempotents in planar diagram monoids
We classify and enumerate the idempotents in several planar diagram monoids:
namely, the Motzkin, Jones (a.k.a. Temperley-Lieb) and Kauffman monoids. The
classification is in terms of certain vertex- and edge-coloured graphs
associated to Motzkin diagrams. The enumeration is necessarily algorithmic in
nature, and is based on parameters associated to cycle components of these
graphs. We compare our algorithms to existing algorithms for enumerating
idempotents in arbitrary (regular *-) semigroups, and give several tables of
calculated values.Comment: Majorly revised (new title, new abstract, one additional author), 24
pages, 6 figures, 8 tables, 5 algorithm
On the dimension of posets with cover graphs of treewidth
In 1977, Trotter and Moore proved that a poset has dimension at most
whenever its cover graph is a forest, or equivalently, has treewidth at most
. On the other hand, a well-known construction of Kelly shows that there are
posets of arbitrarily large dimension whose cover graphs have treewidth . In
this paper we focus on the boundary case of treewidth . It was recently
shown that the dimension is bounded if the cover graph is outerplanar (Felsner,
Trotter, and Wiechert) or if it has pathwidth (Bir\'o, Keller, and Young).
This can be interpreted as evidence that the dimension should be bounded more
generally when the cover graph has treewidth . We show that it is indeed the
case: Every such poset has dimension at most .Comment: v4: minor changes made following helpful comments by the referee
On largest volume simplices and sub-determinants
We show that the problem of finding the simplex of largest volume in the
convex hull of points in can be approximated with a factor
of in polynomial time. This improves upon the previously best
known approximation guarantee of by Khachiyan. On the other hand,
we show that there exists a constant such that this problem cannot be
approximated with a factor of , unless . % This improves over the
inapproximability that was previously known. Our hardness result holds
even if , in which case there exists a \bar c\,^{d}-approximation
algorithm that relies on recent sampling techniques, where is again a
constant. We show that similar results hold for the problem of finding the
largest absolute value of a subdeterminant of a matrix
When the Cut Condition is Enough: A Complete Characterization for Multiflow Problems in Series-Parallel Networks
Let be a supply graph and a demand graph defined on the
same set of vertices. An assignment of capacities to the edges of and
demands to the edges of is said to satisfy the \emph{cut condition} if for
any cut in the graph, the total demand crossing the cut is no more than the
total capacity crossing it. The pair is called \emph{cut-sufficient} if
for any assignment of capacities and demands that satisfy the cut condition,
there is a multiflow routing the demands defined on within the network with
capacities defined on . We prove a previous conjecture, which states that
when the supply graph is series-parallel, the pair is
cut-sufficient if and only if does not contain an \emph{odd spindle} as
a minor; that is, if it is impossible to contract edges of and delete edges
of and so that becomes the complete bipartite graph , with
odd, and is composed of a cycle connecting the vertices of
degree 2, and an edge connecting the two vertices of degree . We further
prove that if the instance is \emph{Eulerian} --- that is, the demands and
capacities are integers and the total of demands and capacities incident to
each vertex is even --- then the multiflow problem has an integral solution. We
provide a polynomial-time algorithm to find an integral solution in this case.
In order to prove these results, we formulate properties of tight cuts (cuts
for which the cut condition inequality is tight) in cut-sufficient pairs. We
believe these properties might be useful in extending our results to planar
graphs.Comment: An extended abstract of this paper will be published at the 44th
Symposium on Theory of Computing (STOC 2012
Defensive alliances in graphs: a survey
A set of vertices of a graph is a defensive -alliance in if
every vertex of has at least more neighbors inside of than outside.
This is primarily an expository article surveying the principal known results
on defensive alliances in graph. Its seven sections are: Introduction,
Computational complexity and realizability, Defensive -alliance number,
Boundary defensive -alliances, Defensive alliances in Cartesian product
graphs, Partitioning a graph into defensive -alliances, and Defensive
-alliance free sets.Comment: 25 page
On Colorings of Graph Powers
In this paper, some results concerning the colorings of graph powers are
presented. The notion of helical graphs is introduced. We show that such graphs
are hom-universal with respect to high odd-girth graphs whose st power
is bounded by a Kneser graph. Also, we consider the problem of existence of
homomorphism to odd cycles. We prove that such homomorphism to a -cycle
exists if and only if the chromatic number of the st power of
is less than or equal to 3, where is the 2-subdivision of . We also
consider Ne\v{s}et\v{r}il's Pentagon problem. This problem is about the
existence of high girth cubic graphs which are not homomorphic to the cycle of
size five. Several problems which are closely related to Ne\v{s}et\v{r}il's
problem are introduced and their relations are presented
- …