论文标题
晶格的间隔开采
Interval-Dismantling for Lattices
论文作者
论文摘要
拆卸允许在不干扰其余结构的情况下去除集合或晶格的元素。在本文中，我们将单个元素拆除的概念扩展到了通过晶格间隔拆卸的概念。我们利用从形式概念分析（FCA）的理论来表明，间隔拆除的晶格对应于相应的正式背景下的封闭子关系，并且对于通过间隔拆卸的独特内核。此外，我们表明可以在正式环境中使用箭头关系直接识别拆卸间隔，并提供算法来计算所有拆卸间隔。
Dismantling allows for the removal of elements of a set, or in our case lattice, without disturbing the remaining structure. In this paper we have extended the notion of dismantling by single elements to the dismantling by intervals in a lattice. We utilize theory from Formal Concept Analysis (FCA) to show that lattices dismantled by intervals correspond to closed subrelations in the respective formal context, and that there exists a unique kernel with respect to dismantling by intervals. Furthermore, we show that dismantling intervals can be identified directly in the formal context utilizing a characterization via arrow relations and provide an algorithm to compute all dismantling intervals.
