这个数据结构有形式吗？

Question

我正在为我正在使用的数据结构寻找数学形式,以便我可以找到相关的定理和算法.

假设您有以下内容:

• 主题的有向无环图.
• 在每个主题中,主题,一组文档中的项目和一组组中的项目之间存在一个或多个关系.
• 这些组可能是一个简单的集合,也可能最终成为DAG.它们用于管理文档与主题的关联的可见性.

直到最近我才遇到超图,这些超图似乎相关但过于笼统.这个数据结构有形式吗？如果没有,可以用数学术语更简洁地描述它吗？

Answer 1

这看起来像http://en.wikipedia.org/wiki/Formal_concept_analysis，尤其是伽罗瓦格。

格子比你所描述的有更多的限制，但也许你可以在你的应用程序中采用这种形式主义，或者从这里开始看看是否有更接近你的需求的相关工作。

我想你已经知道http://en.wikipedia.org/wiki/Ontology_%28information_science%29，这也是很多资源的起点。