Perfect matching width is a treewidth-like parameter designed for graphs with perfect matchings. The concept was originally introduced by Norine for the study of non-bipartite Pfaffian graphs. Additionally, perfect matching width appears to be a useful structural tool for investigating matching minors, a specialised version of minors related to perfect matchings. In this paper we lay the groundwork for understanding the interaction of perfect matching width and matching minors by establishing tight connections between the perfect matching width of any matching covered graph $G$ and the perfect matching width of its bricks and braces (a matching theoretic version of blocks) and proving that perfect matching width is almost monotone under the matching minor relation. As an application, we give several characterisations for braces of perfect matching width two, including one that allows for a polynomial time recognition algorithm.
School of Mathematics and Statistics, North China University of Water Resources and Electric Power（华北水利水电大学数学与统计学院）；School of Mathematics and Statistics, Zhengzhou University（郑州大学数学与统计学院）
Matching Connectivity: On the Structure of Graphs with Perfect Matchings
我们引入匹配连通度的概念，作为图的连通度的概念，允许完美匹配，这在很大程度上依赖于这些匹配的结构性质。我们推广了Robertson，Seymour和Thomas关于具有完美匹配的二部图的一个结果（参见[Neil Roberts，Paul D Seymour，and Robin Thomas.永久性的，pfestrian方向，甚至定向curcurriculum。Annals of Mathematics，150（2）：929-975，1999]），以便获得交替路径的概念，该交替路径的概念被证明足以描述我们的连通性参数。本文介绍了匹配连通度的一些基本性质，并证明了匹配n连通图的一个Menger型结果。此外，我们发现，匹配连通性填补了空白的调查，n-可扩展的图和它们的连通性。更精确地说，我们证明了每一个n-可扩图都是匹配n-连通的，反之，每一个匹配（n+1）-连通图要么是n-可扩的，要么属于一个很好描述的图类：支撑h-临界图.
The growth rate over trees of any family of set defined by a monadic second order formula is semi-computable
一元二阶逻辑可以用来表达图的顶点集合的许多经典概念，例如：支配集，诱导匹配，完美码，独立集或无冗余集。从组合的角度来看，任何这样的集合族的集合数的界都是有趣的，并且具有算法应用。许多这样的界限上的不同家庭的集合在不同类别的图已经在文献中提供。特别是，罗特最近表明，最小的控制集的数量在树的顺序$n$是最多$95^{\frac{n}{13}}$和这一界是渐近尖锐的乘法常数。我们建立在他的工作表明，他所做的最小支配集可以做任何家庭的集定义的一元二阶公式。我们首先证明，对于任何一元二阶公式的图，它的顶点的一个给定的子集的特征，在一棵树中的最大数量的这样的集可以表示为\textit{growth rate of a bilinear system}。这主要依赖于树上的一元二阶逻辑与树自动机和基本树自动机操作之间的众所周知的联系。然后我们证明了双线性系统的这种“增长率”可以从上面近似得到，并利用这个结果的实现给出了树上独立控制集、完全控制集、诱导匹配、最大诱导匹配、最小完全控制集、完美码和最大无冗余集的个数的界。我们还解决了D. Y. Kang等人关于$r$ -匹配，并改进了Górska和Skupiestan关于树上最大匹配数的界。注意，这种方法很容易推广到有界树宽度或团宽度的图（或树自动机有意义的任何类似的图类）。
