9 research outputs found
Separating sets of strings by finding matching patterns is almost always hard
© 2017 Elsevier B.V. We study the complexity of the problem of searching for a set of patterns that separate two given sets of strings. This problem has applications in a wide variety of areas, most notably in data mining, computational biology, and in understanding the complexity of genetic algorithms. We show that the basic problem of finding a small set of patterns that match one set of strings but do not match any string in a second set is difficult (NP-complete, W[2]-hard when parameterized by the size of the pattern set, and APX-hard). We then perform a detailed parameterized analysis of the problem, separating tractable and intractable variants. In particular we show that parameterizing by the size of pattern set and the number of strings, and the size of the alphabet and the number of strings give FPT results, amongst others
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
Normalizing the Taylor expansion of non-deterministic {\lambda}-terms, via parallel reduction of resource vectors
It has been known since Ehrhard and Regnier's seminal work on the Taylor
expansion of -terms that this operation commutes with normalization:
the expansion of a -term is always normalizable and its normal form is
the expansion of the B\"ohm tree of the term. We generalize this result to the
non-uniform setting of the algebraic -calculus, i.e.
-calculus extended with linear combinations of terms. This requires us
to tackle two difficulties: foremost is the fact that Ehrhard and Regnier's
techniques rely heavily on the uniform, deterministic nature of the ordinary
-calculus, and thus cannot be adapted; second is the absence of any
satisfactory generic extension of the notion of B\"ohm tree in presence of
quantitative non-determinism, which is reflected by the fact that the Taylor
expansion of an algebraic -term is not always normalizable. Our
solution is to provide a fine grained study of the dynamics of
-reduction under Taylor expansion, by introducing a notion of reduction
on resource vectors, i.e. infinite linear combinations of resource
-terms. The latter form the multilinear fragment of the differential
-calculus, and resource vectors are the target of the Taylor expansion
of -terms. We show the reduction of resource vectors contains the
image of any -reduction step, from which we deduce that Taylor expansion
and normalization commute on the nose. We moreover identify a class of
algebraic -terms, encompassing both normalizable algebraic
-terms and arbitrary ordinary -terms: the expansion of these
is always normalizable, which guides the definition of a generalization of
B\"ohm trees to this setting
Twin-width IV: ordered graphs and matrices
We establish a list of characterizations of bounded twin-width for
hereditary, totally ordered binary structures. This has several consequences.
First, it allows us to show that a (hereditary) class of matrices over a finite
alphabet either contains at least matrices of size , or at
most for some constant . This generalizes the celebrated Stanley-Wilf
conjecture/Marcus-Tardos theorem from permutation classes to any matrix class
over a finite alphabet, answers our small conjecture [SODA '21] in the case of
ordered graphs, and with more work, settles a question first asked by Balogh,
Bollob\'as, and Morris [Eur. J. Comb. '06] on the growth of hereditary classes
of ordered graphs. Second, it gives a fixed-parameter approximation algorithm
for twin-width on ordered graphs. Third, it yields a full classification of
fixed-parameter tractable first-order model checking on hereditary classes of
ordered binary structures. Fourth, it provides a model-theoretic
characterization of classes with bounded twin-width.Comment: 53 pages, 18 figure
Twin-width VIII: delineation and win-wins
We introduce the notion of delineation. A graph class is said
delineated if for every hereditary closure of a subclass of
, it holds that has bounded twin-width if and only if
is monadically dependent. An effective strengthening of
delineation for a class implies that tractable FO model checking
on is perfectly understood: On hereditary closures of
subclasses of , FO model checking is fixed-parameter tractable
(FPT) exactly when has bounded twin-width. Ordered graphs
[BGOdMSTT, STOC '22] and permutation graphs [BKTW, JACM '22] 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 show that segment graphs, directed path graphs, 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 '21]. We show that -free segment graphs, and
axis-parallel -free unit segment graphs have bounded twin-width, where
is the half-graph or ladder of height . In contrast, axis-parallel
-free two-lengthed segment graphs have unbounded twin-width. Our new
results, combined with the known FPT algorithm for FO model checking on graphs
given with -sequences, lead to win-win arguments. For instance, we derive
FPT algorithms for -Ladder on visibility graphs of 1.5D terrains, and
-Independent Set on visibility graphs of simple polygons.Comment: 51 pages, 19 figure