期刊文章
无限大小加权(关系)克隆的Galois连接
摘要: -
固定有限域上克隆和关系克隆之间的Galois连接是非一致约束满足问题(CSP)计算复杂性的所谓代数方法的基础之一。 Cohen等人在有限生成加权克隆和有限生成加权关系克隆之间建立了Galois联系[SICOMP'13],并询问这种联系是否普遍成立。 我们对这个问题的回答是肯定的,因为加权(相对。。。 展开摘要
发布状态: 出版
同行评审状态: 同行评审
行动
作者
基金
书目详细信息
项目描述
使用条款
版权所有人: ACM公司 版权日期: 2015 笔记: 版权所有©2016 ACM。 这是文章的公认手稿版本。 最终版本可从ACM在线获取,网址为: http://dx.doi.org/10.1145/2898438
许可证: -
牛津大学研究档案馆的使用条款和条件