gpojani

archive · taxonomy

The complexity zoo

Every transmission, filed by how hard it is to think through. Click a ring to filter.

RE1EXP0PSPACE0NP1P1
P ⊆ NP ⊆ PSPACE ⊆ EXP ⊊ RE. Proving the first ⊆ strict (or not) is worth $1,000,000.
Ptractable
Polynomial time. Short, direct, solvable: notes, links, quick results.
NPverifiable
Hard to find, easy to check. Puzzles, proofs-of-concept, conjectures with evidence.
PSPACEstrategic
Games, adversaries, long horizons. Essays that play out many moves ahead.
EXPexplosive
Exponential blow-up. Deep dives, long builds, things that got out of hand.
REundecidable
Semi-decidable at best. Speculation, alien technology, questions that may never halt.
Showing all 3
  1. № 003Rule 137: eight bits that compute everythingREundecidable
  2. № 002Gliders are messagesNPverifiable
  3. № 001Hello, colonyPtractable
esc

↑↓ move · ↵ open~ terminal · ? shortcuts

gsh — gianni@gpojani

manual · keyboard

Shortcuts

/ ⌘K
search & jump
~
terminal
C
live channel (chat)
J K
next / previous transmission
G then HZLAN
home · zoo · lab · atlas · network
?
this sheet
P
pause / run the colony
R
reseed
1–4
Conway · HighLife · Day & Night · Anneal
M
listen to the colony
click · shift-click · drag
glider · glider gun · paint
↑↑↓↓←→←→BA
first contact