In this note we refine a result in Berarducci and Venturini Zilli (1993), by showing that the limit of iterations of a matching gives rise to the most general unifying substitution.
A remark on NP-completeness of picture matching
β Scribed by Maurizio Tucci; Gennaro Costagliola; Shi-Kuo Chang
- Publisher
- Elsevier Science
- Year
- 1991
- Tongue
- English
- Weight
- 359 KB
- Volume
- 39
- Category
- Article
- ISSN
- 0020-0190
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Let G ( V , E) be an undirected graph which describes the structure of a communication network. During the maintenance period every line must be tested in each of the two possible directions. A line is tested by assigning one of its endpoints t o be a transmitter, the other to be a receiver, and sen
## Abstract We show that the following problem is __NP__ complete: Let __G__ be a cubic bipartite graph and __f__ be a precoloring of a subset of edges of __G__ using at most three colors. Can __f__ be extended to a proper edge 3βcoloring of the entire graph __G__? This result provides a natural co
## Abstract In the edge precoloring extension problem, we are given a graph with some of the edges having preassigned colors and it has to be decided whether this coloring can be extended to a proper __k__βedgeβcoloring of the graph. In list edge coloring every edge has a list of admissible colors,