Abstract. A partitioned matroid [Formula: see text] consists of a matroid [Formula: see text] and a partition [Formula: see text] of its ground set. As such structures arise frequently in structural matroid theory, this paper introduces a general technique for analyzing those special properties of partitioned matroids that depend solely on the values of the connectivities [Formula: see text], the local connectivities [Formula: see text], and the dual local connectivities [Formula: see text]. In particular, we consider those partitioned matroids in which each [Formula: see text] is an independent, coindependent set of clones of cardinality [Formula: see text]. Calling such partitioned matroids clonal-core matroids, we show that special results of the above type for partitioned matroids can be verified in general by proving them just for clonal-core matroids. Aiming at the long-term goal of finding the unavoidable minors of 4-connected matroids, we illustrate this technique by studying 4-paths. These are sequences [Formula: see text] of sets that partition the ground set of a matroid so that the union of any proper initial segment of parts is 4-separating. Viewing the ends [Formula: see text] and [Formula: see text] as fixed, we call such a partition a 4-flexipath if [Formula: see text] is a 4-path for all permutations [Formula: see text] of [Formula: see text]. A straightforward simplification enables us to focus on [Formula: see text]-flexipaths for some [Formula: see text] in [Formula: see text], that is, those 4-flexipaths for which [Formula: see text] and [Formula: see text] for all distinct [Formula: see text] and [Formula: see text]. Our main result for 4-paths is that the only nontrivial case that arises here is when [Formula: see text]. In that case, there are essentially only two possible dual pairs of [Formula: see text]-flexipaths when [Formula: see text].

We consider a natural generalization of Vertex Cover : the Subset Vertex Cover problem, which is to decide for a graph G = ( V , E ) , a subset T ⊆ V and integer k , if V has a subset S of size at most k , such that S contains at least one end-vertex of every edge incident to a vertex of T . A graph is H -free if it does not contain H as an induced subgraph. We solve two open problems from the literature by proving that Subset Vertex Cover is NP -complete on subcubic (claw, diamond)-free planar graphs and on 2-unipolar graphs, a subclass of 2 P 3 -free weakly chordal graphs. Our results show for the first time that Subset Vertex Cover is computationally harder than Vertex Cover (under P ≠ NP ). We also prove new polynomial time results, some of which follow from a reduction to Vertex Cover restricted to classes of probe graphs. We first give a dichotomy on graphs where G [ T ] is H -free. Namely, we show that Subset Vertex Cover is polynomial-time solvable on graphs G , for which G [ T ] is H -free, if H = s P 1 + t P 2 and NP -complete otherwise. Moreover, we prove that Subset Vertex Cover is polynomial-time solvable for ( s P 1 + P 2 + P 3 ) -free graphs and bounded mim-width graphs. By combining our new results with known results we obtain a partial complexity classification for Subset Vertex Cover on H -free graphs.

A bipartite graph G=(A,B,E) is H-convex for some family of graphs H if there exists a graph H∈H with V(H)=A such that the neighbours in A of each b∈B induce a connected subgraph of H. Many NP-complete problems are polynomial-time solvable for H-convex graphs when H is the set of paths. The underlying reason is that the class has bounded mim-width. We extend this result to families of H-convex graphs where H is the set of cycles, or H is the set of trees with bounded maximum degree and a bounded number of vertices of degree at least 3. As a consequence, we strengthen many known results via one general and short proof. We also show that the mim-width of H-convex graphs is unbounded if H is the set of trees with arbitrarily large maximum degree or an arbitrarily large number of vertices of degree at least 3.

