2,104 research outputs found
Sufficient Conditions for Tuza's Conjecture on Packing and Covering Triangles
Given a simple graph , a subset of is called a triangle cover if
it intersects each triangle of . Let and denote the
maximum number of pairwise edge-disjoint triangles in and the minimum
cardinality of a triangle cover of , respectively. Tuza conjectured in 1981
that holds for every graph . In this paper, using a
hypergraph approach, we design polynomial-time combinatorial algorithms for
finding small triangle covers. These algorithms imply new sufficient conditions
for Tuza's conjecture on covering and packing triangles. More precisely,
suppose that the set of triangles covers all edges in . We
show that a triangle cover of with cardinality at most can be
found in polynomial time if one of the following conditions is satisfied: (i)
, (ii) , (iii)
.
Keywords: Triangle cover, Triangle packing, Linear 3-uniform hypergraphs,
Combinatorial algorithm
Approximation Algorithms for Polynomial-Expansion and Low-Density Graphs
We study the family of intersection graphs of low density objects in low
dimensional Euclidean space. This family is quite general, and includes planar
graphs. We prove that such graphs have small separators. Next, we present
efficient -approximation algorithms for these graphs, for
Independent Set, Set Cover, and Dominating Set problems, among others. We also
prove corresponding hardness of approximation for some of these optimization
problems, providing a characterization of their intractability in terms of
density
Packing and covering with balls on Busemann surfaces
In this note we prove that for any compact subset of a Busemann surface
(in particular, for any simple polygon with geodesic metric)
and any positive number , the minimum number of closed balls of radius
with centers at and covering the set is at most 19
times the maximum number of disjoint closed balls of radius centered
at points of : , where and
are the covering and the packing numbers of by -balls.Comment: 27 page
A Pfaffian formula for monomer-dimer partition functions
We consider the monomer-dimer partition function on arbitrary finite planar
graphs and arbitrary monomer and dimer weights, with the restriction that the
only non-zero monomer weights are those on the boundary. We prove a Pfaffian
formula for the corresponding partition function. As a consequence of this
result, multipoint boundary monomer correlation functions at close packing are
shown to satisfy fermionic statistics. Our proof is based on the celebrated
Kasteleyn theorem, combined with a theorem on Pfaffians proved by one of the
authors, and a careful labeling and directing procedure of the vertices and
edges of the graph.Comment: Added referenc
On the tractability of some natural packing, covering and partitioning problems
In this paper we fix 7 types of undirected graphs: paths, paths with
prescribed endvertices, circuits, forests, spanning trees, (not necessarily
spanning) trees and cuts. Given an undirected graph and two "object
types" and chosen from the alternatives above, we
consider the following questions. \textbf{Packing problem:} can we find an
object of type and one of type in the edge set of
, so that they are edge-disjoint? \textbf{Partitioning problem:} can we
partition into an object of type and one of type ?
\textbf{Covering problem:} can we cover with an object of type
, and an object of type ? This framework includes 44
natural graph theoretic questions. Some of these problems were well-known
before, for example covering the edge-set of a graph with two spanning trees,
or finding an - path and an - path that are
edge-disjoint. However, many others were not, for example can we find an
- path and a spanning tree that are
edge-disjoint? Most of these previously unknown problems turned out to be
NP-complete, many of them even in planar graphs. This paper determines the
status of these 44 problems. For the NP-complete problems we also investigate
the planar version, for the polynomial problems we consider the matroidal
generalization (wherever this makes sense)
Decomposition of multiple packings with subquadratic union complexity
Suppose is a positive integer and is a -fold packing of
the plane by infinitely many arc-connected compact sets, which means that every
point of the plane belongs to at most sets. Suppose there is a function
with the property that any members of determine
at most holes, which means that the complement of their union has at
most bounded connected components. We use tools from extremal graph
theory and the topological Helly theorem to prove that can be
decomposed into at most (-fold) packings, where is a constant
depending only on and .Comment: Small generalization of the main result, improvements in the proofs,
minor correction
Dense packing on uniform lattices
We study the Hard Core Model on the graphs
obtained from Archimedean tilings i.e. configurations in with the nearest neighbor 1's forbidden. Our
particular aim in choosing these graphs is to obtain insight to the geometry of
the densest packings in a uniform discrete set-up. We establish density bounds,
optimal configurations reaching them in all cases, and introduce a
probabilistic cellular automaton that generates the legal configurations. Its
rule involves a parameter which can be naturally characterized as packing
pressure. It can have a critical value but from packing point of view just as
interesting are the noncritical cases. These phenomena are related to the
exponential size of the set of densest packings and more specifically whether
these packings are maximally symmetric, simple laminated or essentially random
packings.Comment: 18 page
Vertex and edge covers with clustering properties: complexity and algorithms
We consider the concepts of a t-total vertex cover and a t-total edge cover (t≥1), which generalise the notions of a vertex cover and an edge cover, respectively. A t-total vertex (respectively edge) cover of a connected graph G is a vertex (edge) cover S of G such that each connected component of the subgraph of G induced by S has at least t vertices (edges). These definitions are motivated by combining the concepts of clustering and covering in graphs. Moreover they yield a spectrum of parameters that essentially range from a vertex cover to a connected vertex cover (in the vertex case) and from an edge cover to a spanning tree (in the edge case). For various values of t, we present NP-completeness and approximability results (both upper and lower bounds) and FTP algorithms for problems concerned with finding the minimum size of a t-total vertex cover, t-total edge cover and connected vertex cover, in particular improving on a previous FTP algorithm for the latter problem
Randomness in topological models
p. 914-925There are two aspects of randomness in topological models. In the first one, topological
idealization of random patterns found in the Nature can be regarded as planar
representations of three-dimensional lattices and thus reconstructed in the space. Another aspect of randomness is related to graphs in which some properties are determined in a random way. For example, combinatorial properties of graphs: number of vertices, number of edges, and connections between them can be regarded as events in the defined probability space. Random-graph theory deals with a question: at what connection probability a particular property reveals. Combination of probabilistic description of planar graphs and their spatial reconstruction creates new opportunities in structural form-finding, especially in the inceptive, the most creative, stage.Tarczewski, R.; Bober, W. (2010). Randomness in topological models. Editorial Universitat Politècnica de València. http://hdl.handle.net/10251/695
- …