arXiv subjects

Keno Merckx

Publications and source records attributed to Keno Merckx.

3 recordsLinked to original sources

arXiv2018

Finding a Maximum-Weight Convex Set in a Chordal Graph

We consider a natural combinatorial optimization problem on chordal graphs, the class of graphs with no induced cycle of length four or more. A subset of vertices of a chordal graph is (monophonically) convex if it contains the vertices of all chordless paths between any two vertices of the set. The problem is to find a maximum-weight convex subset of a given vertex-weighted chordal graph. It generalizes previously studied special cases in trees and split graphs. It also happens to be closely related to the closure problem in partially ordered sets and directed graphs. We give the first polynomial-time algorithm for the problem.

cs.DS↗

arXiv2018

A universality theorem for allowable sequences with applications

Order types are a well known abstraction of combinatorial properties of a point set. By Mnëv's universality theorem for each semi-algebraic set $V$ there is an order type with a realization space that is \emph{stably equivalent} to $V$. We consider realization spaces of \emph{allowable sequences}, a refinement of order types. We show that the realization spaces of allowable sequences are \emph{universal} and consequently deciding the realizability is complete in the \emph{existential theory of the reals} (\ER). This result holds even if the realization space of the order type induced by the allowable sequence is non-empty. Furthermore, we argue that our result is a useful tool for further geometric reductions. We support this by giving \ER-hardness proofs for the realizability of abstract convex geometries and for the recognition problem of visibility graphs of polygons with holes using the hardness result for allowable sequences. This solves two longstanding open problems.

cs.CG↗

arXiv2015

On the shelling antimatroids of split graphs

Chordal graph shelling antimatroids have received little attention with regard to their combinatorial properties and related optimization problems, as compared to the case of poset shelling antimatroids. Here we consider a special case of these antimatroids, namely the split graph shelling antimatroids. We show that the feasible sets of such an antimatroid relate to some poset shelling antimatroids constructed from the graph. We discuss a few applications, obtaining in particular a simple polynomial-time algorithm to find a maximum weight feasible set. We also provide a simple description of the circuits and the free sets.

cs.DM↗