题意

求\(\gcd(a, b)\),其中\(a,b\leq10^{10000}\)

题解

使用\(\text{Stein}\)算法,其原理是不断筛除因子\(2\)然后使用更相减损法

如果不筛\(2\)因子的话复杂度是线性的,比如\(a=1,b=10^{10000}\)

再证明下更相减损术,即\(\gcd(a,b)=gcd(a-b,b)\):

假设\(d=\gcd(a,b)\),则\(a=pd,b=qd\)

根据定义可知\(\gcd(p,q)=1\)

因此\(px+qy=1\)存在解\(x,y\)

此时\(a-b=pd-q-d=(p-q)d,b=qd\)

\((p-q)x+q(x+y)=px+qy=1\)

得到\(\gcd(p-q,q)=1\),根据定义得到\(d=\gcd(a-b,b)\)

注意一下高精要压位,不然常数巨大

#include <algorithm>
#include <cstring>
#include <cstdlib>
#include <cstdio>
using namespace std; const int base = 1e9;
const int N = 1e4 + 10; struct Int {
int len, n[N / 9 + 10];
Int() {}
Int(char * s) {
int x = strlen(s);
len = x / 9 + (x % 9 ? 1 : 0);
int p = x - 1;
for(int i = 1; i <= len; i ++) {
n[i] = 0;
for(int j = min(p, 8); j >= 0; j --)
n[i] = n[i] * 10 + (s[p - j] & 15);
p -= 9;
}
}
bool zero() { return len == 1 && n[1] == 0; }
bool judge() { return !zero() && 0 == (n[1] & 1); }
bool operator < (const Int &b) const {
if(len != b.len) return len < b.len;
for(int i = len; i >= 1; i --)
if(n[i] != b.n[i]) return n[i] < b.n[i];
return 0;
}
bool operator -= (const Int &b) {
for(int i = 1; i <= len; i ++) {
if(i <= b.len) {
n[i] -= b.n[i];
if(n[i] < 0) n[i + 1] --, n[i] += base;
}
}
for(; !n[len] && len > 1; len --);
return zero();
}
void div2() {
for(int i = 1; i <= len; i ++) {
if(n[i] & 1) n[i - 1] += base >> 1;
n[i] >>= 1;
}
for(; !n[len] && len > 1; len --);
}
void operator <<= (const int &x) {
for(int t = 1; t <= x; t ++) {
n[len + 1] = 0;
for(int i = len; i >= 1; i --) {
n[i] <<= 1; n[i + 1] += n[i] / base; n[i] %= base;
}
if(n[len + 1]) len ++;
}
this -> print();
}
void print() {
for(int i = len; i >= 1; i --)
if(i == len) printf("%d", n[i]);
else printf("%09d", n[i]);
printf("\n");
}
} x, y; int main() {
static char A[N], B[N];
scanf("%s %s", A, B);
x = Int(A), y = Int(B);
if(x.zero()) return y.print(), 0;
if(y.zero()) return x.print(), 0;
int i = 0, j = 0;
for(; x.judge(); i ++) x.div2();
for(; y.judge(); j ++) y.div2();
while(1) {
if(!(x < y)) {
if(x -= y) return y <<= min(i, j), 0;
while(x.judge()) x.div2();
} else {
if(y -= x) return x <<= min(i, j), 0;
while(y.judge()) y.div2();
}
}
return 0;
}

