A Theory of Hypergames on Graphs for Synthesizing Dynamic Cyber Defense with Deception