Mirrorgraph Correspondence

Select a numbered vertex on the left, then a letter on the right to pair them. Find a bijection that preserves every edge and every nonedge. Node position and line crossings do not matter. Degree labels and the live edge-conflict count help you reason. Click an assigned vertex again to change its mapping.

Everything runs locally. Progress is saved on this device.