单调布尔函数

Monotone Boolean Function

本文关键字：函数 单调布      更新时间：2023-10-16

我需要帮助。我想编写一个函数来检查布尔函数是单调的还是否的。例如，如果我们有 2 个参数的函数 f(x1， x2(

  1. f(0， 0( = 0
  2. f(0， 1( = 0
  3. f(1， 0( = 0
  4. f(1， 1( = 1

对于此函数将返回 true。

在一般意义上你不能。想象一个像这样的 c++ 函数：

bool f(bool x1, bool x2) {
    return rand() > 50;
}

无论您实现什么检查，您都不能肯定地说这个函数是否是单调的。有时您可能会收到上述预期结果，但有时您不会...

相关文章：