「BZOJ 1876」「SDOI 2009」SuperGCD「数论」的更多相关文章

  1. 【BZOJ 1877】【SDOI 2009】晨跑

    拆点跑$MCMF最小费用最大流$ 复习一下$MCMF$模板啦啦啦--- 一些坑:更新$dist$后要接着更新$pre$,不要判断是否在队列中再更新,,,听不懂吧,听不懂就对了,因为只有我才会在这种错误 ...

  2. 【BZOJ 1875】【SDOI 2009】HH去散步

    水啊水,最后ans别忘了%哦! #include<cstdio> #include<cstring> #include<algorithm> using names ...

  3. 「SDOI 2009」Elaxia的路线

    发现自己这几天智商完全不在线-- 这道题的数据十分的水,怎样都可以艹过去-- 开始想了一个完全错误的算法,枚举一对点,判断这一对点是否同时在两条最短路上,是就用两点之间的路径更新答案.显然这样是错的: ...

  4. 「BZOJ 4228」Tibbar的后花园

    「BZOJ 4228」Tibbar的后花园 Please contact lydsy2012@163.com! 警告 解题思路 可以证明最终的图中所有点的度数都 \(< 3\) ,且不存在环长是 ...

  5. 「BZOJ 3645」小朋友与二叉树

    「BZOJ 3645」小朋友与二叉树 解题思路 令 \(G(x)\) 为关于可选大小集合的生成函数,即 \[ G(x)=\sum[i\in c ] x^i \] 令 \(F(x)\) 第 \(n\) ...

  6. 「BZOJ 4502」串

    「BZOJ 4502」串 题目描述 兔子们在玩字符串的游戏.首先,它们拿出了一个字符串集合 \(S\),然后它们定义一个字符串为"好"的,当且仅当它可以被分成非空的两段,其中每一段 ...

  7. 「BZOJ 4289」 PA2012 Tax

    「BZOJ 4289」 PA2012 Tax 题目描述 给出一个 \(N\) 个点 \(M\) 条边的无向图,经过一个点的代价是进入和离开这个点的两条边的边权的较大值,求从起点 \(1\) 到点 \( ...

  8. 「BZOJ 2534」 L - gap字符串

    「BZOJ 2534」 L - gap字符串 题目描述 有一种形如 \(uv u\) 形式的字符串,其中 \(u\) 是非空字符串,且 \(v\) 的长度正好为 \(L\), 那么称这个字符串为 \( ...

  9. 「BZOJ 2956」模积和

    「BZOJ 2956」模积和 令 \(l=\min(n,m)\).这个 \(i\neq j\) 非常不优雅,所以我们考虑分开计算,即: \[\begin{aligned} &\sum_{i=1 ...

随机推荐

  1. 浏览器访问IPv6地址

    http://[IPv6]:port/index.html http://[3ffe:3201:1200:1::91]:8080/index.html 目前现在的网络运营商基本都不支持基于IPv6地址 ...

  2. seureCRT快捷键

    前言    secureCRT 是一个非常不错的终端软件,在嵌入式开发过程中经常使用到,所以了解一下其快捷键操作是非常有必要的,可以提高开发效率. 复制:[ctrl] + [shift] + c 粘贴 ...

  3. MongoDB安全加固方案,防止数据泄露被勒索

    早上起来,发现生产数据库被删了,留下一个数据库名叫“PLEASE_READ”,里面内容如下: "Info" : "Your DB is Backed up at our ...

  4. HTML_基础篇v2

    网站图片页面显示案例 1.需求分析 需要在浏览器中显示2张图片信息,效果如下: 2.技术分析 [图片标签]<img /> 属性: src:指图片的位置(路径) 路径的写法:绝对路径和相对路 ...

  5. MySQL的blob类型

    MySQL中的Blob类型 MySQL中存放大对象的时候,使用的是Blob类型.所谓的大对象指的就是图片,比如jpg.png.gif等格式的图片,文档,比如pdf.doc等,以及其他的文件.为了在数据 ...

  6. 配置环境是程序员的第一步 -- Windows 10 下 MySQL 安装

    MySQL 作为最典型的关系型数据库管理系统,由于其体积小.速度快.总体拥有成本低,尤其是其开放源码这一特点,一般中小型网站的开发都选择 MySQL 作为网站数据库.MySQL 社区版的功能也足够我们 ...

  7. (一)maven的安装

    Maven下载 下载地址:http://maven.apache.org/download.cgi 下载完成后,得到一个压缩包

  8. c++ 组合模式(composite)

    原文地址:http://www.cnblogs.com/jiese/p/3168844.html 当你发现需求中是体现部分与整体层次的结构时,以及你希望用户可以忽略组合对象与单个对象的不同,统一地使用 ...

  9. ubuntu 下正确安装android手机驱动

    1. 查看手机ID号. charlesxue@THSHIBA:~/setup/cocos2d-x/cocos2d-x-/projects/simpleGame/proj.android/bin$ ls ...

  10. Luogu 2597 [ZJOI2012]灾难

    BZOJ 2815. 解法还是挺巧妙的. 放上写得很详细很好懂的题解链接  戳这里. 一个物种$x$如果要灭绝,那么沿着它的入边反向走走走,一定可以走到一个点$y$,如果这个点$y$的物种灭绝了,那么 ...