Source author record

Raimund Seidel

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

3works
3topics
4close collaborators

Published work

3 publications

preprint2022arXiv

Inserting one edge into a simple drawing is hard

A {\em simple drawing} D(G)D(G) of a graph GG is one where each pair of edges share at most one point: either a common endpoint or a proper crossing. An edge ee in the complement of GG can be {\em inserted} into D(G)D(G) if there exists a simple drawing of G+eG+e extending D(G)D(G). As a result of Levi's Enlargement Lemma, if a drawing is rectilinear (pseudolinear), that is, the edges can be extended into an arrangement of lines (pseudolines), then any edge in the complement of GG can be inserted. In contrast, we show that it is NP -complete to decide whether one edge can be inserted into a simple drawing. This remains true even if we assume that the drawing is pseudocircular, that is, the edges can be extended to an arrangement of pseudocircles. On the positive side, we show that, given an arrangement of pseudocircles A\mathcal{A} and a pseudosegment σσ, it can be decided in polynomial time whether there exists a pseudocircle ΦσΦ_σ extending σσ for which A∪{Φσ}\mathcal{A}\cup\{Φ_σ\} is again an arrangement of pseudocircles.

preprint2022arXiv

The Influence of Dimensions on the Complexity of Computing Decision Trees

A decision tree recursively splits a feature space Rd\mathbb{R}^{d} and then assigns class labels based on the resulting partition. Decision trees have been part of the basic machine-learning toolkit for decades. A large body of work treats heuristic algorithms to compute a decision tree from training data, usually aiming to minimize in particular the size of the resulting tree. In contrast, little is known about the complexity of the underlying computational problem of computing a minimum-size tree for the given training data. We study this problem with respect to the number dd of dimensions of the feature space. We show that it can be solved in O(n2d+1d)O(n^{2d + 1}d) time, but under reasonable complexity-theoretic assumptions it is not possible to achieve f(d)⋅no(d/log⁡d)f(d) \cdot n^{o(d / \log d)} running time, where nn is the number of training examples. The problem is solvable in (dR)O(dR)⋅n1+o(1)(dR)^{O(dR)} \cdot n^{1+o(1)} time, if there are exactly two classes and RR is an upper bound on the number of tree leaves labeled with the first~class.

preprint2014arXiv

Counting Triangulations and other Crossing-Free Structures Approximately

We consider the problem of counting straight-edge triangulations of a given set PP of nn points in the plane. Until very recently it was not known whether the exact number of triangulations of PP can be computed asymptotically faster than by enumerating all triangulations. We now know that the number of triangulations of PP can be computed in O∗(2n)O^{*}(2^{n}) time, which is less than the lower bound of Ω(2.43n)Ω(2.43^{n}) on the number of triangulations of any point set. In this paper we address the question of whether one can approximately count triangulations in sub-exponential time. We present an algorithm with sub-exponential running time and sub-exponential approximation ratio, that is, denoting by ΛΛ the output of our algorithm, and by cnc^{n} the exact number of triangulations of PP, for some positive constant cc, we prove that cn≤Λ≤cn⋅2o(n)c^{n}\leqΛ\leq c^{n}\cdot 2^{o(n)}. This is the first algorithm that in sub-exponential time computes a (1+o(1))(1+o(1))-approximation of the base of the number of triangulations, more precisely, c≤Λ1n≤(1+o(1))cc\leqΛ^{\frac{1}{n}}\leq(1 + o(1))c. Our algorithm can be adapted to approximately count other crossing-free structures on PP, keeping the quality of approximation and running time intact. In this paper we show how to do this for matchings and spanning trees.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.