activity
20182026
most citedTuza's Conjecture for Threshold Graphs

2 citations · 3 across the 11 of their papers we have counts for

collaborators
Showing 2020Show all

6 papers · 1 filter

cs.DS2020

Vertex deletion into bipartite permutation graphs

Łukasz Bożyk, Jan Derbisz, Tomasz Krawczyk +2

A permutation graph can be defined as an intersection graph of segments whose endpoints lie on two parallel lines and , one on each. A bipartite permutation graph is a p…

cs.CC2020

Complexity of the list homomorphism problem in hereditary graph classes

Karolina Okrasa, Paweł Rzążewski

A homomorphism from a graph to a graph is an edge-preserving mapping from to . For a fixed graph , in the list homomorphism problem, denoted by LHom(), w…

cs.DS2020

The Complexity of Connectivity Problems in Forbidden-Transition Graphs and Edge-Colored Graphs

Thomas Bellitto, Shaohua Li, Karolina Okrasa +2

The notion of forbidden-transition graphs allows for a robust generalization of walks in graphs. In a forbidden-transition graph, every pair of edges incident to a common vertex is…

cs.CC2020

Sparsification Lower Bounds for List -Coloring

Hubie Chen, Bart M. P. Jansen, Karolina Okrasa +2

We investigate the List -Coloring problem, the generalization of graph coloring that asks whether an input graph admits a homomorphism to the undirected graph (possibly…

cs.CC2020

Full complexity classification of the list homomorphism problem for bounded-treewidth graphs

Karolina Okrasa, Marta Piecyk, Paweł Rzążewski

A homomorphism from a graph to a graph is an edge-preserving mapping from to . Let be a fixed graph with possible loops. In the list homomorphism problem,…

cs.FL2020

Church Synthesis on Register Automata over Linearly Ordered Data Domains

Léo Exibard, Emmanuel Filiot, Ayrat Khalimov

In a Church synthesis game, two players, Adam and Eve, alternately pick some element in a finite alphabet, for an infinite number of rounds. The game is won by Eve if the omega-wor…