Complexity Techniques
From Termination-Portal.org
This page is for listing all techniques applied by the participants of the complexity competitions.
| Method | 2008 | 2009 |
|---|---|---|
| Matrix Interpretation Non-Triangular | --- | Tools:Matchbox |
| Matrix Interpretation Triangular | Tools:CaT, Tools:TCT | Tools:CaT, Tools:Matchbox, Tools:TCT |
| Arctic Interpretation | Tools:CaT | Tools:CaT, Tools:TCT |
| Root Labeling | Tools:CaT | Tools:CaT, Tools:TCT |
| Rewriting Right Hand Sides | Tools:CaT | Tools:CaT, Tools:TCT |
| Modular (Relative) Complexity Analysis | --- | Tools:CaT |
| Match Bounds | Tools:CaT | Tools:CaT |
Runtime Complexity
2009
TBA
2008
TBA
