问题标签 [transitivity]

我正在对正在开发的应用程序进行故障排除，该应用程序在多林环境中使用来自 Active Directory 的信息，我目前的问题是确定林信任是否是可传递的，如果是在什么条件下传递。

设置：使用 Active Directory 2003，ForestA与ForestB具有双向林信任。 ForestB与ForestC具有双向森林信任。

在这种情况下，ForestA 和 ForestC 之间是否存在某种信任关系？我发现了一些相互矛盾的信息；第一个链接清楚地表明森林信任不传递到其他森林：

森林信托

林信任只能在两个林之间创建，不能隐式扩展到第三个林。这意味着，如果在林 1 和林 2 之间创建了林信任，并且在林 2 和林 3 之间也创建了林信任，则林 1 将不会与林 3 建立隐式信任。

但是，我还可以在信任类型列表中找到森林信任是可传递的指示：

信任类型

信任类型：森林传递性：传递性

当通过“管理域和信任”查看时，在此林信任的顶部，在 Active Directory 信任列表中显示为“可传递”

这是否意味着森林信任在信任森林内是可传递的，但不能传递到其他森林？所以在前面提到的场景中：

森林A <->森林B <->森林C

子域将通过传递性获得森林信任（因此 subdom1. ForestA将信任 office7. ForestB ）但ForestA和ForestB之间将共享访问权限。这是正确的，还是我对微软发布的相当混乱的信息感到困惑？有没有人有这方面的亲身经历可以分享？

在 Rails 中，要自动计算关联，您可以：

然后在 Script 模型中添加一个 chapters_count 列。

现在，如果您想计算 Script 中的段落数而段落模型中没有 script_id 键怎么办？

你如何自动将脚本关联到段落并使用 Rails 的自动计数来计算它们？

Maven 插件中的依赖项应该解决它们的传递依赖项还是必须手动添加到插件依赖项中？

我一直在阅读Douglas Crockford 的JavaScript: The Good Parts，我遇到了这个对我来说没有意义的奇怪示例：

作者还继续提到“永远不要使用==and !=。相反，总是使用===and !==”。但是，他没有解释为什么会出现上述行为？所以我的问题是，为什么上面的结果是这样的？JavaScript 中没有考虑传递性吗？

如果我有 3 个对象a、b和c，并且我想检查它们是否彼此相等，我需要检查：

根据 Java 文档，对于正确实现的 equals 方法：

它是可传递的：对于任何非空引用值 x、y 和 z，如果 x.equals(y) 返回 true 并且 y.equals(z) 返回 true，则 x.equals(z) 应该返回 true。

这表明平等是可传递的，但不平等呢？

JavaScript 古怪的弱类型==运算符可以很容易地显示为不可传递的，如下所示：

我想知道是否有任何类似的技巧可以使用舍入误差，Infinity或者NaN应该显示===为非传递性的，或者是否可以证明它确实是传递性的。

试图证明元素插入函数到 bst 中的正确性，我被困在试图证明一个看似微不足道的引理中。到目前为止我的尝试：

显然，如果树中的所有内容都小于n并且n <= m所有内容都小于m，但我似乎无法让 coq 相信我。我该如何继续？

一个不及物集可以有成员 AB 和 C where A > B > Cbut C > A。这样的一组照片可能是按个人喜好排序的照片。

我可以相对容易地找到算法，用最少的工作找到传递集的最大值，甚至对不传递集进行排序，但很难看出如何将两者结合起来。

这个问题有已知的解决方案吗？

我试图在prolog中定义“我朋友的朋友就是我的朋友”的规则，我有以下代码：

它做得很好，它能够通过 Hans 和 Robert 检测 Mike 和 Angela 之间的友谊，问题是当我试图找到 John 和 Angela 之间的友谊时，例如，他们没有联系，但程序陷入了无限循环。

我首先定义一个大整数n：

接下来我查看了s1and的行为s2：

由于可能会丢弃任何小数部分，因此不期望最后 2 个表达式的相等性。但是，我没想到平等是不及物的（例如n == s1, s1 == s2，但是n != s2。）

此外，floor尽管保留了 40 个有效数字，但似乎在整数部分上失去了精度。

在测试减法时，这种损失的精度变得很明显：

为什么会floor失去精度，这如何违反平等的传递性（如果有的话）？

floor . sqrt在不损失精度的情况下，最好的计算方法是什么？