P4343 [SHOI2015]自动刷题机

本文介绍了解决SHOI2015自动刷题机问题的方法,采用二分查找结合模拟的方式确定能使题目规定的操作次数等于k的最大值。通过两个检查函数分别确定目标值的上下界。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

P4343 [SHOI2015]自动刷题机

明显二分答案 

然后对于一个mid直接按照题意模拟一下    

如果cnt==k那么ans=x,只记录相等的答案

最后记得:-1只输出一个!

代码:

#include<bits/stdc++.h>
using namespace std;
const int N=100005; 
typedef long long ll;
int n,k;
ll a[N];
ll l,r,ans;
inline bool check1(ll x){
    int cnt=0;
    ll sum=0;
    for(int i=1;i<=n;i++){
        sum+=a[i];
        if(sum>=x){
            sum=0;
            cnt++;
        }
        if(sum<0) sum=0;
    }//gcout<<x<<" LL "<<cnt<<endl;
    //cout<<cnt<<" "<<x<<endl;
    if(cnt==k) ans=x;
    return cnt>=k?1:0;
}
inline bool check2(ll x){
    int cnt=0;
    ll sum=0;
    for(int i=1;i<=n;i++){
        sum+=a[i];
        if(sum>=x){
            sum=0;
            cnt++;
        }
        if(sum<0) sum=0;
    }
    if(cnt==k) ans=x;
    //cout<<cnt<<endl;
    return cnt<=k;
}
int main(){
    scanf("%d%d",&n,&k);
    for(int i=1;i<=n;i++){
        scanf("%lld",&a[i]);
    }
    l=1ll,r=2388780192198ll,ans=-1ll;
    
    while(l<=r){
        //cout<<l<<" "<<r<<endl;
        ll mid=(l+r)/2ll;
        if(check2(mid)) r=mid-1ll;
        else l=mid+1ll;
    }
    printf("%lld ",ans);
    if(ans==-1) return 0;
    l=1ll,r=2388780192198ll,ans=-1ll;
    while(l<=r){
        //cout<<l<<" "<<r<<endl;
        ll mid=(l+r)/2ll;
        if(check1(mid)) l=mid+1ll;
        else r=mid-1ll;
    }
    printf("%lld\n",ans);
    return 0;
} 

 

转载于:https://www.cnblogs.com/QYJ060604/p/11568181.html

定义:上下文无关文法是一种描述形式语言的数学模型,由四元组 G=(V,Σ,R,S) 构成。其中,V 是非终结符集合,Σ 是终结符集合,R 是产生式规则集合,S 是起始符号。 示例:在文档中,有 G(E) 和 G(S) 等上下文无关文法,用于描述表达式的结构。例如,G(E) 的定义如下: E→T∣E+T∣E−T T→F∣T∗F∣T/F F→(E)∣i 这里,E、T、F 是非终结符,而 +、−、∗、/、(、) 和 i 是终结符。该文法用于描述算术表达式的构造方式。 推导是根据文法规则从起始符号逐步生成句子的过程,分为两种类型: 最左推导:始终扩展当前最左边的未展开非终结符。 最右推导:始终扩展当前最右边的未展开非终结符。 例如,在 G(N) 的上下文无关文法中,数字串的最左推导过程可以表示为: N⇒ND⇒NDD⇒⋯⇒DDD⇒0DDD⇒01DD⇒012D⇒0127 语法树是通过图形方式展示字符串如何根据文法规则进行推导的结构。它清晰地反映了推导过程中的层次关系。例如,对于表达式 i+i∗i,其语法树可以直观地展示操作符和操作数之间的层次结构。 如果一个句子存在多个不同的语法树,即可以通过多种推导过程生成,那么这个文法就被认为是二义性的。例如,句子 iiiei 有两个可能的语法树,这表明该文法存在二义性。 在自动理论中,确定化是指将非确定有限自动(NFA)转换为确定有限自动(DFA),以确保每个状态在读取输入符号时只有一个确定的转移路径。最小化则是指去除 DFA 中的冗余状态,以获得更简洁的模型。文档中提供了 DFA 确定化和最小化的详细步骤示例。 正则表达式是一种用于匹配字符串模式的工具。文档中给出了许多正则表达式的例子,例如 (0∣1)∗01,用于匹配所有以“01”结尾的由 0 和 1 组成的字符串。正则表达式在文本处理和模式匹配中具有广泛应用。 综上所述,编译原理不仅涉
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值