Techniques
This page is for listing all techniques applied by the participants of the complexity competitions.
Be aware: the lists are still preliminary.
Derivational Complexity
| Method | 2019 | 2018 | 2017 | 2016 | 2015 |
|---|---|---|---|---|---|
| Arctic Interpretation | |||||
| Match Bounds | |||||
| Matrix Interpretation Triangular | |||||
| Matrix Interpretation Non-Triangular | |||||
| Modular (Relative) Complexity Analysis | |||||
| Rewriting Right Hand Sides | |||||
| Root Labeling | |||||
| Weight Gap Principle |
Runtime Complexity
| Method | 2010 | 2009 | 2008 | ||
|---|---|---|---|---|---|
| Arctic Interpretation | CaT | CaT, TcT | --- | ||
| Match Bounds | CaT, TcT | CaT, TcT | TcT | ||
| Matrix Interpretation Triangular | AProVE (N), TcT (N) | CaT (N), TcT (N) | TcT (N) | ||
| Matrix Interpretation Non-Triangular | CaT (N,R,Q) | --- | --- | ||
| Modular (Relative) Complexity Analysis | AProVE, CaT | CaT | --- | ||
| Polynomial Interpretations | AProVE (N) | --- | --- | ||
| Polynomial Path Orders | TcT | TcT | TcT | ||
| Rewriting Right Hand Sides | AProVE | --- | --- | ||
| Root Labeling | --- | CaT, TcT | --- | ||
| Weak Dependency Pairs | TcT | TcT | TcT | ||
| Dependency Tuples | AProVE | --- | --- | ||
| Path Analysis | TcT | TcT | TcT | ||
| Weight Gap Principle | CaT, TcT | TcT | TcT | ||
| DG Decomposition | --- | --- | --- |