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 | 2024 | 2023 | 2022 | 2021 | 2020 |
|---|---|---|---|---|---|
| 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 | 2008 | ||||
|---|---|---|---|---|---|
| Arctic Interpretation | --- | ||||
| Match Bounds | TcT | ||||
| Matrix Interpretation Triangular | TcT (N) | ||||
| Matrix Interpretation Non-Triangular | --- | ||||
| Modular (Relative) Complexity Analysis | --- | ||||
| Polynomial Interpretations | --- | ||||
| Polynomial Path Orders | TcT | ||||
| Rewriting Right Hand Sides | --- | ||||
| Root Labeling | --- | ||||
| Weak Dependency Pairs | TcT | ||||
| Dependency Tuples | --- | ||||
| Path Analysis | TcT | ||||
| Weight Gap Principle | TcT | ||||
| DG Decomposition | --- |