We study the well-known problem of translating between two representations of closure systems, namely implicational bases and meet-irreducible elements. Albeit its importance, the problem is open. In this paper, we introduce splits of an implicational base. It is a partitioning operation of the implications which we recursively apply to obtain a binary tree representing a decomposition of the implicational base. We show that this decomposition can be conducted in polynomial time and space in the size of the input implicational base. Focusing on the case of acyclic splits, we obtain a recursive characterization of the meet-irreducible elements of the associated closure system. We use this characterization and hypergraph dualization to derive new results for the translation problem in acyclic convex geometries.
翻译:我们研究了在封闭系统两个表示方式(即隐含基数和可满足-可减少元素)之间翻译的众所周知的问题。尽管这个问题很重要,但问题是开放的。在本文中,我们引入了隐含基数的分解。这是我们反复应用的影响的分解操作,以获得代表隐含基数分解的二进制树。我们表明,这种分解可以在多元时和输入隐含基数的空隙中进行。我们侧重于循环分割的情况,我们获得了对相关封闭系统的可合并-可减少元素的循环定性。我们用这种定性和高修双化来为环形锥形地理的翻译问题得出新的结果。