问题标签 [equivalence-classes]

我正在使用 Protege 3.5 本体编辑器。我有两个类“ProcessName”和“AvailableProcess”。我想说这两个类是等价的，即它们具有相同的类扩展（两个类中的相同实例）。我会以一种为“AvailableProcess”类创建新实例的方式使用它，然后这些实例也将成为“ProcessName”类的成员。如何在 Protege 3.5 中建模？我看到新版本的 Protege 有这种“等效于”的描述，但我在 Protege 3.5 中找不到。

谢谢！

BR，伊娃

令 A = {a, b, c, d, e, f, g, h, i} 和 R 是 A 上的一个关系，如下所示：

R={(a,a), (f,c), (b,b), (c,f), (a,d), (c,c), (c,i), (d,a) , (b,e), (i,c), (e,b), (d,d), (e,e), (f,f), (g,g), (h,h), ( i,i), (h,e), (a,g), (g,a), (d,g), (g,d), (b,h), (h,b), (e, h), (f,i), (i,f)}

我知道这是对称、传递和自反的等价关系，但我对等价类感到困惑？什么是等价类？如何找到关系的等价类？

我开始学习图表，即使我大致了解它们是什么，我也无法理解等价类植入的细节以及它们对构建图表的作用。我有一个非常不清楚和模糊的任务来实现下面的方法来完成一个等价类 add_singleton、compress_to_root、in_same_class、merge_classes_of 和 classes。我希望了解等价类的一般功能，以便我可以尝试详细了解每种方法的作用。

任何帮助将不胜感激，谢谢。

gnu awk 是否支持POSIX 等价类？

是否可以像在 grep 中那样使用 awk 匹配 [[=a=]] 吗？

我有一个数据框列表L，其中每个数据框由变量Var和一个由不同数字组成的观察值组成。每个观察中的每个数字都属于集合{1,2,3,4,5,11,12,13,14,15}。L例如，可能看起来像：

我要解决的问题如下。我想知道是否有一个正数x = {1,2,3,4,5}，当添加到给定观察中的每个数字时，该观察变得等同于另一个。例如，考虑Land let的前 2 个元素x=2，然后添加x到Lyield 的第一个元素：

数字 17 不满足上面定义的集合的条件。我希望以下约束适用于x. 让我们y在 obs 中表示一个数字。在数据框中L：

具有这些约束的相同示例将产生：

并且L[[1]]会变得等价于L[[2]]。在我的世界里，L[[1]]和L[[2]]共享相同的模式。我想要做的是匹配L基于等效（在上述意义上）模式的元素，并根据“成员数量”对组进行排序。因此，在此处的示例中，我想检测L[[1]]并L[[2]]在一个组中，并且这是具有最多成员的组，然后是下一个组，在此示例中仅包含L[[3]]. 我对 R 很陌生，任何指导将不胜感激！

假设我有两组项目，以及一个检查两个项目等价的函数（不是严格相等，因此一个项目可能等同于另一个集合中的多个项目），我想确定是否存在一对一- 一个对应关系，使得等价对每一对都成立。

有没有针对这个问题的既定/最佳解决方案？

这个问题最初来自于确定两个 C 联合类型是否兼容，标准要求这种对应关系，但是事情变得棘手，因为联合成员可以是匿名的，所以一个项目的等效项可以有多种可能性。目前我正在采用一种天真的方法，但我想知道是否有任何建立讨论/解决方案。

为什么当我在下面的并集中更改两组的顺序时，会得到不同的结果？

说我有几点：

如果我按 y 轴对它们进行排序：

我明白了

但是我想完全独立于 x 轴对其进行排序。 此外，我希望输出是显示两种可能排序的 2 个列表（即 y 值相等的 x 值的所有排列）：

有没有办法我可以做到这一点？

我有一个 n 行文本文件：

第一个：1,2,...1,1

第二：1,2,...0,1

第三：2,1,...,1,0

第四：2,2,....,0,1

……

n th:1,2,....,1,1

每行有 40 个数字，以逗号分隔。这些数字的索引从 1 到 40。例如，第一行 1,2,...0,1; 1 索引 1，2 索引 2，0 索引 39，最后一个 1 索引 40。

我想为每个索引创建等价类，例如

索引 1：[1st,2nd][3rd,4th][nth]

索引 2：[1st,2nd,4th,nth][3rd]

索引 39:[1st,3rd,nth][2nd,4th]

索引 40:[1st,2nd,4th,nth][3rd]

我正在考虑使用 HashMap<Integer,List<String>>，但通过这种方式，我需要在内存中维护 40 个数组列表。这很困难，因为文本文件有点大（n = 数百万行）

由于我是Java新手，不知道上述方法是否有效？或者有没有更好的方法来实现这一点。只有想法就足够了。

非常感谢。

我需要帮助解决一些 2 个问题，谢谢帮助 会有 L ⊆ Σ* ，证明或反驳： 1. 如果每个 RL 等价类是正则语言，则 RL 包含无限等价类 2. 如果 L 是正则语言，则 RL 包含一个无限等价类

RL：x RL y（对于 Σ* 中的每个 z，当且仅当 yz L 中的 xz）