Source author record

Irene Muzi

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
5topics
4close collaborators

Published work

3 publications

preprint2022arXiv

Harmless Sets in Sparse Classes

In the classic TARGET SAT SELECTION problem, we are asked to minimise the number of nodes to activate so that, after the application of a certain propagation process, all nodes of the graph are active. Bazgan and Chopin [Discrete Optimization}, 14:170--182, 2014] introduced the opposite problem, named HARMLESS SET, in which they ask to maximise the number of nodes to activate such that not a single additional node is activated. In this paper we investigate how sparsity impacts the tractability of HARMLESS SET. Specifically, we answer two open questions posed by the aforementioned authors, namely a) whether the problem is FPT on planar graphs and b) whether it is FPT parametrised by treewidth. The first question can be answered in the positive using existing meta-theorems on sparse classes, and we further show that HARMLESS SET not only admits a polynomial kernel, but that it can be solved in subexponential time. We then answer the second question in the negative by showing that the problem is W[1]-hard when parametrised by a parameter that upper bounds treewidth.

preprint2016arXiv

Half-integral linkages in highly connected directed graphs

We study the half-integral kk-Directed Disjoint Paths Problem (12\tfrac12kDDPP) in highly strongly connected digraphs. The integral kDDPP is NP-complete even when restricted to instances where k=2k=2, and the input graph is LL-strongly connected, for any L≥1L\geq 1. We show that when the integrality condition is relaxed to allow each vertex to be used in two paths, the problem becomes efficiently solvable in highly connected digraphs (even with kk as part of the input). Specifically, we show that there is an absolute constant cc such that for each k≥2k\geq 2 there exists L(k)L(k) such that 12\tfrac12kDDPP is solvable in time O(∣V(G)∣c)O(|V(G)|^c) for a L(k)L(k)-strongly connected directed graph GG. As the function L(k)L(k) grows rather quickly, we also show that 12\tfrac12kDDPP is solvable in time O(∣V(G)∣f(k))O(|V(G)|^{f(k)}) in (36k3+2k)(36k^3+2k)-strongly connected directed graphs. We also show that for each ε<1ε<1 deciding half-integral feasibility of kDDPP instances is NP-complete when kk is given as part of the input, even when restricted to graphs with strong connectivity εkεk.

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.