Complexity Refactorization

The numbers below refer to the section titles from all.pdf in the "TheoCS-ATC Curation" Matrix chat from 2025-01-29.

Definitions

• 1.03: create view from decision problem to language -> base 1.03. on that -> move to complexity
• 1.04: same as 1.03
• 1.05: base it on transition systems
• 1.07: turn into view
• 1.08: same as 1.03
• 1.09: same as 1.03
• 1.11: maybe same as 1.05
• 1.14: same as 1.03; add abstract adjectives X-complete and X-hard in complexity
• 1.15: complete it!
• 1.23: same as 1.03
• 1.24: same as 1.03
• 1.25: same as 1.03
• 1.26: same as 1.03
• 1.28: fix \texts
• 1.35: same as 1.03 (+ merge it somehow)
• 1.36: same as 1.03 (+ merge it somehow)
• 1.47: sames as 1.03 (+ merge it somehow)
• 1.57: merge into complexity
• 1.58: merge into complexity
• 1.76/1.77: think about it as an example for the Josefin paper