7
我正在爲我正在使用的數據結構尋找數學形式，以便我可以追蹤相關定理和算法。這個數據結構有形式嗎？
假設你有以下幾點：
- 有向議題的無環圖。
- 在每個主題處，主題，一組文檔中的項目和一組組中的項目之間存在一個或多個關係。
- 這些組可能是一個簡單的集合，或者它們最終可能是一個DAG。它們用於管理文檔與主題關聯的可見性。
只是最近我碰到過hypergraphs，這看起來很相關，但太籠統了。這種數據結構是否有形式化？如果沒有，可以用數學術語更簡潔地描述它？
我不明白你的意思。話題的DAG的邊緣是什麼意思？這與文檔或項目，集合和組（什麼？）有關？我認爲最好的解釋方式就是一些例子。另外，你爲什麼要找定理？你有什麼樣的問題？ – svick 2012-04-01 19:19:04
@svick，我正在使用從一個主題到另一個主題的邊緣來建模「是一個子主題」。所以「物理學」是「科學」的子課題，從「科學」到「物理學」有一個箭頭。但這個細節對於這個問題的目的應該不重要。 – 2012-04-01 19:48:07
我想在與DAG中給定主題的理想和過濾器相關的文檔上設置交集，並通過特定的一組組進行過濾。我需要定理和算法的原因是因爲使用DAG會產生一些棘手的空間和內存限制，而使用多於DAG的限制會使約束更加微妙。 – 2012-04-01 22:09:09