自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(7)
  • 收藏
  • 关注

原创 如何基于Papyrus进行模型校验的扩展

基于papyrus的模型校验扩展方法

2024-03-30 16:50:36 713

原创 codeforces 1295E 线段树维护

codeforces 1295E 线段树题目描述:题面链接:http://codeforces.com/contest/1295/problem/E给两个数组p和a,将p数组分割成两部分,然后可以将前部分移动到后部分,反之也可,移动一个数p[i]为对应数的a[i],问最少花费多少使前部分的值都小于后部分。解题思路线段树维护最后前部分的数为0到i的花费的最小值,先初始化将所有数都分到后部...

2020-01-30 19:04:14 186

原创 浮点型gcd codeforces 1C 计算几何

浮点型gcd codeforces 1C 计算几何c++中的__gcd函数真的好用(让人懒惰),但是没有对浮点型的gcd函数,毕竟浮点型gcd的题输出肯定是有一定的误差范围。浮点型gcd和普通gcd是一样的都是靠辗转相除法实现:double gcd(double a,double b){ while(fabs(a)>eps&&fabs(b)>eps){//...

2019-11-29 20:14:12 298

原创 Codeforces 1257 E - The Contest dp写法

Codeforces 1257 E - The Contest dp写法题意思路代码题意题目传送门系统随机分配给三个人共n个问题,每个人可以把他所分配到的问题转移一个给其他人。问最少转移多少次使其满足第一个人剩下的问题是前缀,第三个人剩下的问题是后缀。可以存在有人没有问题。思路首先可以理解到,最后分配的情况肯定是第1个人解决前k个任务,第2个人解决k+1到k2的任务,第3个人解决k2+...

2019-11-20 18:46:21 221

原创 2019 icpc徐州现场赛A题

2019 icpc徐州现场赛A题题意:思路:代码:扩展 :题意:给你三个数l,r,s。l,r代表存在区间(l,r),s表示你有多少钱,此时你要取一段连续的数,若你要取x到y,则你要花费的钱为x到y之间的所有值的亦或(即x ^ (x+1) ^ (x+2)…(y-1) ^ y,且x,y均在l,r区间内,x<=y),问能连续取的最大区间长度,若长度为0输出-1。思路:首先亦或值是在二进制下...

2019-11-11 19:49:42 643 2

原创 数论:kummer定理(库默尔定理)的应用,证明(n+1)*lcm(C(0,n),C(1,n).......C(n,n)=lcm(1,2,3...n+1)

证明: (n+1)*lcm(C(0,n),C(1,n)…C(n,n)=lcm(1,2,3…n+1)首先我们得先知道kummer定理,即在组合数C(n,m+n)中对于质数p来说,质数分解后p的指数k,k为n+m在p进制中的进位次数,也可以说为(n+m)-m的退位个数。对于lcm来说即等于求所有lcm函数中的数可以质数分解的质数指数最大的乘积。例:lcm(24,18),24=23*3,18=32*...

2019-11-08 21:13:28 3219

原创 Codeforces 1244 C 模拟思维题

Codeforces 1244 C 模拟思维题题意:思路:代码题目链接.题意:给你四个数n,p,w,d。找出三个数整数x,y,z满足x+y+z=n&&wx+dy==p。如果不存在输出-1。(1≤n≤1e12,0≤p≤1e17,1≤d<w≤1e5)思路:先尽可能的使x最大,然后把x减去1判断是否存在x,y,z使上述条件成立,成立输出结束,不成立继续把x减去1,直到x...

2019-10-16 18:22:56 310

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除