Sterboul and Deming gave classical matching-based characterizations of non-Kőnig–Egerváry graphs through flower–posy and blossom-pair configurations. We consider two classical configuration families, denoted and , and introduce a new walk-based family , based on -flowers and -posies. Our main result proves that, for every graph , Thus the additional flexibility of the -framework preserves the set of vertices detected by the classical configurations. The proof is vertex-preserving and passes through strict-Hall structure in traces of -posies. As a consequence, every prescribed vertex of a connected matchable strict-Hall graph lies in a rigid -posy for a suitable perfect matching, linking the theory naturally with matching-covered graphs.

生成讲解博客的中文版本

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