加载中…
We prove that there exist four operations such that given any two strongly -connected digraphs and where is a butterfly-minor of , there exists a sequence where , and for every , is a strongly -connected butterfly-minor of which is obtained by a single application of one of the four operations. As a consequence of this theorem, we obtain that every strongly -connected digraph can be generated from a concise family of strongly -connected digraphs by using these four operations.

生成讲解博客的中文版本

生成AI智能校验的中文版本