


























This work shows a study about the structure of the cycles contained in a Minimal Strong Digraph (MSD). The structure of a given cycle is determined by the strongly connected components (or strong components, SCs) that appear after suppressing the arcs of the cycle. By this process and by the contraction of all SCs into single vertices we obtain a Hasse diagram from the MSD. Among other properties, we show that any SC conformed by more than one vertex (non trivial SC) has at least one linear vertex (a vertex with indegree and outdegree equal to 1) in the MSD (Theorem 1); that in the Hasse diagram at least one linear vertex exists for each non trivial maximal (resp. minimal) vertex (Theorem 2); that if an SC contains a number $λ$ of vertices of the cycle then it contains at least $λ$ linear vertices in the MSD (Theorem 3); and, finally, that given a cycle of length $q$ contained in the MSD, the number $α$ of linear vertices contained in the MSD satisfies $α\geq \lfloor (q+1)/2 \rfloor$ (Theorem 4).
此内容由惯性聚合(RSS阅读器)自动聚合整理,仅供阅读参考。 原文来自 — 版权归原作者所有。