Source author record

Marcin Smulewicz

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

Computing treedepth in polynomial space and linear fpt time

The treedepth of a graph GG is the least possible depth of an elimination forest of GG: a rooted forest on the same vertex set where every pair of vertices adjacent in GG is bound by the ancestor/descendant relation. We propose an algorithm that given a graph GG and an integer dd, either finds an elimination forest of GG of depth at most dd or concludes that no such forest exists; thus the algorithm decides whether the treedepth of GG is at most dd. The running time is 2O(d2)⋅nO(1)2^{O(d^2)}\cdot n^{O(1)} and the space usage is polynomial in nn. Further, by allowing randomization, the time and space complexities can be improved to 2O(d2)⋅n2^{O(d^2)}\cdot n and dO(1)⋅nd^{O(1)}\cdot n, respectively. This improves upon the algorithm of Reidl et al. [ICALP 2014], which also has time complexity 2O(d2)⋅n2^{O(d^2)}\cdot n, but uses exponential space.

preprint2020arXiv

Decreasing the maximum average degree by deleting an independent set or a d-degenerate subgraph

The maximum average degree mad(G)\mathrm{mad}(G) of a graph GG is the maximum average degree over all subgraphs of GG. In this paper we prove that for every GG and positive integer kk such that mad(G)≥k\mathrm{mad}(G) \ge k there exists S⊆V(G)S \subseteq V(G) such that mad(G−S)≤mad(G)−k\mathrm{mad}(G - S) \le \mathrm{mad}(G) - k and G[S]G[S] is (k−1)(k-1)-degenerate. Moreover, such SS can be computed in polynomial time. In particular there exists an independent set II in GG such that mad(G−I)≤mad(G)−1\mathrm{mad}(G-I) \le \mathrm{mad}(G)-1 and an induced forest FF such that mad(G−F)≤mad(G)−2\mathrm{mad}(G-F) \le \mathrm{mad}(G) - 2.

preprint2020arXiv

Many visits TSP revisited

We study the Many Visits TSP problem, where given a number k(v)k(v) for each of nn cities and pairwise (possibly asymmetric) integer distances, one has to find an optimal tour that visits each city vv exactly k(v)k(v) times. The currently fastest algorithm is due to Berger, Kozma, Mnich and Vincze [SODA 2019, TALG 2020] and runs in time and space O∗(5n)\mathcal{O}^*(5^n). They also show a polynomial space algorithm running in time O∗(16n+o(n))\mathcal{O}^*(16^{n+o(n)}). In this work, we show three main results: (i) A randomized polynomial space algorithm in time O∗(2nD)\mathcal{O}^*(2^nD), where DD is the maximum distance between two cities. By using standard methods, this results in (1+ε)(1+ε)-approximation in time O∗(2nε−1)\mathcal{O}^*(2^nε^{-1}). Improving the constant 22 in these results would be a major breakthrough, as it would result in improving the O∗(2n)\mathcal{O}^*(2^n)-time algorithm for Directed Hamiltonian Cycle, which is a 50 years old open problem. (ii) A tight analysis of Berger et al.'s exponential space algorithm, resulting in O∗(4n)\mathcal{O}^*(4^n) running time bound. (iii) A new polynomial space algorithm, running in time O(7.88n)\mathcal{O}(7.88^n).

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.