Ehrenfeucht–Fraïssé Game for Finite Graphs

Controls Click on a vertex (circle, triangle, square) to play there. h: hint m: switch between dragging vertices and making moves n: new game Rules The Ehrenfeucht-Fraïssé Game is a game about first order logic and the inevitable end of all things. Players take turns matching up the vertices (shown as circles, etc.) of two graphs (networks): First, Player I (Spoiler) selects a vertex from either graph that has yet to be selected, and colors it a new color.Next, Player II (Duplicator) selects a vertex from the other graph that has yet to be selected, and colors it the same color, forming a matc...