A survey on the densest subgraph problem and its variants
The Densest Subgraph Problem requires us to find, in a given graph, a subset of vertices
whose induced subgraph maximizes a measure of density. The problem has received a …
whose induced subgraph maximizes a measure of density. The problem has received a …
On some fine-grained questions in algorithms and complexity
VV Williams - Proceedings of the international congress of …, 2018 - World Scientific
In recent years, a new “fine-grained” theory of computational hardness has been developed,
based on “fine-grained reductions” that focus on exact running times for problems …
based on “fine-grained reductions” that focus on exact running times for problems …
[PDF][PDF] Computational problems in formal argumentation and their complexity
Wolfgang Dvorák, Paul E. Dunne abstract. In this chapter we give an overview of the core
computational problems arising in formal argumentation together with a complexity analysis …
computational problems arising in formal argumentation together with a complexity analysis …
Logic-based explainability in machine learning
J Marques-Silva - … Knowledge: 18th International Summer School 2022 …, 2023 - Springer
The last decade witnessed an ever-increasing stream of successes in Machine Learning
(ML). These successes offer clear evidence that ML is bound to become pervasive in a wide …
(ML). These successes offer clear evidence that ML is bound to become pervasive in a wide …
Efficient computation of representative families with applications in parameterized and exact algorithms
Let M=(E, I) be a matroid and let S={S 1, ċ, S t} be a family of subsets of E of size p. A
subfamily Ŝ⊆ S is q-representative for S if for every set Y⊆ E of size at most q, if there is a …
subfamily Ŝ⊆ S is q-representative for S if for every set Y⊆ E of size at most q, if there is a …
[PDF][PDF] Research challenges and opportunities in multi-agent path finding and multi-agent pickup and delivery problems
Recent years have shown a large increase in applications and research of problems that
include moving a fleet of physical robots. One particular application that is currently a multi …
include moving a fleet of physical robots. One particular application that is currently a multi …
Finding temporal paths under waiting time constraints
Computing a (short) path between two vertices is one of the most fundamental primitives in
graph algorithmics. In recent years, the study of paths in temporal graphs, that is, graphs …
graph algorithmics. In recent years, the study of paths in temporal graphs, that is, graphs …
Improved bounds for the sunflower lemma
A sunflower with r petals is a collection of r sets so that the intersection of each pair is equal
to the intersection of all. Erdős and Rado proved the sunflower lemma: for any fixed r, any …
to the intersection of all. Erdős and Rado proved the sunflower lemma: for any fixed r, any …
Homomorphisms are a good basis for counting small subgraphs
We introduce graph motif parameters, a class of graph parameters that depend only on the
frequencies of constant-size induced subgraphs. Classical works by Lovász show that many …
frequencies of constant-size induced subgraphs. Classical works by Lovász show that many …
Twin-width VI: the lens of contraction sequences∗
A contraction sequence of a graph consists of iteratively merging two of its vertices until only
one vertex remains. The recently introduced twin-width graph invariant is based on …
one vertex remains. The recently introduced twin-width graph invariant is based on …