Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
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 …
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 …
[PDF][PDF] Flip-breakability: A combinatorial dichotomy for monadically dependent graph classes
A conjecture in algorithmic model theory predicts that the model-checking problem for first-
order logic is fixed-parameter tractable on a hereditary graph class if and only if the class is …
order logic is fixed-parameter tractable on a hereditary graph class if and only if the class is …
[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 …
[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 …
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 …
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 …
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 …
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 …