816 research outputs found
On the algorithmic complexity of twelve covering and independence parameters of graphs
The definitions of four previously studied parameters related to total coverings and total matchings of graphs can be restricted, thereby obtaining eight parameters related to covering and independence, each of which has been studied previously in some form. Here we survey briefly results concerning total coverings and total matchings of graphs, and consider the aforementioned 12 covering and independence parameters with regard to algorithmic complexity. We survey briefly known results for several graph classes, and obtain new NP-completeness results for the minimum total cover and maximum minimal total cover problems in planar graphs, the minimum maximal total matching problem in bipartite and chordal graphs, and the minimum independent dominating set problem in planar cubic graphs
Explicit isoperimetric constants and phase transitions in the random-cluster model
The random-cluster model is a dependent percolation model that has
applications in the study of Ising and Potts models. In this paper, several new
results are obtained for the random-cluster model on nonamenable graphs with
cluster parameter . Among these, the main ones are the absence of
percolation for the free random-cluster measure at the critical value, and
examples of planar regular graphs with regular dual where \pc^\f (q) > \pu^\w
(q) for large enough. The latter follows from considerations of
isoperimetric constants, and we give the first nontrivial explicit calculations
of such constants. Such considerations are also used to prove non-robust phase
transition for the Potts model on nonamenable regular graphs
The Dominating Set Problem in Geometric Intersection Graphs
We study the parameterized complexity of dominating sets in geometric intersection graphs. In one dimension, we investigate intersection graphs induced by translates of a fixed pattern Q that consists of a finite number of intervals and a finite number of isolated points. We prove that Dominating Set on such intersection graphs is polynomially solvable whenever Q contains at least one interval, and whenever Q contains no intervals and for any two point pairs in Q the distance ratio is rational. The remaining case where Q contains no intervals but does contain an irrational distance ratio is shown to be NP-complete and contained in FPT (when parameterized by the solution size). In two and higher dimensions, we prove that Dominating Set is contained in W[1] for intersection graphs of semi-algebraic sets with constant description complexity. This generalizes known results from the literature. Finally, we establish W[1]-hardness for a large class of intersection graphs
Generalized Distance Domination Problems and Their Complexity on Graphs of Bounded mim-width
We generalize the family of (sigma, rho)-problems and locally checkable vertex partition problems to their distance versions, which naturally captures well-known problems such as distance-r dominating set and distance-r independent set. We show that these distance problems are XP parameterized by the structural parameter mim-width, and hence polynomial on graph classes where mim-width is bounded and quickly computable, such as k-trapezoid graphs, Dilworth k-graphs, (circular) permutation graphs, interval graphs and their complements, convex graphs and their complements, k-polygon graphs, circular arc graphs, complements of d-degenerate graphs, and H-graphs if given an H-representation. To supplement these findings, we show that many classes of (distance) (sigma, rho)-problems are W[1]-hard parameterized by mim-width + solution size
Extension of One-Dimensional Proximity Regions to Higher Dimensions
Proximity maps and regions are defined based on the relative allocation of
points from two or more classes in an area of interest and are used to
construct random graphs called proximity catch digraphs (PCDs) which have
applications in various fields. The simplest of such maps is the spherical
proximity map which maps a point from the class of interest to a disk centered
at the same point with radius being the distance to the closest point from the
other class in the region. The spherical proximity map gave rise to class cover
catch digraph (CCCD) which was applied to pattern classification. Furthermore
for uniform data on the real line, the exact and asymptotic distribution of the
domination number of CCCDs were analytically available. In this article, we
determine some appealing properties of the spherical proximity map in compact
intervals on the real line and use these properties as a guideline for defining
new proximity maps in higher dimensions. Delaunay triangulation is used to
partition the region of interest in higher dimensions. Furthermore, we
introduce the auxiliary tools used for the construction of the new proximity
maps, as well as some related concepts that will be used in the investigation
and comparison of them and the resulting graphs. We characterize the geometry
invariance of PCDs for uniform data. We also provide some newly defined
proximity maps in higher dimensions as illustrative examples
Khovanov homology, wedges of spheres and complexity
Our main result has topological, combinatorial and computational flavor. It
is motivated by a fundamental conjecture stating that computing Khovanov
homology of a closed braid of fixed number of strands has polynomial time
complexity. We show that the independence simplicial complex associated
to the 4-braid diagram (and therefore its Khovanov spectrum at extreme
quantum degree) is contractible or homotopy equivalent to either a sphere, or a
wedge of 2 spheres (possibly of different dimensions), or a wedge of 3 spheres
(at least two of them of the same dimension), or a wedge of 4 spheres (at least
three of them of the same dimension). On the algorithmic side we prove that
finding the homotopy type of can be done in polynomial time with respect
to the number of crossings in . In particular, we prove the wedge of spheres
conjecture for circle graphs obtained from 4-braid diagrams. We also introduce
the concept of Khovanov adequate diagram and discuss criteria for a link to
have a Khovanov adequate braid diagram with at most 4 strands.Comment: 39 pages, 22 Figure
- …