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 | 2016 | 2015 | 2014 | 2013 | 2012 |
|---|---|---|---|---|---|
| Arctic Interpretation | CaT | CaT | CaT | ||
| Match Bounds | CaT, TcT | CaT, TcT | CaT, TcT | ||
| Matrix Interpretation Triangular | --- | --- | --- | ||
| Matrix Interpretation Non-Triangular | CaT (N,R,Q), TcT (N) | CaT (N,R,Q), TcT (N) | CaT (N,R,Q), TcT (N) | ||
| Modular (Relative) Complexity Analysis | CaT, TcT | CaT, TcT | CaT, TcT | ||
| Rewriting Right Hand Sides | --- | --- | --- | ||
| Root Labeling | CaT | CaT | CaT | ||
| Weight Gap Principle | CaT, TcT | CaT, TcT | CaT, TcT |
Runtime Complexity
| Method | 2017 | 2016 | 2015 | 2014 | 2013 |
|---|---|---|---|---|---|
| Arctic Interpretation | CaT | CaT | |||
| Match Bounds | AProVE, CaT, TcT | AProVE, CaT, TcT | |||
| Matrix Interpretation Triangular | AProVE (N) | AProVE (N) | |||
| Matrix Interpretation Non-Triangular | CaT (N,R,Q), TcT (N) | CaT (N,R,Q), TcT (N) | |||
| Modular (Relative) Complexity Analysis | AProVE, CaT, TcT | AProVE, CaT, TcT | |||
| Polynomial Interpretations | AProVE (N), TcT (N) | AProVE (N), TcT (N) | |||
| Polynomial Path Orders | TcT (sPOP*) | TcT (sPOP*) | |||
| Rewriting Right Hand Sides | AProVE | AProVE | |||
| Root Labeling | --- | --- | |||
| Weak Dependency Pairs | TcT | TcT | |||
| Dependency Tuples | AProVE, TcT | AProVE, TcT | |||
| Path Analysis | TcT | TcT | |||
| Weight Gap Principle | CaT, TcT | CaT, TcT | |||
| DG Decomposition | TcT | TcT |