Difference between revisions of "Complexity:Techniques"
From Termination-Portal.org
Jump to navigationJump to search (Created page with 'This page is for listing all techniques applied by the participants of the complexity competitions. '''Be aware:''' the lists are still preliminary. == Derivational Complexity…') |
Georg.moser (talk | contribs) |
||
| (3 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
| + | <pre> | ||
| + | This page is outdated an no longer maintained. | ||
| + | </pre> | ||
| + | |||
| + | An up to date version of the content of this page can now be found here: | ||
| + | [http://cl-informatik.uibk.ac.at/users/georg/cbr/competition/ complexity competition]. | ||
| + | |||
| + | ---- | ||
| + | |||
This page is for listing all techniques applied by the participants of the complexity competitions. | This page is for listing all techniques applied by the participants of the complexity competitions. | ||
| Line 48: | Line 57: | ||
! 2008 | ! 2008 | ||
! 2009 | ! 2009 | ||
| + | ! 2010 | ||
|- | |- | ||
| Arctic Interpretation | | Arctic Interpretation | ||
| Line 60: | Line 70: | ||
| [[Tools:TCT]] | | [[Tools:TCT]] | ||
| [[Tools:CaT]], [[Tools:TCT]] | | [[Tools:CaT]], [[Tools:TCT]] | ||
| + | | [[Tools:AProVE]] | ||
|- | |- | ||
| Matrix Interpretation Non-Triangular | | Matrix Interpretation Non-Triangular | ||
| Line 68: | Line 79: | ||
| --- | | --- | ||
| [[Tools:CaT]] | | [[Tools:CaT]] | ||
| + | |- | ||
| + | | Polynomial Interpretations | ||
| + | | --- | ||
| + | | --- | ||
| + | | [[Tools:AProVE]] | ||
|- | |- | ||
| Polynomial Path Orders | | Polynomial Path Orders | ||
| Line 84: | Line 100: | ||
| [[Tools:TCT]] | | [[Tools:TCT]] | ||
| [[Tools:TCT]] | | [[Tools:TCT]] | ||
| + | |- | ||
| + | | Dependency Tuples | ||
| + | | | ||
| + | | | ||
| + | | [[Tools:AProVE]] | ||
|} | |} | ||
Latest revision as of 11:59, 8 June 2012
This page is outdated an no longer maintained.
An up to date version of the content of this page can now be found here: complexity competition.
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 | 2008 | 2009 |
|---|---|---|
| Arctic Interpretation | Tools:CaT | Tools:CaT, Tools:TCT |
| Match Bounds | Tools:CaT | Tools:CaT |
| Matrix Interpretation Triangular | Tools:CaT, Tools:TCT | Tools:CaT, Tools:Matchbox, Tools:TCT |
| Matrix Interpretation Non-Triangular | --- | Tools:Matchbox |
| Modular (Relative) Complexity Analysis | --- | Tools:CaT |
| Rewriting Right Hand Sides | Tools:CaT | Tools:TCT |
| Root Labeling | Tools:CaT | Tools:CaT, Tools:TCT |
Runtime Complexity
| Method | 2008 | 2009 | 2010 |
|---|---|---|---|
| Arctic Interpretation | --- | Tools:CaT, Tools:TCT | |
| Match Bounds | --- | Tools:CaT | |
| Matrix Interpretation Triangular | Tools:TCT | Tools:CaT, Tools:TCT | Tools:AProVE |
| Matrix Interpretation Non-Triangular | --- | --- | |
| Modular (Relative) Complexity Analysis | --- | Tools:CaT | |
| Polynomial Interpretations | --- | --- | Tools:AProVE |
| Polynomial Path Orders | Tools:TCT | Tools:TCT | |
| Rewriting Right Hand Sides | --- | --- | |
| Root Labeling | --- | Tools:CaT, Tools:TCT | |
| Weak Dependency Pairs | Tools:TCT | Tools:TCT | |
| Dependency Tuples | Tools:AProVE |
