算法：不使用额外变量交换数据

问题：
如果x=10，y=23变为x=23,y=10不允许通过第三方变量
方法一:异或法

x= x^y;
y=x^y;
y=x^y;

证明：
易知不论异运算、或运算都不涉及进位、退位。
故可以考虑x,y一位时候的情况，他对任何位都是一样的。
1、x=1,y=1
x=x^y=0
y=x^y=1
x=x^y=1
2、x=1,y=0
x=x^y=1
y=x^y=1
x=x^y=0
3、x=0,y=0
x=x^y=0
y=x^y=0
x=x^y=0
4、x=0,y=1
x=x^y=1
y=x^y=0
x=x^y=1
这一位与其他所有位情况一样，就证明了算法的正确。
从异或运算性质可得，异或满足交换律
从上面可以发现也满足结合律，通过这连个定律也可以证明。
————————————————————————————————————————————
方法二：算术法

x=x+y;
y=x-y;
x=x-y;