Diamond Subgraphs in the Reduction Graph of a One-Rule String Rewriting System
Abstract
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-chain of length $k$) and want to find the maximal $k$ for which it is isomorphic to a subgraph of the reduction graph of a given one-rule string rewriting system. We obtain a complete characterization for this problem and show that there is a dichotomy. There are one-rule string rewriting systems for which the maximal such $k$ is $2$ and there are cases where there is no maximum. No other intermediate option is possible.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2019
- DOI:
- 10.48550/arXiv.1910.02644
- arXiv:
- arXiv:1910.02644
- Bibcode:
- 2019arXiv191002644A
- Keywords:
-
- Computer Science - Discrete Mathematics;
- Mathematics - Combinatorics;
- 68Q42;
- 68R15
- E-Print:
- 14 pages