62 research outputs found
Upper clique transversals in graphs
A clique transversal in a graph is a set of vertices intersecting all maximal
cliques. The problem of determining the minimum size of a clique transversal
has received considerable attention in the literature. In this paper, we
initiate the study of the "upper" variant of this parameter, the upper clique
transversal number, defined as the maximum size of a minimal clique
transversal. We investigate this parameter from the algorithmic and complexity
points of view, with a focus on various graph classes. We show that the
corresponding decision problem is NP-complete in the classes of chordal graphs,
chordal bipartite graphs, and line graphs of bipartite graphs, but solvable in
linear time in the classes of split graphs and proper interval graphs.Comment: Full version of a WG 2023 pape
A Polynomial-Time Algorithm for MCS Partial Search Order on Chordal Graphs
We study the partial search order problem (PSOP) proposed recently by
Scheffler [WG 2022]. Given a graph together with a partial order over the
vertices of , this problem determines if there is an -ordering
that is consistent with the given partial order, where is a graph
search paradigm like BFS, DFS, etc. This problem naturally generalizes the
end-vertex problem which has received much attention over the past few years.
It also generalizes the so-called -tree recognition problem
which has just been studied in the literature recently. Our main contribution
is a polynomial-time dynamic programming algorithm for the PSOP on chordal
graphs with respect to the maximum cardinality search (MCS). This resolves one
of the most intriguing open questions left in the work of Sheffler [WG 2022].
To obtain our result, we propose the notion of layer structure and study
numerous related structural properties which might be of independent interest.Comment: 12 page
Related Orderings of AT-Free Graphs
An ordering of a graph G is a bijection of V(G) to {1, . . . , |V(G)|}. In this thesis, we consider the complexity of two types of ordering problems. The first type of problem we consider aims at minimizing objective functions related to an ordering of the graph. We consider the problems Cutwidth, Imbalance, and Optimal Linear Arrangement. We also consider a problem of another type: S-End-Vertex, where S is one of the following search algorithms: breadth-first search (BFS), lexicographic breadth-first search (LBFS), depth-first search (DFS), and maximal neighbourhood search (MNS). This problem asks if a specified vertex can be the last vertex in an ordering generated by S. We show that, for each type of problem, orderings for one problem may be related to orderings for another problem of that type.
We show that there is always a cutwidth-minimal ordering where equivalence classes of true twins are grouped for any graph, where true twins are vertices with the same closed neighbourhood. This enables a fixed-parameter tractable (FPT) algorithm for Cutwidth on graphs parameterized by the edge clique cover number of the graph and a new parameter, the restricted twin cover number of the graph. The restricted twin cover number of the graph generalizes the vertex cover number of a graph, and is the smallest value k ≥ 0 such that there is a twin cover of the graph T and k−|T| non-trivial components of G−T.
We show that there is also always an imbalance-minimal ordering where equivalence classes of true twins are grouped for any graph. We show a polynomial time algorithm for this problem on superfragile graphs and subsets of proper interval graphs, both subsets of AT-free graphs. An asteroidal triple (AT) is a triple of independent vertices x, y, z such that between every pair of vertices in the triple, there is a path that does not intersect the closed neighbourhood of the third. A graph without an asteroidal triple is said to be AT-free. We also provide closed formulas for Imbalance on some small graph classes.
In the FPT setting, we improve algorithms for Imbalance parameterized by the vertex cover number of the input graph and show that the problem does not have a polynomially sized kernel for the same parameter number unless NP ⊆ coNP/poly.
We show that Optimal Linear Arrangement also has a polynomial algorithm for superfragile graphs and an FPT algorithm with respect to the restricted twin cover number.
Finally, we consider S-End-Vertex, for BFS, LBFS, DFS, and MNS. We perform the first systematic study of the problem on bipartite permutation graphs, a subset of AT-free graphs. We show that for BFS and MNS, the problem has a polynomial time solution. We improve previous results for LBFS, obtaining a linear time algorithm. For DFS, we establish a linear time algorithm. All the results follow from the linear structure of bipartite permutation graphs
Order-Related Problems Parameterized by Width
In the main body of this thesis, we study two different order theoretic problems. The first problem, called Completion of an Ordering, asks to extend a given finite partial order to a complete linear order while respecting some weight constraints. The second problem is an order reconfiguration problem under width constraints.
While the Completion of an Ordering problem is NP-complete, we show that it lies in FPT when parameterized by the interval width of ρ. This ordering problem can be used to model several ordering problems stemming from diverse application areas, such as graph drawing, computational social choice, and computer memory management. Each application yields a special partial order ρ. We also relate the interval width of ρ to parameterizations for these problems that have been studied earlier in the context of these applications, sometimes improving on parameterized algorithms that have been developed for these parameterizations before. This approach also gives some practical sub-exponential time algorithms for ordering problems.
In our second main result, we combine our parameterized approach with the paradigm of solution diversity. The idea of solution diversity is that instead of aiming at the development of algorithms that output a single optimal solution, the goal is to investigate algorithms that output a small set of sufficiently good solutions that are sufficiently diverse from one another. In this way, the user has the opportunity to choose the solution that is most appropriate to the context at hand. It also displays the richness of the solution space. There, we show that the considered diversity version of the Completion of an Ordering problem is fixed-parameter tractable with respect to natural paramaters that capture the notion of diversity and the notion of sufficiently good solutions. We apply this algorithm in the study of the Kemeny Rank Aggregation class of problems, a well-studied class of problems lying in the intersection of order theory and social choice theory.
Up to this point, we have been looking at problems where the goal is to find an optimal solution or a diverse set of good solutions. In the last part, we shift our focus from finding solutions to studying the solution space of a problem. There we consider the following order reconfiguration problem: Given a graph G together with linear orders τ and τ ′ of the vertices of G, can one transform τ into τ ′ by a sequence of swaps of adjacent elements in such a way that at each time step the resulting linear order has cutwidth (pathwidth) at most w? We show that this problem always has an affirmative answer when the input linear orders τ and τ ′ have cutwidth (pathwidth) at most w/2. Using this result, we establish a connection between two apparently unrelated problems: the reachability problem for two-letter string rewriting systems and the graph isomorphism problem for graphs of bounded cutwidth. This opens an avenue for the study of the famous graph isomorphism problem using techniques from term rewriting theory.
In addition to the main part of this work, we present results on two unrelated problems, namely on the Steiner Tree problem and on the Intersection Non-emptiness problem from automata theory.Doktorgradsavhandlin
Graphs with at most two moplexes
A moplex is a natural graph structure that arises when lifting Dirac's
classical theorem from chordal graphs to general graphs. However, while every
non-complete graph has at least two moplexes, little is known about structural
properties of graphs with a bounded number of moplexes. The study of these
graphs is motivated by the parallel between moplexes in general graphs and
simplicial modules in chordal graphs: Unlike in the moplex setting, properties
of chordal graphs with a bounded number of simplicial modules are well
understood. For instance, chordal graphs having at most two simplicial modules
are interval. In this work we initiate an investigation of -moplex graphs,
which are defined as graphs containing at most moplexes. Of particular
interest is the smallest nontrivial case , which forms a counterpart to
the class of interval graphs. As our main structural result, we show that the
class of connected -moplex graphs is sandwiched between the classes of
proper interval graphs and cocomparability graphs; moreover, both inclusions
are tight for hereditary classes. From a complexity theoretic viewpoint, this
leads to the natural question of whether the presence of at most two moplexes
guarantees a sufficient amount of structure to efficiently solve problems that
are known to be intractable on cocomparability graphs, but not on proper
interval graphs. We develop new reductions that answer this question negatively
for two prominent problems fitting this profile, namely Graph Isomorphism and
Max-Cut. On the other hand, we prove that every connected -moplex graph
contains a Hamiltonian path, generalising the same property of connected proper
interval graphs. Furthermore, for graphs with a higher number of moplexes, we
lift the previously known result that graphs without asteroidal triples have at
most two moplexes to the more general setting of larger asteroidal sets
- …