python - 是否有可能知道两个 python 函数在功能上是否等效？

Question

假设我有两个 python 函数 f 和 g:

def f(x):
    y = x**2 + 1
    return y

def g(x):
    a = x**2
    b = a + 1
    return b

这两个函数在功能上显然是等效的(都返回x**2 + 1)。

我对功能等效的定义如下:

如果两个函数 f 和 g 在给定相同输入的情况下始终产生相同的输出，则 f 和 g 在功能上是等效的。

此外，假设 f 和 g 中不涉及全局变量。

是否可以自动确定(无需人工检查)Python 函数 f 和 g 功能是否等效？

Answer 1

作者:Rice's Theorem ， 不。如果你能做到这一点，你就可以解决 halting problem 。 (即使 f 和 g 总是保证停止，这也是如此。)