3,647 research outputs found
Strong Forms of Stability from Flag Algebra Calculations
Given a hereditary family of admissible graphs and a function
that linearly depends on the statistics of order-
subgraphs in a graph , we consider the extremal problem of determining
, the maximum of over all admissible
graphs of order . We call the problem perfectly -stable for a graph
if there is a constant such that every admissible graph of order
can be made into a blow-up of by changing at most
adjacencies. As special
cases, this property describes all almost extremal graphs of order within
edges and shows that every extremal graph of order is a
blow-up of .
We develop general methods for establishing stability-type results from flag
algebra computations and apply them to concrete examples. In fact, one of our
sufficient conditions for perfect stability is stated in a way that allows
automatic verification by a computer. This gives a unifying way to obtain
computer-assisted proofs of many new results.Comment: 44 pages; incorporates reviewers' suggestion
If the Current Clique Algorithms are Optimal, so is Valiant's Parser
The CFG recognition problem is: given a context-free grammar
and a string of length , decide if can be obtained from
. This is the most basic parsing question and is a core computer
science problem. Valiant's parser from 1975 solves the problem in
time, where is the matrix multiplication
exponent. Dozens of parsing algorithms have been proposed over the years, yet
Valiant's upper bound remains unbeaten. The best combinatorial algorithms have
mildly subcubic complexity.
Lee (JACM'01) provided evidence that fast matrix multiplication is needed for
CFG parsing, and that very efficient and practical algorithms might be hard or
even impossible to obtain. Lee showed that any algorithm for a more general
parsing problem with running time can
be converted into a surprising subcubic algorithm for Boolean Matrix
Multiplication. Unfortunately, Lee's hardness result required that the grammar
size be . Nothing was known for the more relevant
case of constant size grammars.
In this work, we prove that any improvement on Valiant's algorithm, even for
constant size grammars, either in terms of runtime or by avoiding the
inefficiencies of fast matrix multiplication, would imply a breakthrough
algorithm for the -Clique problem: given a graph on nodes, decide if
there are that form a clique.
Besides classifying the complexity of a fundamental problem, our reduction
has led us to similar lower bounds for more modern and well-studied cubic time
problems for which faster algorithms are highly desirable in practice: RNA
Folding, a central problem in computational biology, and Dyck Language Edit
Distance, answering an open question of Saha (FOCS'14)
Asymptotic Structure of Graphs with the Minimum Number of Triangles
We consider the problem of minimizing the number of triangles in a graph of
given order and size and describe the asymptotic structure of extremal graphs.
This is achieved by characterizing the set of flag algebra homomorphisms that
minimize the triangle density.Comment: 22 pages; 2 figure
- …