Diamond Subgraphs in the Reduction Graph of a One-Rule String Rewriting System

Arthur Adinayev, Itamar Stein

In this paper, we study a certain case of a subgraph isomorphism problem. We consider the Hasse diagram of the lattice $M_k$ (the unique lattice with $k+2$ elements and one anti-…