关于（a+b）/3的证明--codeforces,519c.

http://codeforces.com/problemset/problem/519/C
题目要求：给定两个数，分别将这两个数进行任意拆分，拆分成1和2，然后再将拆分好的数进行相加，相加的两个数和必须是3，且1和2分别来自不同的被拆分数，要求可以相加的最大数量。

性质：
假定a是较小的数，b是较大的数。
1 数量必定少于a和b；
2 当b>2a时，数量是a;
3 b<2a时？？
b<2a时，数量 = （a+b)/3.
证明：

    /*因为b<2a,则我们可以得出，结果一定小于a,既然小于a,同样小于b，那么任意分的话，（a+b）/3，假定理想情况，每个3里面都会至少有1个a的单元和b的一个单元，这样恰好满足题意*/
      #include<stdio.h>
      #include<algorithm>
      using namespace std;
      int main(){
      int a,b;
       scanf("%d%d",&a,&b);
       int ans = (a+b)/3;
       ans = min(ans,a);
       ans = min(ans,b);
       printf("%d\n",ans);
    }