search

abau / co4

COmplexity COncerned COnstraint COmpiler
GNU General Public License v3.0
2 stars 3 forks source link

add picture-hanging example #110

Closed jwaldmann closed 9 years ago

jwaldmann commented 9 years ago

topic: http://erikdemaine.org/papers/PictureHanging_TOCS/ (the "1:n" problem, see Section 3.3)

technical point: uses caching to convert a naive algorithm into CYK parsing