这里有一个解决方案，其灵感来自于不能使用复数来解决这个问题的要求或声明。

乘以-1的平方根是一个想法，但似乎失败了，因为-1没有整数的平方根。但是，使用mathematica这样的程序可以得出如下公式

（18494364652+1）模（232-3）=0。

这几乎和平方根为-1一样好。函数的结果必须是有符号整数。因此，我将使用一个修改的模运算mods（x，n），它返回与x模n最接近0的整数y。只有极少数编程语言能够成功地进行模运算，但它很容易被定义。例如，在python中，它是：

def mods(x, n):
    y = x % n
    if y > n/2: y-= n
    return y

使用上面的公式，问题现在可以解决为

def f(x):
    return mods(x*1849436465, 2**32-3)

对于[-231-2231-2]范围内的所有整数，这满足f（f（x））=-x。f（x）的结果也在这个范围内，但当然计算需要64位整数。

return x ^ ((x%2) ? 1 : -INT_MAX);

作为一名数学家，我想分享我对这个有趣问题的看法。我认为我有最有效的解决方案。

如果我没记错的话，只需翻转第一位，就可以将有符号的32位整数取反。例如，如果n=1001 1101 1110 1011 1110 0000 1110 1010，则-n=0001 1101 11101 1011 11100 0000 1110 010。

那么，我们如何定义一个函数f，它接受一个带符号的32位整数，并返回另一个有符号的32位数整数，该函数的属性是：接受两次f与翻转第一位相同？

让我重新表述这个问题，而不提整数之类的算术概念。

我们如何定义一个函数f，它接受长度为32的一系列0和1，并返回长度相同的一系列零和1，同时具有两次接受f与翻转第一位相同的性质？

观察：如果你能回答32位情况的上述问题，那么你也可以回答64位情况、100位情况等。你只需将f应用于前32位。

现在，如果你能回答2位案例的问题，哇！

是的，改变前2位就足够了。

这是伪代码

1. take n, which is a signed 32-bit integer.
2. swap the first bit and the second bit.
3. flip the first bit.
4. return the result.

备注：步骤2和步骤3可以概括为（a，b）-->（-b，a）。看起来很眼熟？这应该会让你想起平面的90度旋转以及乘以-1的平方根。

如果我只是单独展示了伪代码，而没有冗长的前奏，那么它看起来就像脱口而出的兔子，我想解释一下我是如何得到解决方案的。

根据您的平台，某些语言允许您在函数中保持状态。VB.Net，例如：

Function f(ByVal n As Integer) As Integer
    Static flag As Integer = -1
    flag *= -1

    Return n * flag
End Function

IIRC、C++也允许这样做。我怀疑他们正在寻找不同的解决方案。

另一个想法是，由于它们没有定义函数第一次调用的结果，因此可以使用奇数/均匀度来控制是否反转符号：

int f(int n)
{
   int sign = n>=0?1:-1;
   if (abs(n)%2 == 0)
      return ((abs(n)+1)*sign * -1;
   else
      return (abs(n)-1)*sign;
}

所有偶数的幅度加一，所有奇数的幅度减一。两次调用的结果大小相同，但在一次调用中，我们甚至交换了符号。在某些情况下，这不会起作用（-1，max或min int），但它的效果比迄今为止任何其他建议都要好得多。

在C中，

int 
f(int n) {
     static int r = 0;
     if (r == 1) {r--; return -1 * n; };
     r++;
     return n;
}

知道这是为了什么语言会有帮助。我错过了什么吗？许多“解决方案”似乎过于复杂，坦率地说，并非如此工作（当我读到问题时）。

我认为最大的可能范围是暗示模块化算术解决方案。在一些模基M中，有一个数，当平方等于M-1（等于-1）。例如，如果M=13，5*5=25，25 mod 13=12（=-1）总之，这里有一些M=2**32-3的python代码。

def f(x):
    m=2**32-3;
    halfm=m//2;
    i_mod_m=1849436465
    if abs( x ) >halfm:
        raise "too big"
    if x<0:
        x+=m
    x=(i_mod_m*x) % m
    if (x>halfm):
        x-=m
    return x;

注意，有3个值不适用于2**31-1、-（2**31-1）和-（2*#31）