The complexity of computing a best response automaton in repeated games with mixed strategies