洛谷 P1147 连续自然数和(C++)

洛谷 P1147 连续自然数和

1、题目（来源于洛谷）：

2、主要思想：
方法一：
①先想到双重循环暴力枚举
②发现可以将枚举区间右端缩小为m的一半，因为从m / 2 + (m / 2 + 1)开始后面都会大于m
③又发现因为可以用双指针，当枚举到s[j] - s[i - 1] == m或者s[j] - s[i - 1] > m时可以直接跳出循环，枚举下一个 i 。
④用前缀和优化计算子序列和的部分
方法二：
用代数方法根据数列前n相项合公式，发现（l + r）* (r - l + 1) / 2 = m。

设k1 = l + r, k2 = r - l + 1,可得r = (k1 + k2 - 1) / 2, l = (k1 - k2 + 1) / 2；（l + r）* (r - l + 1) = 2 * m。

因为l 和 r 均为整数而k1 + k2 = 2 * r + 1(奇数）所以k1 和k2 一定一奇一偶；因为 l != r 所以 (k1 + k2 - 1) / 2 != (k1 - k2 + 1) / 2, 可得k2 != 1。

将问题转化为枚举k1,k2

3、C++代码如下：
方法一：

#include <iostream>

using namespace std;

const int N = 1000010;

int m;
int s[N];//s为前缀和数组

int main()
{
    cin >> m;
    
    for (int i = 1; i <= m / 2 + 1; i ++ ) s[i] = s[i - 1] + i;//令s[i]=i + ... +1。m是奇数的时候除不尽，可能会损失一个数，所以+1
    
    for (int i = 1; i < m / 2 + 1; i ++ )
    {
        for (int j = i + 1; i < j && j <= m / 2 + 1; j ++ )
        {
            if (s[j] - s[i - 1] == m) 
            {
                cout << i << ' ' << j << endl;
                break;//s[j] - s[i - 1] 已经等于 m，j再+1的话，序列和一定会大于m,后面不必再枚举
            }
            if (s[j] - s[i - 1] > m) break;//当s[j] - s[i - 1]已经大于 m 时，j再+1的话，序列和一定会大于m,后面不必再枚举
        }
    }
    
    return 0;
}

方法二：

#include <iostream>
#include <math.h>

using namespace std;

int main()
{
	int m;
	cin >> m;
	
	int k1, k2;
	for (k2 = sqrt(2 * m); k2 > 1; k2 -- )//k2 != 1
	{
		if ((2 * m) % k2 == 0 && (k2 + 2 * m / k2) % 2)//2 * m能被k2整除 && k1 和 k2 一奇一偶
		{
			k1 = 2 * m / k2;	
			cout << (k1 - k2 + 1) / 2 << ' ' << (k1 + k2 - 1) / 2 << endl;
		}
	}
	
	return 0;
	
}

注意事项：
题中m从10开始，对0似乎没有特殊要求（感觉0 4和1 4都能得10），但是算上0又不能AC，就直接从1开始了。