不用判断语句，求两个数的最大值

zleil

原帖由 "wxycyel" 发表：
用了普通数据和能产生溢出的数据做了测试，在大概有十几组数据。如
-2000000000   2000000000
200000000     -2000000000
这样了数据。都通过了。

这不足以证明你的程序的正确性，你必须进行证明!

zleil

原帖由 "win_hate" 发表：
#define MASK 0x7fffffff
int max (int x, int y)
{
   int z;

   z =  (x>;>;31) - (y>;>;31) + (((x&MASK) - (y&MASK))>;>;31);
   z= (z+1)*(z+2)*(3-2*z)/6;
   return z*x + (1-z)*y;
   
}

做一个简要的解释吧，一起分享

yuxh

原帖由 "win_hate" 发表：

#define MASK 0x7fffffff
int max (int x, int y)
{
   int z;

   z =  (x>;>;31) - (y>;>;31) + (((x&MASK) - (y&MASK))>;>;31);
   z= (z+1)*(z+2)*(3-2*z)/6;
   return z*x + (1-z)*y;
   
}

当x>;0，y>;0时，x>;>;31=0，y>;>;31=0，x&MASK =0，y&MASK＝0，所以第一个z=0
第二个z = 1*2*3/6 = 1
所以max=x
可以用2、3试一下的说
sorry！我还没看懂算法。。。

kf701

真受不了，没事瞎折腾。

yuxh

wxycyel是个高手，他的程序还是基于x-y的，把x-y、x、y三个的最高位组合在一起进行判断，所以用了一个2＾3＝8的数组以确定最后的值
有道理！

zleil

原帖由 "yuxh" 发表：

当x>;0，y>;0时，x>;>;31=0，y>;>;31=0，x&MASK =0，y&MASK＝0，所以第一个z=0
第二个z = 1*2*3/6 = 1
所以max=x
可以用2、3试一下的说
sorry！我还没看懂算法。。。

x&MASK =0，y&MASK＝0，你弄糊涂了吧

他这个算法不错，用((x&mask) - (y&mask)) >;>; 31来决定同符号的两数的大小比较，然后再加上x，y的符号信息，就能完全判断了。其他的代码我还没弄懂，望作者加以解释。

这个算法应该算是以上算法中最简单的了！

yuxh

[quote]原帖由 "zleil"]牧耍?/quote 发表：

sorry!我没看清()!

wxycyel

原帖由 "zleil" 发表：

具体没看完，
问一下：int z=x-y;语句，你考虑溢出了吗？



还有，建议大家贴出程序之前，把自己的思路做一个简要的描述！

zleil

根据win_hate的想法，再来一段
#define MASK 0x7fffffff
int max (int x, int y)
{
    int sx;    // x的符号
    int sy;    // y的符号
    int s;      // x，y在去掉符号位后，如果x大，则s=1；否则为0
    int is_x;  // 如果最大值是x，则为1,否则为0
    sx = x >;>; 31;
    sy = y >;>; 31;
    s = ((x&MASK) - (x&MASK)) >;>; 31;
    is_x = ( (!(sx^sy)) & s ) | ( (sx^sy) & sy );
    return is_x*x + (!is_x)*y;
}
真值表：
sx  sy  s     is_x
0   1    *      1
0   0    s      s
1   1    s      s
1   0    *      0