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

我正在寻找一种数据结构的数学形式，这样我就可以找到相关的定理和算法

假设您有以下内容：

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

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

这看起来像，特别是伽罗瓦晶格

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

---

我想你已经知道了，这也是很多资源的出发点。

我真的不明白你的意思。主题DAG中的边是什么意思？这与文档或项目、集合和组（属于什么？）有什么关系？我认为最好的解释方法是举个例子。还有，你为什么要寻找定理？你有什么问题？@svick，我用一个话题到另一个话题的边缘来模拟“是一个副标题”。所以“物理学”是“科学”的一个副标题，有一支从“科学”到“物理学”的箭。但是这个细节对于问题的目的来说并不重要，我想在DAG中与给定主题的理想和过滤器相关联的文档上设置交叉点，通过一组特定的组进行过滤。我之所以需要定理和算法，是因为使用DAG会产生一些棘手的空间和内存约束，而使用超过DAG的DAG会使约束更加微妙。与主题相关的文档或组与主题DAG中该主题的祖先/后代之间是否存在任何联系？你应该试着给出一个完整的例子，就像你在物理和科学方面所做的那样，但也包括文档和小组。例如，如果《数学原理》是一篇物理文献，那么它也是一篇科学文献。@Edmund，我认为你的例子很好。所以它可能有点像科学（T）