同态支配指数
组合数学
2010-04-15 v1
摘要
我们启动了对一对图F和G的同态支配指数的研究,该指数定义为最大实数c,使得对于每个图T,都有|Hom(F,T)| ≥ |Hom(G,T)|^c。判断HDE(F,G) ≥ 1的问题被称为同态支配问题,其可判定性是关系数据库理论中一个重要的未解决问题。我们研究了同态支配指数的组合与计算性质,证明了上下界,并分离出了HDE(F,G)可计算的图F和G的类别。特别地,我们在F是弦图且G是串并联图的特殊情况下,给出了一个计算HDE(F,G)的线性规划。
引用
@article{arxiv.1004.2485,
title = {The Homomorphism Domination Exponent},
author = {Swastik Kopparty and Benjamin Rossman},
journal= {arXiv preprint arXiv:1004.2485},
year = {2010}
}
备注
23 pages