This page is for listing all techniques applied by the participants of the complexity competitions.

Be aware: the lists are still preliminary.

Derivational Complexity

next year or prev year

Method	2020	2019	2018	2017	2016
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

next year or prev year

Method	2009	2008
Arctic Interpretation	CaT, TcT	---
Match Bounds	CaT, TcT	TcT
Matrix Interpretation Triangular	CaT (N), TcT (N)	TcT (N)
Matrix Interpretation Non-Triangular	---	---
Modular (Relative) Complexity Analysis	CaT	---
Polynomial Interpretations	---	---
Polynomial Path Orders	TcT	TcT
Rewriting Right Hand Sides	---	---
Root Labeling	CaT, TcT	---
Weak Dependency Pairs	TcT	TcT
Dependency Tuples	---	---
Path Analysis	TcT	TcT
Weight Gap Principle	TcT	TcT
DG Decomposition	---	---