关于 $\mathbf{M}_3$-$\mathbf{N}_5$ 定理证明捷径的注记
组合数学
2024-02-26 v1
摘要
本文给出了 - 定理经典证明的两个捷径，该证明可见于 B. Davey 和 H. Priestley [2] 以及 S. Burris 和 H. Sankappanavar [1]。确切地说，这些捷径涉及证明中需要展示一个代数等式的特定步骤。此外，我们简要讨论了如何比较三个证明（原始证明和我们提出的两个捷径）的长度。为此，我们引入了两种基于代数格表达式比较证明长度的方法。我们称之为证明计数法和证明偏序集法。两种方法都表明我们的证明更短，但前者差异更明显。关键词：格，偏序集
引用
@article{arxiv.2402.14931,
title = {Notes on a short-cut to the proof of the $\mathbf{M}_3$-$\mathbf{N}_5$ Theorem},
author = {M. R. Emamy-K. and Gustavo A. Meléndez Ríos},
journal= {arXiv preprint arXiv:2402.14931},
year = {2024}
}
备注
10 Pages