【玄关】如何严格证明
  • 板块学术版
  • 楼主AutumnQ
  • 当前回复11
  • 已保存回复13
  • 发布时间2024/6/5 21:50
  • 上次更新2024/6/6 12:55:34
查看原帖
【玄关】如何严格证明
1038710
AutumnQ楼主2024/6/5 21:50

最近教练发了一道题目,然后我已经发现std和数据有误,但是我不会严格证明,请大家帮下忙。

给定一个序列 aa ,设其长度为 nn ,其最长上升子序列长度为 mm.

如何证明 n−mn-m 不一定等于以下代码的输出结果?

(注:num为 aa 序列,n为长度)

#include<bits/stdc++.h>
using namespace std;
int n,ans,num[100100];
int main(){
	scanf("%d%d",&n,&num[0]);
	for(int i=1;i<n;i++){
		scanf("%d",&num[i]);
		if(num[i]<=num[i-1])ans++;
	}
	printf("%d",ans);
}
2024/6/5 21:50
加载中...