On the Expressive Power of Non-Linear Merge-and-Shrink Representations
ICAPS, pp. 106-114, 2015.
We prove that general merge-and-shrink representations are strictly more powerful than linear ones by showing that there exist problem families that can be represented compactly with general merge-and-shrink representations but not with linear ones. We also give a precise bound that quantifies the necessary blowup incurred by conversions ...More
Full Text (Upload PDF)
PPT (Upload PPT)