Tag: 逻辑的

find三重中间值的最快方法是？

给定是三个数值的数组，我想知道这三个数的中间值。 问题是， find三者中 最快的方法是什么？ 我的方法是这种模式 – 有三个数字，有六个排列： if (array[randomIndexA] >= array[randomIndexB] && array[randomIndexB] >= array[randomIndexC]) 如果有人能帮我find一个更优雅 ， 更快捷的方法，这将是非常好的。

高阶统一

我正在研究一个更高阶的定理certificate，其中统一似乎是最困难的子问题。 如果Huet的algorithm仍然被认为是最先进的，那么是否有任何人有任何解释的链接，这些链接是由程序员而不是math家来理解的？ 或甚至任何它在哪里工作的例子和通常的一阶algorithm都没有？