activity
20092026
most citedModel Checking Lower Bounds for Simple Graphs

13 citations · 46 across the 31 of their papers we have counts for

collaborators
Showing 2018Show all

8 papers · 1 filter

cs.DS2018

Maximum Independent Sets in Subcubic Graphs: New Results

Ararat Harutyunyan, Michael Lampis, Vadim Lozin +1

The maximum independent set problem is known to be NP-hard in the class of subcubic graphs, i.e. graphs of vertex degree at most 3. We present a polynomial-time solution in a subcl…

cs.CC2018

Parameterized Orientable Deletion

Tesshu Hanaka, Ioannis Katsikarelis, Michael Lampis +2

A graph is -orientable if its edges can be oriented so that the maximum in-degree of the resulting digraph is at most . -orientability is a well-studied concept with close…

cs.DS2018

Token Sliding on Split Graphs

Rémy Belmonte, Eun Jung Kim, Michael Lampis +3

We consider the complexity of the Independent Set Reconfiguration problem under the Token Sliding rule. In this problem we are given two independent sets of a graph and are asked i…

cs.AI2018★ 2 cited

QBF as an Alternative to Courcelle's Theorem

Michael Lampis, Stefan Mengel, Valia Mitsou

We propose reductions to quantified Boolean formulas (QBF) as a new approach to showing fixed-parameter linear algorithms for problems parameterized by treewidth. We demonstrate th…

cs.DS2018

How Bad is the Freedom to Flood-It?

Rémy Belmonte, Mehdi Khosravian Ghadikolaei, Masashi Kiyomi +2

Fixed-Flood-It and Free-Flood-It are combinatorial problems on graphs that generalize a very popular puzzle called Flood-It. Both problems consist of recoloring moves whose goal is…

cs.CC2018

Finer Tight Bounds for Coloring on Clique-Width

Michael Lampis

We revisit the complexity of the classical -Coloring problem parameterized by clique-width. This is a very well-studied problem that becomes highly intractable when the number o…