189,497 research outputs found
Twin-Width VIII: Delineation and Win-Wins
We introduce the notion of delineation. A graph class C is said delineated by twin-width (or simply, delineated) if for every hereditary closure D of a subclass of C, it holds that D has bounded twin-width if and only if D is monadically dependent. An effective strengthening of delineation for a class C implies that tractable FO model checking on C is perfectly understood: On hereditary closures of subclasses D of C, FO model checking on D is fixed-parameter tractable (FPT) exactly when D has bounded twin-width. Ordered graphs [BGOdMSTT, STOC \u2722] and permutation graphs [BKTW, JACM \u2722] are effectively delineated, while subcubic graphs are not. On the one hand, we prove that interval graphs, and even, rooted directed path graphs are delineated. On the other hand, we observe or show that segment graphs, directed path graphs (with arbitrarily many roots), and visibility graphs of simple polygons are not delineated.
In an effort to draw the delineation frontier between interval graphs (that are delineated) and axis-parallel two-lengthed segment graphs (that are not), we investigate the twin-width of restricted segment intersection classes. It was known that (triangle-free) pure axis-parallel unit segment graphs have unbounded twin-width [BGKTW, SODA \u2721]. We show that K_{t,t}-free segment graphs, and axis-parallel H_t-free unit segment graphs have bounded twin-width, where H_t is the half-graph or ladder of height t. In contrast, axis-parallel H?-free two-lengthed segment graphs have unbounded twin-width. We leave as an open question whether unit segment graphs are delineated.
More broadly, we explore which structures (large bicliques, half-graphs, or independent sets) are responsible for making the twin-width large on the main classes of intersection and visibility graphs. Our new results, combined with the FPT algorithm for first-order model checking on graphs given with O(1)-sequences [BKTW, JACM \u2722], give rise to a variety of algorithmic win-win arguments. They all fall in the same framework: If p is an FO definable graph parameter that effectively functionally upperbounds twin-width on a class C, then p(G) ? k can be decided in FPT time f(k) ? |V(G)|^O(1). For instance, we readily derive FPT algorithms for k-Ladder on visibility graphs of 1.5D terrains, and k-Independent Set on visibility graphs of simple polygons. This showcases that the theory of twin-width can serve outside of classes of bounded twin-width
Recognizing Geometric Intersection Graphs Stabbed by a Line
In this paper, we determine the computational complexity of recognizing two
graph classes, \emph{grounded L}-graphs and \emph{stabbable grid intersection}
graphs. An L-shape is made by joining the bottom end-point of a vertical
() segment to the left end-point of a horizontal () segment. The top
end-point of the vertical segment is known as the {\em anchor} of the L-shape.
Grounded L-graphs are the intersection graphs of L-shapes such that all the
L-shapes' anchors lie on the same horizontal line. We show that recognizing
grounded L-graphs is NP-complete. This answers an open question asked by
Jel{\'\i}nek \& T{\"o}pfer (Electron. J. Comb., 2019).
Grid intersection graphs are the intersection graphs of axis-parallel line
segments in which two vertical (similarly, two horizontal) segments cannot
intersect. We say that a (not necessarily axis-parallel) straight line
stabs a segment , if intersects . A graph is a stabbable grid
intersection graph () if there is a grid intersection representation
of in which the same line stabs all its segments. We show that recognizing
graphs is -complete, even on a restricted class of graphs. This
answers an open question asked by Chaplick \etal (\textsc{O}rder, 2018).Comment: 18 pages, 11 Figure
Structure of Cubic Lehman Matrices
A pair of square -matrices is called a \emph{Lehman pair} if
for some integer . In this case and
are called \emph{Lehman matrices}. This terminology arises because Lehman
showed that the rows with the fewest ones in any non-degenerate minimally
nonideal (mni) matrix form a square Lehman submatrix of . Lehman
matrices with are essentially equivalent to \emph{partitionable graphs}
(also known as -graphs), so have been heavily studied as part
of attempts to directly classify minimal imperfect graphs. In this paper, we
view a Lehman matrix as the bipartite adjacency matrix of a regular bipartite
graph, focusing in particular on the case where the graph is cubic. From this
perspective, we identify two constructions that generate cubic Lehman graphs
from smaller Lehman graphs. The most prolific of these constructions involves
repeatedly replacing suitable pairs of edges with a particular -vertex
subgraph that we call a -rung ladder segment. Two decades ago, L\"{u}tolf \&
Margot initiated a computational study of mni matrices and constructed a
catalogue containing (among other things) a listing of all cubic Lehman
matrices with of order up to . We verify their catalogue
(which has just one omission), and extend the computational results to matrices. Of the cubic Lehman matrices (with ) of order
up to , only two do not arise from our -rung ladder
construction. However these exceptions can be derived from our second
construction, and so our two constructions cover all known cubic Lehman
matrices with
Optimality program in segment and string graphs
Planar graphs are known to allow subexponential algorithms running in time
or for most of the paradigmatic
problems, while the brute-force time is very likely to be
asymptotically best on general graphs. Intrigued by an algorithm packing curves
in by Fox and Pach [SODA'11], we investigate which
problems have subexponential algorithms on the intersection graphs of curves
(string graphs) or segments (segment intersection graphs) and which problems
have no such algorithms under the ETH (Exponential Time Hypothesis). Among our
results, we show that, quite surprisingly, 3-Coloring can also be solved in
time on string graphs while an algorithm running
in time for 4-Coloring even on axis-parallel segments (of unbounded
length) would disprove the ETH. For 4-Coloring of unit segments, we show a
weaker ETH lower bound of which exploits the celebrated
Erd\H{o}s-Szekeres theorem. The subexponential running time also carries over
to Min Feedback Vertex Set but not to Min Dominating Set and Min Independent
Dominating Set.Comment: 19 pages, 15 figure
Unit Grid Intersection Graphs: Recognition and Properties
It has been known since 1991 that the problem of recognizing grid
intersection graphs is NP-complete. Here we use a modified argument of the
above result to show that even if we restrict to the class of unit grid
intersection graphs (UGIGs), the recognition remains hard, as well as for all
graph classes contained inbetween. The result holds even when considering only
graphs with arbitrarily large girth. Furthermore, we ask the question of
representing UGIGs on grids of minimal size. We show that the UGIGs that can be
represented in a square of side length 1+epsilon, for a positive epsilon no
greater than 1, are exactly the orthogonal ray graphs, and that there exist
families of trees that need an arbitrarily large grid
- …