这个数据结构有形式吗？

Question

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

假设您有以下内容：

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

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

Answer 1

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

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

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