A survey on the densest subgraph problem and its variants

T Lanciano, A Miyauchi, A Fazzone, F Bonchi - ACM Computing Surveys, 2024 - dl.acm.org
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 …

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 …

[PDF][PDF] Computational problems in formal argumentation and their complexity

W Dvorák, PE Dunne - JOURNAL OF APPLIED LOGICS …, 2017 - livrepository.liverpool.ac.uk
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 …

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 …

Efficient computation of representative families with applications in parameterized and exact algorithms

FV Fomin, D Lokshtanov, F Panolan… - Journal of the ACM …, 2016 - dl.acm.org
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 …

[PDF][PDF] Research challenges and opportunities in multi-agent path finding and multi-agent pickup and delivery problems

O Salzman, R Stern - Proceedings of the 19th International Conference …, 2020 - ifaamas.org
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 …

Finding temporal paths under waiting time constraints

A Casteigts, AS Himmel, H Molter, P Zschoche - Algorithmica, 2021 - Springer
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 …

Improved bounds for the sunflower lemma

R Alweiss, S Lovett, K Wu, J Zhang - … of the 52nd Annual ACM SIGACT …, 2020 - dl.acm.org
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 …

Homomorphisms are a good basis for counting small subgraphs

R Curticapean, H Dell, D Marx - Proceedings of the 49th Annual ACM …, 2017 - dl.acm.org
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 …

Twin-width VI: the lens of contraction sequences∗

É Bonnet, EJ Kim, A Reinald, S Thomassé - … of the 2022 Annual ACM-SIAM …, 2022 - SIAM
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 …