5,858 research outputs found
A note on the convexity number for complementary prisms
In the geodetic convexity, a set of vertices of a graph is
if all vertices belonging to any shortest path between two
vertices of lie in . The cardinality of a maximum proper convex
set of is the of . The
of a graph arises from the
disjoint union of the graph and by adding the edges of a
perfect matching between the corresponding vertices of and .
In this work, we we prove that the decision problem related to the convexity
number is NP-complete even restricted to complementary prisms, we determine
when is disconnected or is a cograph, and we
present a lower bound when .Comment: 10 pages, 2 figure
The Exclusivity Principle Determines the Correlation Monogamy
Adopting the graph-theoretic approach to the correlation experiments, we
analyze the origin of monogamy and prove that it can be recognised as a
consequence of exclusivity principle(EP). We provide an operational criterion
for monogamy: if the fractional packing number of the graph corresponding to
the union of event sets of several physical experiments does not exceed the sum
of independence numbers of each individual experiment graph, then these
experiments are monogamous. As applications of this observation, several
examples are provided, including the monogamy for experiments of
Clauser-Horne-Shimony-Holt (CHSH) type, Klyachko-Can-Binicio\u{g}lu-Shumovsky
(KCBS) type, and for the first time we give some monogamy relations of
Swetlichny's genuine nonlocality. We also give the necessary and sufficient
condition for several experiments to be monogamous: several experiments are
monogamous if and only if the Lov\'asz number the union exclusive graph is less
than or equal to the sum of independence numbers of each exclusive graph
More indecomposable polyhedra
We apply combinatorial methods to a geometric problem: the classification of
polytopes, in terms of Minkowski decomposability. Various properties of
skeletons of polytopes are exhibited, each sufficient to guarantee
indecomposability of a significant class of polytopes. We illustrate further
the power of these techniques, compared with the traditional method of
examining triangular faces, with several applications. In any dimension , we show that of all the polytopes with or fewer edges,
only one is decomposable. In 3 dimensions, we complete the classification, in
terms of decomposability, of the 260 combinatorial types of polyhedra with 15
or fewer edges.Comment: PDFLaTeX, 21 pages, 6 figure
Large induced subgraphs via triangulations and CMSO
We obtain an algorithmic meta-theorem for the following optimization problem.
Let \phi\ be a Counting Monadic Second Order Logic (CMSO) formula and t be an
integer. For a given graph G, the task is to maximize |X| subject to the
following: there is a set of vertices F of G, containing X, such that the
subgraph G[F] induced by F is of treewidth at most t, and structure (G[F],X)
models \phi.
Some special cases of this optimization problem are the following generic
examples. Each of these cases contains various problems as a special subcase:
1) "Maximum induced subgraph with at most l copies of cycles of length 0
modulo m", where for fixed nonnegative integers m and l, the task is to find a
maximum induced subgraph of a given graph with at most l vertex-disjoint cycles
of length 0 modulo m.
2) "Minimum \Gamma-deletion", where for a fixed finite set of graphs \Gamma\
containing a planar graph, the task is to find a maximum induced subgraph of a
given graph containing no graph from \Gamma\ as a minor.
3) "Independent \Pi-packing", where for a fixed finite set of connected
graphs \Pi, the task is to find an induced subgraph G[F] of a given graph G
with the maximum number of connected components, such that each connected
component of G[F] is isomorphic to some graph from \Pi.
We give an algorithm solving the optimization problem on an n-vertex graph G
in time O(#pmc n^{t+4} f(t,\phi)), where #pmc is the number of all potential
maximal cliques in G and f is a function depending of t and \phi\ only. We also
show how a similar running time can be obtained for the weighted version of the
problem. Pipelined with known bounds on the number of potential maximal
cliques, we deduce that our optimization problem can be solved in time
O(1.7347^n) for arbitrary graphs, and in polynomial time for graph classes with
polynomial number of minimal separators
Prodsimplicial-Neighborly Polytopes
Simultaneously generalizing both neighborly and neighborly cubical polytopes,
we introduce PSN polytopes: their k-skeleton is combinatorially equivalent to
that of a product of r simplices. We construct PSN polytopes by three different
methods, the most versatile of which is an extension of Sanyal and Ziegler's
"projecting deformed products" construction to products of arbitrary simple
polytopes. For general r and k, the lowest dimension we achieve is 2k+r+1.
Using topological obstructions similar to those introduced by Sanyal to bound
the number of vertices of Minkowski sums, we show that this dimension is
minimal if we additionally require that the PSN polytope is obtained as a
projection of a polytope that is combinatorially equivalent to the product of r
simplices, when the dimensions of these simplices are all large compared to k.Comment: 28 pages, 9 figures; minor correction
On \pi-surfaces of four-dimensional parallelohedra
We show that every four-dimensional parallelohedron P satisfies a recently
found condition of Garber, Gavrilyuk & Magazinov sufficient for the Voronoi
conjecture being true for P. Namely we show that for every four-dimensional
parallelohedron P the group of rational first homologies of its \pi-surface is
generated by half-belt cycles.Comment: 16 pages, 7 figure
Vertex colouring and forbidden subgraphs - a survey
There is a great variety of colouring concepts and results in the literature. Here our focus is to survey results on vertex colourings of graphs defined in terms of forbidden induced subgraph conditions
- …