问题标签 [symmetric]

API 应该提供 Rect::contains(Point) 或 Point::is_inside(Rect) 还是两者都提供？或 Math::contains(Point, Rect) 导致它是对称的？

LineSegment::contains(Point)、Rect::fully_contains(Circle) 等也是同样的 Q。

我正在学习 C++，我想知道是否可以深入了解创建适用于两种不同类型实例的二元运算符的首选方法。这是我为说明我的担忧而做的一个例子：

如果我想在这两种类型之间具有对称性，那么在上面的代码中哪种方法是最好的方法。选择一种方法而不是另一种方法是否有任何可能的危险？这是否因返回类型而异？请解释！谢谢！

我必须在 prolog 中模拟家谱。我有对称谓词的问题。 事实：

规则：

blood_relation让我头疼。这就是我所做的：

我得到了我认为令人满意的结果（我有双重打印 - 我可以解决这个问题），问题是我希望这种关系是对称的。现在不是。

所以..有没有办法解决这个问题。我需要查询：所有不在血缘关系中的对..

更新：

第一个陈述应该满足什么样的关系？血液关系（X，Y）：-血液关系（X，Y）。

对不起..这是一个糟糕的复制/粘贴..它

现在固定在上面。

以下是其他规则：

母亲的兄弟在叔叔的定义中。这有点奇怪。我有需要实施的规则，除此之外我不知道如何实施规则。我只是困惑。

知道如何制作blood_relation对称吗？并且not_blood_relation是新规则。我需要查询。这个真的让我很头疼。也许是因为关系写得像废话。

而且没有更多的事实。就这样。所有规则，所有事实。

查询..not(blood_relation(X,Y))不起作用，我真的不知道为什么。例如查询：

工作得很好

有没有办法测试任意列表是否对称？

例如：

我的尝试是将第一个元素与最后一个元素进行比较，如果它们相等，则删除它们并继续处理列表的其余部分；否则失败。如果列表有 2 个元素并且它们相等，则成功。否则失败。

然而，使用这个谓词“找到”列表的结尾并不是真正的高效：

有谁知道这样做的好方法？任何帮助将不胜感激！

顺便说一句：我不关心元素数量不均的列表。

标题或多或少说明了一切：

我有一个函数，它在两个参数中接受对称输入，例如

现在，我想介绍一些缓存方法。做这样的事情是否正确/pythonic/相当有效：

或者会有更好的方法吗？

编辑： a1 和 a2 可能是 numpy 数组的行；这就是为什么我将它们分别包装在一个元组中。

我在 IRC 上与某人进行了讨论，然后出现了这个问题。标准允许我们int通过char左值更改类型的对象。

如果我们知道对齐没问题，我们是否可以在相反的方向这样做？

我看到的问题是，如果将别名规则视为非对称关系，则别名规则不涵盖以下简单情况

原因是，每个对象都包含一系列sizeof(obj) unsigned char对象（称为“对象表示”）。如果我们更改int，我们将更改部分或全部这些对象。然而，别名规则只规定我们可以int用charor改变 a unsigned char，但不能反过来。另一个例子

3.10/15 只描述了一个方向（“包含...的聚合或联合类型”），但这次我们需要另一种方式（“作为元素或非静态数据成员类型的类型总计的...”）。

是否暗示了另一个方向？这个问题也适用于 C。

你好，

我希望在 python 中启动一个对称矩阵并用零填充它。

目前，我已经启动了一个已知维度的数组，但这不适合随后作为距离矩阵输入到 R 中。

numpy 中是否有任何“简单”方法来创建对称矩阵？

感谢：D。

编辑

我应该澄清 - 创建“对称”矩阵很好。但是我只对生成下三角形感兴趣，即，

我想：

这可能吗？

我有一个算法问题，我在其中导出了许多状态之间的传递矩阵。下一步是取幂，但它非常大，所以我需要对它做一些归约。具体来说，它包含很多对称性。下面是一些关于通过简单观察可以消除多少节点的示例。

我的问题是是否有一种算法可以有效地消除有向图中的对称性，类似于我在下面手动完成的方式。

在所有情况下，初始向量对于所有节点都具有相同的值。

在第一个示例中，我们看到b、和都从彼此接收值。因此它们将始终包含相同的值，我们可以合并它们。cdea

在这个例子中，我们很快发现，从、和的角度来看，该图是相同a的。同样对于它们各自的侧节点，它附加到哪个内部节点并不重要。因此，我们可以将图减少到只有两个状态。bcd

更新：有些人很合理，不太确定“状态转移矩阵”是什么意思。这里的想法是，您可以将一个组合问题拆分为多个状态类型，以便n在您的循环中为每个状态类型。然后矩阵会告诉你如何从n-1到n。

通常你只对你的一个状态的值感兴趣，但你也需要计算其他状态，所以你总是可以进入下一个级别。然而，在某些情况下，多个状态是对称的，这意味着它们将始终具有相同的值。显然计算所有这些是相当浪费的，所以我们想减少图，直到所有节点都是“唯一的”。

下面是示例 1 中简化图的传递矩阵示例。

对论文的任何建议或参考表示赞赏。

在许多情况下，JavaScript 的类型强制相等运算符是不可传递的。例如，请参阅“ JavaScript 相等传递性很奇怪”。

但是，是否存在==不对称的情况？也就是说，在哪里a == b，true在b == a哪里false？

给定笛卡尔坐标中的多边形（不一定是凸的），我想知道是否有任何方法可以检查该多边形的对称性？

我可以想到一个 O(N) 解决方案：使用旋转卡尺检查每对相对边缘是否平行且大小相等。但是，我无法证明该算法的正确性。您能提出更好的解决方案吗？