map variable
graph matching