Abstract. For integers [Formula: see text] and [Formula: see text] exceeding one, a matroid [Formula: see text] on [Formula: see text] elements is nearly [Formula: see text]- cyclic if there is a cyclic ordering [Formula: see text] of its ground set such that every [Formula: see text] consecutive elements of [Formula: see text] are contained in an [Formula: see text]-element circuit and every [Formula: see text] consecutive elements of [Formula: see text] are contained in a [Formula: see text]-element cocircuit. In the case [Formula: see text], nearly [Formula: see text]-cyclic matroids have been studied previously. In this paper, we show that if [Formula: see text] is nearly [Formula: see text]-cyclic and [Formula: see text] is sufficiently large, then these [Formula: see text]-element circuits and [Formula: see text]-element cocircuits are consecutive in [Formula: see text] in a prescribed way, that is, [Formula: see text] is “[Formula: see text]-cyclic.” Furthermore, we show that, given [Formula: see text] and [Formula: see text] where [Formula: see text], every [Formula: see text]-cyclic matroid on [Formula: see text] elements is a weak-map image of the [Formula: see text]th truncation of a certain [Formula: see text]-cyclic matroid. If [Formula: see text], this certain matroid is the rank-[Formula: see text] whirl, and if [Formula: see text], this certain matroid is the rank-[Formula: see text] free swirl.

The Cut & Count technique and the rank-based approach have lead to single-exponential FPT algorithms parameterized by treewidth, that is, running in time $2^{O(tw)}n^{O(1)}$, for Feedback Vertex Set and connected versions of the classical graph problems (such as Vertex Cover and Dominating Set). We show that Subset Feedback Vertex Set, Subset Odd Cycle Transversal, Restricted Edge-Subset Feedback Edge Set, Node Multiway Cut, and Multiway Cut are unlikely to have such running times. More precisely, we match algorithms running in time $2^{O(tw \log tw)}n^{O(1)}$ with tight lower bounds under the Exponential-Time Hypothesis (ETH), ruling out $2^{o(tw \log tw)}n^{O(1)}$, where $n$ is the number of vertices and $tw$ is the treewidth of the input graph. Our algorithms extend to the weighted case, while our lower bounds also hold for the larger parameter pathwidth and do not require weights. We also show that, in contrast to Odd Cycle Transversal, there is no $2^{o(tw \log tw)}n^{O(1)}$-time algorithm for Even Cycle Transversal under the ETH.

A large number of NP-hard graph problems are solvable in XP time when parameterized by some width parameter. Hence, when solving problems on special graph classes, it is helpful to know if the graph class under consideration has bounded width. In this paper we consider mim-width, a particularly general width parameter that has a number of algorithmic applications whenever a decomposition is "quickly computable" for the graph class under consideration. We start by extending the toolkit for proving (un)boundedness of mim-width of graph classes. By combining our new techniques with known ones we then initiate a systematic study into bounding mim-width from the perspective of hereditary graph classes, and make a comparison with clique-width, a more restrictive width parameter that has been well studied. We prove that for a given graph H, the class of H-free graphs has bounded mim-width if and only if it has bounded clique-width. We show that the same is not true for (H₁,H₂)-free graphs. We identify several general classes of (H₁,H₂)-free graphs having unbounded clique-width, but bounded mim-width, illustrating the power of mim-width. Moreover, we show that a branch decomposition of constant mim-width can be found in polynomial time, for these classes. Hence, as mentioned, these results have algorithmic implications: when the input is restricted to such a class of (H₁,H₂)-free graphs, many problems become polynomial-time solvable, including classical problems such as k-Colouring and Independent Set, domination-type problems known as LC-VSVP problems, and distance versions of LC-VSVP problems, to name just a few. We also prove a number of new results showing that, for certain H₁ and H₂, the class of (H₁,H₂)-free graphs has unbounded mim-width. Boundedness of clique-width implies boundedness of mim-width. By combining our results, which give both new bounded and unbounded cases for mim-width, with the known bounded cases for clique-width, we present summary theorems of the current state of the art for the boundedness of mim-width for (H₁,H₂)-free graphs. In particular, we classify the mim-width of (H₁,H₂)-free graphs for all pairs (H₁,H₂) with |V(H₁)| + |V(H₂)| ≤ 8. When H₁ and H₂ are connected graphs, we classify all pairs (H₁,H₂) except for one remaining infinite family and a few isolated cases.

