TxGraffiti的猜想：独立集、支配与匹配
组合数学
2021-04-05 v1
摘要
TxGraffiti是一个自动化猜想程序，以猜想不等式的形式产生图论猜想。该由第二作者自2017年编写并维护的程序，受到先前自动化猜想程序成功的启发，包括Fajtlowicz的GRAFFITI和DeLaVi\~{n}a的GRAFFITI.pc。在本文中，我们证明并推广了TxGraffiti在被提示对\emph{独立数}、\emph{支配数}和\emph{匹配数}（以及这些图不变量的每种推广）进行猜想时生成的若干猜想。此外，在若干情形下，我们还表明所提出的关联这些图不变量的不等式是紧的。
引用
@article{arxiv.2104.01092,
title = {Conjecture of TxGraffiti: Independence, domination, and matchings},
author = {Yair Caro and Randy Davila and Michael Henning and Ryan Pepper},
journal= {arXiv preprint arXiv:2104.01092},
year = {2021}
}