I came up with an idea for a brain game. It's a modification of something called an automaton. Automata theory is a part of theoretical computer science.
The game looks like this:
You can draw those 5 colored edges on a piece of paper and place 2 pawns at the top 2 vertices.
The goal is to end up with only 1 pawn.
To reach the goal, you can make moves of 3 types, one type for each color, call it C:
When you select color C, you locate every edge with color C such that there is a pawn on one end and there is no pawn on the other end. Let's call these edges C-triggered.
Then y