Difference between revisions of "Complexity Techniques"
From Termination-Portal.org
Jump to navigationJump to search (Added techniques (I know of) for derivational complexity) |
(No difference)
|
Revision as of 12:25, 26 March 2010
This page is for listing all techniques applied by the participants of the complexity competitions.
Derivational Complexity
2009
- everything from 2008
- Non-Triangular Matrix Interpretations
- Modular Complexity Analysis (dc(R)=dc(R1/R2)+dc(R2/R1))
2008
- Triangular Matrix Interpretations
- Arctic Interpretations
- Rewriting Right Hand Sides
- Root Labeling
- Match Bounds
Runtime Complexity
2009
TBA
2008
TBA