data-structures - 这种数据结构有形式主义吗？

Question

我正在为我正在使用的数据结构寻找数学形式，以便我可以追踪相关的定理和算法。

假设您有以下内容：

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

直到最近我才遇到hypergraphs，这似乎相关但过于笼统。这种数据结构有形式主义吗？如果不是，能否用数学术语更简洁地描述它？

Answer 1

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

一个格子的约束比你描述的要多，但也许你可以在你的应用程序中采用这种形式，或者从这里开始，看看是否有更接近你需求的相关作品。

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