Best to read this blog as an example of economic behaviour explained through a graph - valuable in itself, as even basic graph theory concepts rarely make it onto an economics curriculum. Which is a shame, given how neatly algorithmic thinking and complexity costs improve a standard rational agent model (e.g. a few behavioural economic concepts, such as myopic discounting, pop out naturally if you assume mental costs to imagining future states).

Conceptually, it's interesting and potentially foreign to the target reader - more formal definitions can wait for an academic paper rather than a casual blog.