UVA11401(加法原理)

题目链接：http://acm.hust.edu.cn/vjudge/problem/viewProblem.action?id=22646

解题思路：

问1~n内选出三个不同的整数，组成三角形，有多少种选法？n的数据很大，进行数学分析可得。利用加法原理，枚举三角形的最长边为x的三角形有c(x)个，另外两边长分别为y和z。根据三角形不等式，有y + z > x，所以z的范围是x - y < z  <ｘ。

当y == 1 时，显然无解；当y == 2时，只有一个解（z = x - 1）；······；当y == x - 1时，z有x - 2个解。根据等差数列求和公式，共有（x - 1）*（x - 2）/ 2个解。

但是这并不是c(x)的值，因为上面包含y == z的情况，并且每个三角形算了两遍。当y == z时，共有(x - 1) - (x / 2 + 1) + 1 = (x - 2) / 2个解。

综上c(x) = ( (x - 1) * (x-2)/ 2 - (x-2)/2 ) / 2.

因为本题实质上求最大边长不超过n的三角形数目f(n)。根据加法原理，f(n) = c(1) + c(2) +····+c(n)。递推形式为f(n) = f(n-1) + c(n)

完整代码：

#include <functional>
#include <algorithm>
#include <iostream>
#include <fstream>
#include <sstream>
#include <iomanip>
#include <numeric>
#include <cstring>
#include <climits>
#include <cassert>
#include <complex>
#include <cstdio>
#include <string>
#include <vector>
#include <bitset>
#include <queue>
#include <stack>
#include <cmath>
#include <ctime>
#include <list>
#include <set>
#include <map>
using namespace std;

#pragma comment(linker, "/STACK:102400000,102400000")

typedef long long LL;
typedef double DB;
typedef unsigned uint;
typedef unsigned long long uLL;

/** Constant List .. **/ //{

const int MOD = int(1e9)+7;
const int INF = 0x3f3f3f3f;
const LL INFF = 0x3f3f3f3f3f3f3f3fLL;
const DB EPS = 1e-9;
const DB OO = 1e20;
const DB PI = acos(-1.0); //M_PI;
const int maxn = 1000010;
LL f[maxn];
int main()
{
    #ifdef DoubleQ
    freopen("in.txt","r",stdin);
    #endif
    std::ios::sync_with_stdio(false);
    std::cin.tie(0);
    f[3] = 0;
    for(LL x = 4 ; x <= 1000000 ; x ++)
    {
        f[x] = f[x - 1] + ((x - 1) * (x - 2) / 2 - (x - 2) / 2) / 2;
    }
    int n;
    while(cin >> n)
    {
        if(n < 3)
            break;
        cout << f[n] << endl;
    }
}