Fermat vs. Pythagoras POJ - 1305 (数论之勾股数组(毕达哥拉斯三元组))

题意:(a, b, c)为a2+b2=c2的一个解,那么求gcd(a, b, c)=1的组数,并且a<b<c<=n,和不为解中所含数字的个数,比如在n等于10时,为1, 2, 7,9则输出4.

好了!把所用知识点说一下:

数论之勾股数组(毕达哥拉斯三元组)

本原勾股数组(a,b,c)(a为奇数,b偶数)都可由如下公式得出:a=st,b=(s2-t2)/2, c = (s2+t2)/2, 其中s>t>=1是没有公因数的奇数。

再把勾股数公式拿过来:

套路一:

当a为大于1的奇数2n+1时,b=2n^2+2n, c=2n^2+2n+1。

实际上就是把a的平方数拆成两个连续自然数,例如:

n=1时(a,b,c)=(3,4,5)

n=2时(a,b,c)=(5,12,13)

n=3时(a,b,c)=(7,24,25) [1]  ... ...

这是最经典的一个套路,而且由于两个连续自然数必然互质,所以用这个套路得到的勾股数组全部都是互质的。 [1]

套路二:

2、当a为大于4的偶数2n时,b=n^2-1, c=n^2+1

也就是把a的一半的平方分别减1和加1,例如:

n=3时(a,b,c)=(6,8,10)

n=4时(a,b,c)=(8,15,17)

n=5时(a,b,c)=(10,24,26)

n=6时(a,b,c)=(12,35,37) [1]

代码:(注意运算过程中的溢出)

#include<cstdio>
#include<cstring>
#define ll long long
int vis[1000005];

ll gcd(ll a, ll b)
{
    return b == 0 ? a : gcd(b, a%b);
}

int main()
{
    int n;
    while (scanf("%d", &n) != EOF)
    {
        memset(vis, 0, sizeof(vis));
        int ans1 = 0, ans2 = 0;
        for (ll s = 3; s <= n;s+=2)
        for (ll t = 1; t < s; t += 2)
        {
            if (gcd(s, t) == 1 && (s*s + t*t) / 2 <= n)
            {
                ++ans1;
                int a = s*t, b = (s*s - t*t) / 2, c = (s*s + t*t) / 2;
                for (ll i = 1; i*c <= n; ++i)
                    vis[i*a] = vis[i*b] = vis[i*c] = 1;
            }
        }
        for (int i = 1; i <= n;++i)
        if (vis[i] == 0)++ans2;
        printf("%d %d\n", ans1, ans2);
    }
}

原文地址:https://www.cnblogs.com/ALINGMAOMAO/p/9756204.html

时间: 2024-08-27 19:11:54

Fermat vs. Pythagoras POJ - 1305 (数论之勾股数组(毕达哥拉斯三元组))的相关文章

勾股数组及其应用uva106

勾股数组 设三元组(a,b,c)满足a^2 + b^2 = c^2的勾股数组,那么是否存在无穷多个勾股数组呢, 答案是肯定的,将三元组乘以d,可以得到新的三元组(da,db,dc) 即(da)^2 + (db)^2 = (dc)^2 --> (a^2+b^2) * d^2 =c^2 * d^2 d的取值是任意的,所以存在多个勾股数组 本源勾股数组 本源勾股数组是一个三元组(a,b,c),其中a,b,c只存在公因数1,且满足a^2 + b^2 = c^2 积累数据:下面的一些本源勾股数组 (3,4

「整理」勾股数组

我们大概老早就知道勾股定理,它大概就长这样: \[a^2+b^2=c^2\] 嗯,的确够简单的. 而且我们清楚地知道它的一个基本应用--知道\(Rt\Delta\)的两边长,求第三边.这大概初一就学了. 对于不知道勾股定理的童鞋们,不了解没关系,因为这里没有三角形,也不是探讨怎么求第三边,我们只探讨勾股数组. 这里的\(a \equiv b(mod\ c)\)其实就是\(a\%c=b\%c\),a|b其实就是\(b\%a=0\),希望小白们不要看不懂. 如果真的看不懂,可以先学习同余.约数.素数

URAL 2032 - Conspiracy Theory and Rebranding【本源勾股数组】

[题意] 给出三角形的三个边长,均是10^7以内的整数,问三角形的三个角的坐标是否能均是整数,输出其中任意一个解. [题解] 一开始想的是枚举一条边的横坐标,然后通过勾股定理以及算角度求出其他点的坐标,再判断是否符合条件. 亲测TLE 直到知道了本源勾股数组的构造方法... 每个本源勾股数组(a,b,c)满足a*a+b*b=c*c,其中a为奇数,b为偶数.. 枚举s,t(1<=t<s,且它们是没有公因数的奇数) a=st b=(s*s-t*t)/2 c=(s*s+t*t)/2 因为最大数c=(

勾股数组 学习笔记

颓废了一个暑假,想做点CF提高一下智商,然后就被这题卡住了.    http://codeforces.com/contest/707/problem/C 题目大意是给出各条边都是正整数的直角三角形的一条边长,求另外两条边可能的一种方案. 除了爆搜脑子一片空白,然后就很没志气的看了题解,提到了勾股数组,于是学习了一下.网络上的资料感觉证明不是详细,所以自己来写个总结. 1.首先如果 $a^2+b^2=c^2$ , 则$(ka)^2+(kb)^2=(kc)^2$ , 因此我们先只考虑$gcd(a,

勾股数组【学习笔记】

本原勾股数组(简写为PPT)是一个三元组(a,b,c),其中a,b,c没有公因数,且满足.例如下面是一项本原勾股数组: (3,4, 5),(5,12,13),(8,15,17),(7,24,25),(9,40,41),(11,60,61),(28,45,56),(33,56,65). 由这个短表容易得到一些结论,例如,似乎a与b奇偶性不同且c总是奇数. 证明如下: 若a与b都是偶数,则c也是偶数,意味着a,b,c有公因数2,所以三元组不是本原的,其次,若a,b都是奇数,那么c必然是偶数,这样假设

UVa 106 - Fermat vs Pythagoras(数论题目)

题目来源:https://uva.onlinejudge.org/index.php?option=com_onlinejudge&Itemid=8&category=3&page=show_problem&problem=42  Fermat vs. Pythagoras  Background Computer generated and assisted proofs and verification occupy a small niche in the realm

UVa 106 - Fermat vs. Pythagoras

题目:找到小于N的勾股数组的朴素解(三个数互质),并找到[1, N]中所有勾股数组中未出现过的数字个数. 分析:数论.这里直接利用<原本>中的解法即可. x = 2st,y = s^2 - t^2,z = s^2 + t^2, 其中:1.s > t:(枚举顺序) 2.s和t互质:(朴素解) 3.s和t奇偶性不同:(反证法证明) 在计算未出现的数字时,需要枚举朴素解的倍数. 说明:伟大的欧几里得╮(╯▽╰)╭. #include <cstring> #include <c

数论(毕达哥拉斯定理):POJ 1305 Fermat vs. Pythagoras

Fermat vs. Pythagoras Time Limit: 2000MS   Memory Limit: 10000K Total Submissions: 1493   Accepted: 865 Description Computer generated and assisted proofs and verification occupy a small niche in the realm of Computer Science. The first proof of the

poj 1305

Fermat vs. Pythagoras Time Limit: 2000MS   Memory Limit: 10000K Total Submissions: 1450   Accepted: 846 Description Computer generated and assisted proofs and verification occupy a small niche in the realm of Computer Science. The first proof of the