Valiant (CFG Recognition CFG Problems)

From Algorithm Wiki
Jump to navigation Jump to search

Time Complexity

$O(n^omega * |G|)$ where omega is the exponent for matrix multiplication

Space Complexity

$O(n^{2})$? words/cells

(See matrix multiplication space complexity)

Description

Approximate?

Exact

Randomized?

No, deterministic

Model of Computation

Word RAM and multitape TM

Year

1975

Reference

https://linkinghub-elsevier-com.ezproxy.canberra.edu.au/retrieve/pii/S0022000075800468