Codeforces Gym - 101158 I - Skinny Polygon (扩展欧几里得)

题目

题意

给你两个数X和Y要你构造一个三角形或一个四边形(凹凸任意),满足以下条件:

1.至少一个点的x坐标为0

2.至少一个点的x坐标为X

3.至少一个点的y坐标为0

4.至少一个点的y坐标为Y

5.图形面积为<=25000

6.任意点坐标(x,y),x和y必须是整数,且范围:0<=x<=X,0<=y<=Y

数据范围:n个case,1<=n<=1e5,2<=X<=1e9,2<=Y<=1e9

分析

首先考虑下极限数据,X = Y = 1e9

数据很大,面积又规定2.5e4以内,那考虑下凹四边形,一个方案是这样的

四个点坐标分别是O(0,0),B(1e9-1,1e9),A(1,1),C(1e9,1e9-1),这样面积是OA * BC / 2 = 1

这个策略是这样的:B的位置是(X,Y)这个点往左一格,即B(X-1,Y),C的位置是(X,Y)这个点往下一格,即C(X,Y-1)

由于BC段长度固定为1,面积由A点坐标决定,设A(a,b),考虑A坐标为整数时最接近O点的坐标取值

由于A点必须夹在OB和OC中间,由斜率有Y/(X-1) < b/a < (Y-1)/X,考虑b=Y且a=X的情况下不等式恒成立,也就是A点在右上角那里

但这样面积太大,由于分子分母同时除以一个数后,分式值不变,那么要在坐标为整数的情况下a和b取值最小

则令b = Y/g,a = X/g,g为X和Y的最大公约数

接下来计算此时面积S,我们先推导一个小公式,因为待会三角形也要用到,当然你硬着算也行。

推个OA一般式再代个点到直线距离,得此时面积S = |bc - ad|/2 ,因为B点在下方,由斜率,S = (bc-ad)/2

回到上面面积计算,分为OAB和OAC两个三角形,利用推导的公式,B(X-1,Y),A(a,b),C(X,Y-1)

面积S = (Y*a - b*(Y-1))/2 + (X*b - (Y-1)*a)/2 = (a+b)/2 = (X/g + Y/g)/2

问题在于g很小且X和Y很大的时候,面积会超过2.5e4的限制

考虑三角形,就再拿第二张图来用下好了,令A点为(X,Y),即a = X,b = Y,已经推导S = (bc-ad)/2

观察bc-ad,c和d未知,a和b已知,很像exgcd的形式,ax-by,令g = gcd(a,b),解方程bx-ay = g,此时面积S = g/2,这样,在g很小情况下,就可以构造一个满足要求的三角形

为什么题目是一定有解的?

我们看下两个面积,一个是S1 =(X/g + Y/g)/2,一个是S2 =g/2,试着将其相乘再开根,sqrt(S1*S2) = (sqrt(X+Y))/2<=25000

也就是说S1和S2不会同时超过25000,得证

代码

#include<iostream>
#include<cstdio>
#define test(a) cout<<(a)<<endl
#define test2(a,b) cout<<(a)<<" "<<(b)<<endl
#define test3(a,b,c) cout<<(a)<<" "<<(b)<<" "<<(c)<<endl
#define IOS ios::sync_with_stdio(false);cin.tie(0)
using namespace std;

void gcd(int a,int b,int &d,int &x,int &y) {
    if(!b) {d = a;x = 1;y = 0;}
    else {gcd(b,a%b,d,y,x);y-=x*(a/b);}
}
int myabs(int a) {
    if (a>0) return a;
    return -a;
}
void work() {
    int a,b,g,x,y;
    cin>>a>>b;
    gcd(a,-b,g,y,x);
    g = myabs(g);
    if (g<50000) {
        test(3);
        test2(0,0);
        test2(a,b);
        test2(x,y);
    }
    else {
        test(4);
        test2(0,0);
        test2(a-1,b);
        test2(a/g,b/g);
        test2(a,b-1);
    }
}
int main() {
    #ifdef local
    freopen("in.txt","r",stdin);
    #endif // local
    int t;
    cin>>t;
    while(t--) work();
}

本文参考了官方题解后写出

CodeForces - 616D是一个关于找到一个序列中最长的第k好子段的起始位置和结束位置的问题。给定一个长度为n的序列和一个整数k,需要找到一个子段,该子段中不超过k个不同的数字。题目要求输出这个序列最长的第k好子段的起始位置和终止位置。 解决这个问题的方法有两种。第一种方法是使用尺取算法,通过维护一个滑动窗口来记录\[l,r\]中不同数的个数。每次如果这个数小于k,就将r向右移动一位;如果已经大于k,则将l向右移动一位,直到个数不大于k。每次更新完r之后,判断r-l+1是否比已有答案更优来更新答案。这种方法的时间复杂度为O(n)。 第二种方法是使用枚举r和双指针的方法。通过维护一个最小的l,满足\[l,r\]最多只有k种数。使用一个map来判断数的种类。遍历序列,如果当前数字在map中不存在,则将种类数sum加一;如果sum大于k,则将l向右移动一位,直到sum不大于k。每次更新完r之后,判断i-l+1是否大于等于y-x+1来更新答案。这种方法的时间复杂度为O(n)。 以上是两种解决CodeForces - 616D问题的方法。具体的代码实现可以参考引用\[1\]和引用\[2\]中的代码。 #### 引用[.reference_title] - *1* [CodeForces 616 D. Longest k-Good Segment(尺取)](https://blog.csdn.net/V5ZSQ/article/details/50750827)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v91^koosearch_v1,239^v3^insert_chatgpt"}} ] [.reference_item] - *2* [Codeforces616 D. Longest k-Good Segment(双指针+map)](https://blog.csdn.net/weixin_44178736/article/details/114328999)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v91^koosearch_v1,239^v3^insert_chatgpt"}} ] [.reference_item] [ .reference_list ]
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值