闭包系统单集更新的直接基与二元直接基
计算机科学中的逻辑
2018-10-23 v1 数据结构与算法
摘要
我们引入二元直接蕴含基的概念，并证明最短二元直接基存在，即 Adaricheva、Nation、Rand [Disc.Appl.Math. 2013] 中引入的 -基。利用该概念，我们处理 Singleton Horn 扩展问题以及单集移除问题的算法解，其中闭包系统由规范直接基或二元直接基给出。在该问题中，一个新的闭集被添加进或从闭包系统中移除，迫使对给定基进行重写。我们的目标是为新的闭包系统获得与原始闭包系统所给相同类型的蕴含基，并使基更新成为最优过程。
引用
@article{arxiv.1810.08684,
title = {Direct and Binary Direct Bases for One-set Updates of a Closure System},
author = {Kira Adaricheva and Taylor Ninesling},
journal= {arXiv preprint arXiv:1810.08684},
year = {2018}
}
备注
17 pages, 1 table, 1 figure, poster session presentation ICFCA-2017