CFG Recognition (CFG Problems)

From Algorithm Wiki
Revision as of 14:04, 15 February 2023 by Admin (talk | contribs)
Jump to navigation Jump to search

Description

Given a grammar $G$ and a string $s$, determine if the string $s$ can be derived by the grammar $G$.

Related Problems

Related: CFG Parsing

Parameters

n: length of the given string

Table of Algorithms

Name Year Time Space Approximation Factor Model Reference
Cocke–Younger–Kasami algorithm 1968 G|)$ $O(n^{2})$ Exact Deterministic Time & Space
Valiant 1975 G|)$ where omega is the exponent for matrix multiplication $O(n^{2})$? Exact Deterministic Time

Time Complexity Graph

CFG Problems - CFG Recognition - Time.png

Space Complexity Graph

CFG Problems - CFG Recognition - Space.png

Pareto Frontier Improvements Graph

CFG Problems - CFG Recognition - Pareto Frontier.png

Reductions FROM Problem

Problem Implication Year Citation Reduction
k-Clique assume: k-Clique Hypothesis
then: there is no $O(N^{\omega-\epsilon}) time algorithm for target for any $\epsilon > {0}$
2017 https://ieeexplore.ieee.org/abstract/document/8104058 link
k-Clique assume: k-Clique Hypothesis
then: there is no $O(N^{\{3}-\epsilon}) time combinatorial algorithm for target for any $\epsilon > {0}$
2017 https://ieeexplore.ieee.org/abstract/document/8104058 link

References/Citation

https://linkinghub.elsevier.com/retrieve/pii/S0022000075800468