~ Esoteria Algorithm in Reverse Observatory

错排问题及其递推式和通项公式

Prologue

  在组合数学中, 一个 错排 是一个集合中的元素都不出现在自己原来的位置的序列。换言之,一个错排是一个没有定点的序列。这样的序列的个数称为 错排数,记作 DnD_n

Cover Image

JavaScript 中的 Lambda 演算

序幕

判定性问题和可计算性

在形式化语言中,如何有效地接收并且验证一个命题的正确性?

邱奇 - 图灵猜想

邱奇 - 图灵猜想是一个关于可计算性理论的假设。该假设论述了关于函数特性的,可有效计算的函数值。简单来说,邱奇 - 图灵猜想认为「任何在算法上可计算的问题同样可由图灵机计算」。