Shane: "Roko, why not"

Let make Shane's reply more formal, so that Roko has something concrete to attack.

I did not have time to learn how to indent things on this blog, so I use braces to indicate indentation and semicolon to indicate the start of a new line.

Let state be a vector of length n such that for every integer time, (state[time] == A) or (state[time] == B).

U(state) == (sum as i goes from 0 to n in steps of 2) {2 if (state[i] == B) and (state[i+1] == A); 1 if (state[i] == B) or (state[i+1] == A); 0 otherwise}