In this work, we initiate the study of the Min-Ones d-SAT problem in the parameterized streaming model. An instance of the problem consists of a d-CNF formula F and an integer k, and the objective is to determine if F has a satisfying assignment which sets at most k variables to 1. In the parameterized streaming model, input is provided as a stream, just as in the usual streaming model. A key difference is that the bound on the read-write memory available to the algorithm is O(f(k) log n) (f: N -> N, a computable function) as opposed to the O(log n) bound of the usual streaming model. The other important difference is that the number of passes the algorithm makes over its input must be a (preferably small) function of k. We design a (k + 1)-pass parameterized streaming algorithm that solves Min-Ones d-SAT (d >= 2) using space O((kd^(ck) + k^d)log n) (c > 0, a constant) and a (d + 1)^k-pass algorithm that uses space O(k log n). We also design a streaming kernelization for Min-Ones 2-SAT that makes (k + 2) passes and uses space O(k^6 log n) to produce a kernel with O(k^6) clauses. To complement these positive results, we show that any k-pass algorithm for or Min-Ones d-SAT (d >= 2) requires space Omega(max{n^(1/k) / 2^k, log(n / k)}) on instances (F, k). This is achieved via a reduction from the streaming problem POT Pointer Chasing (Guha and McGregor [ICALP 2008]), which might be of independent interest. Given this, our (k + 1)-pass parameterized streaming algorithm is the best possible, inasmuch as the number of passes is concerned. In contrast to the results of Fafianie and Kratsch [MFCS 2014] and Chitnis et al. [SODA 2015], who independently showed that there are 1-pass parameterized streaming algorithms for Vertex Cover (a restriction of Min-Ones 2-SAT), we show using lower bounds from Communication Complexity that for any d >= 1, a 1-pass streaming algorithm for Min-Ones d-SAT requires space Omega(n). This excludes the possibility of a 1-pass parameterized streaming algorithm for the problem. Additionally, we show that any p-pass algorithm for the problem requires space Omega(n/p).

We consider matroids with the property that every subset of the ground set of size $t$ is contained in both an $\ell$-element circuit and an $\ell$-element cocircuit; we say that such a matroid has the $(t,\ell)$-property. We show that for any positive integer $t$, there is a finite number of matroids with the $(t,\ell)$-property for $\ell<2t$; however, matroids with the $(t,2t)$-property form an infinite family. We say a matroid is a $t$-spike if there is a partition of the ground set into pairs such that the union of any $t$ pairs is a circuit and a cocircuit. Our main result is that if a sufficiently large matroid has the $(t,2t)$-property, then it is a $t$-spike. Finally, we present some properties of $t$-spikes.

For a fixed graph H, we are interested in the parameterized complexity of the following problem, called {H}-M-Deletion, parameterized by the treewidth tw of the input graph: given an n-vertex graph G and an integer k, decide whether there exists S subseteq V(G) with |S| <= k such that G setminus S does not contain H as a minor. In previous work [IPEC, 2017] we proved that if H is planar and connected, then the problem cannot be solved in time 2^{o(tw)} * n^{O(1)} under the ETH, and can be solved in time 2^{O(tw * log tw)} * n^{O(1)}. In this article we manage to classify the optimal asymptotic complexity of {H}-M-Deletion when H is a connected planar graph on at most 5 vertices. Out of the 29 possibilities (discarding the trivial case H = K_1), we prove that 9 of them are solvable in time 2^{Theta (tw)} * n^{O(1)}, and that the other 20 ones are solvable in time 2^{Theta (tw * log tw)} * n^{O(1)}. Namely, we prove that K_4 and the diamond are the only graphs on at most 4 vertices for which the problem is solvable in time 2^{Theta (tw * log tw)} * n^{O(1)}, and that the chair and the banner are the only graphs on 5 vertices for which the problem is solvable in time 2^{Theta (tw)} * n^{O(1)}. For the version of the problem where H is forbidden as a topological minor, the case H = K_{1,4} can be solved in time 2^{Theta (tw)} * n^{O(1)}. This exhibits, to the best of our knowledge, the first difference between the computational complexity of both problems.