Bengt figures that all regions of at least size k should be different. Otherwise the game gets... repetitive, or something. Given that constraint, he wants to make the board as large as possible.
- If we know that all regions of size k are unique, does it follow that all larger regions are also unique? Prove / disprove.
- How many possible size k regions (or boards) are there? Solve for, I don't know, a bunch of different k I guess, maybe find an upper bound of the sequence, or better yet, find the exact function.
- The real question at hand - how large a board can you make, given that all regions of size k have to be unique? Some k, upper bound, exact function?
- Boards defined like this can get pretty messy to draw, so we can add an extra rule, that the connections are not allowed to cross - a planar graph, for the graph-theoretically inclined. Again, as in b...
- ...and as in c.