这个数据结构有规范符号表示吗？

Question

7

我正在寻找一种数学形式化方法来处理我正在处理的数据结构，以便我可以追踪相关的定理和算法。

假设你有以下内容：

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

我最近才发现超图，它似乎相关但太一般了。是否有这种数据结构的形式化方法？如果没有，是否可以用更简洁的数学术语描述它？

- Eric Walker

@svick，我正在使用从一个主题到另一个主题的边缘来模拟“是一个子主题”。因此，“物理学”是“科学”的子主题，并且从“科学”到“物理学”有一个箭头。但是这个细节对于问题的目的不应该很重要。 - Eric Walker

我想在DAG中给定主题的理想和过滤器相关文档上执行交集操作，同时过滤特定组的文档。我需要定理和算法的原因是因为使用DAG会产生一些棘手的空间和内存限制，并且使用多个DAG会使限制更加微妙。 - Eric Walker

文档或组与主题在主题DAG中的祖先/后代是否存在连接？您应该尝试提供一个完整的例子，就像您使用物理和科学一样，但其中还包括文档和组。例如，如果“算术原理”是一个物理文档，则它也是一个科学文档。 - Edmund

没错 - "public" 和 "internal" 是组。对于当前的目的，关系将是一个元组：(物理学，数学原理，公共)，(物理学，数学原理，内部)，(物理学，某些专有发明，内部)。有更复杂的建模关系的方法，但我认为这捕捉了主要思想。 - Eric Walker

你应该谷歌搜索“Pachinko Allocation”。 - user1149913

显示剩余3条评论

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- jrouquie · Accepted Answer

格比你描述的有更多的限制，但也许你可以在你的应用中采用这种形式化方法，或者从这里开始看看是否有更符合你需求的相关工作。