Loop unrolling of UCA models: distance labeling

Francisco J Soulignac, Pablo Terlisky

A proper circular-arc (PCA) model is a pair $M=(C,A)$ where $C$ is a circle and $A$ is a family of inclusion-free arcs on $C$ whose extremes are pairwise different. The model $M…