标签:src void getchar template sdi lib deque bitset ring

打表发现,最后的循环节一定是\(\gcd(a_1,a_2),\gcd(a_1,a_2),0\)这种形式,而稍微思考一下便知道这显然是一般情况。
然后都有gcd了,发现操作的实质都差不多是将\(a_1\)减去几个\(a_2\)后交换再相减,类似gcd递归版的取模操作,同时ans加上\(\left \lfloor \frac{a_1}{a_2} \right \rfloor\)。
最后算出来的数与实际答案差1,大概是0的问题,所以ans加1。
然后试了很多组小数据发现是对的。
最后就AC了。
#include<cstdlib>
#include<cstdio>
#include<cmath>
#include<cstring>
#include<iostream>
#include<string>
#include<vector>
#include<list>
#include<deque>
#include<stack>
#include<queue>
#include<map>
#include<set>
#include<bitset>
#include<algorithm>
#include<complex>
#include<cassert>
#define rg register
#define il inline
#define co const
#pragma GCC optimize ("O0")
using namespace std;
template<class T> il T read()
{
    T data=0;
    int w=1;
    char ch=getchar();
    while(!isdigit(ch))
    {
        if(ch==‘-‘)
            w=-1;
        ch=getchar();
    }
    while(isdigit(ch))
        data=10*data+ch-‘0‘,ch=getchar();
    return data*w;
}
template<class T> il T read(T&x)
{
    return x=read<T>();
}
typedef long long ll;
const int INF=0x7fffffff;
ll ans;
void gcd(ll a,ll b)
{
    if(b==0)
        return;
    ans+=a/b;
    gcd(b,a%b);
}
int main()
{
  freopen("seq.in","r",stdin);
  freopen("seq.out","w",stdout);
    gcd(read<ll>(),read<ll>());
    printf("%lld\n",ans+1);
//  fclose(stdin);
//  fclose(stdout);
    return 0;
}有个归纳证明的过程。

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
ll a,b,c,ans;
int main(){
freopen("seq.in","r",stdin);
freopen("seq.out","w",stdout);
    scanf("%lld%lld",&a,&b);
    if (a<b) swap(a,b);
    c = a%b;
    while (c){
        ans += a/b;
        a = b;b = c;c = a%b;
    }
    ans += a/b;     
    ans++;
    printf("%lld\n",ans);
    return 0;
}标签:src void getchar template sdi lib deque bitset ring
原文地址:https://www.cnblogs.com/autoint/p/9870454.html