中文

同态支配指数

组合数学 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