我有一个关于“压缩”图表的堆栈溢出问题。假设我有来自有限集 T 的标签和来自有限集 O 的对象。此外，从 T 的集合的元素到集合 O 的元素之间存在（单向）链接。例如，所有链接的形式为
(a,b) 其中 a 属于 T，b 属于 O。与 T 相比，集合 O 可能很大，因此图可能很大。但是让我举个例子
假设 O={o1,o2,o3}} 和 T={t1,t2,t3}
我有全套允许的链接
如果我在图中插入一个隐藏节点 h 那么我可以创建一个带有链接的图
(o1,h), (o2,h), (o3,h) 和 (h,t1),(h,t2),(h,t3)
如果我们定义，则保留标记：
“如果存在从 o 到 t 的路径，则对象 o 具有标记 t”。
如您所见，定义与隐藏节点是不变的。
此外，虽然以前我有 9 个链接，但现在我有 6 个，而节点数量增加了 1。
对于具有 N 个对象和 M 个标签的完全链接案例，增益变为
(NM)/(N+M)，随着 N 的增加，增益趋于 M。
你知道这样的研究吗？这属于哪一类问题？我对网上的案例也很感兴趣。
先感谢您。