Add Complexity Classes:
Click on the "Search complexity classes" text box to add new classes to the diagram.
Interact with Nodes:
Click on any complexity class (node) to see options:
- Remove the node
- Expand it to reveal immediate containment relations
- View Description, including links and references
Explore Edges:
Click on any edge to explore all known relationships between the two connected classes.
For example, if class A is contained in class B, clicking the edge will show all known proofs or paths explaining why.
More Options:
Click the ☰ menu (top right) for additional tools and settings.
Share & Navigate:
- Click "Share" to copy a link to your current view
- Use the history arrows to navigate back and forth through your exploration steps
Export to LaTeX:
Click the "Export to LaTeX" button to download the current diagram as LaTeX code.
The Complexity Garden
The Complexity Garden is an interactive diagram of the relationships between computational complexity classes.