大致题意:
告诉你有一列长度为n的数列和m个关系式。每个关系式的表述为:
si ni “gt” c 或者是 si ni “lt” c。分别代表该数列第si项一直加到第si+ni项的和大于c,和第si项一直加到第si+ni项的和小于c。求是否存在满足以上m个要求的数列。是则输出“lamentable kingdom”,否则输出“successful conspiracy”。
大致思路:
把问题转化为差分约束。将差分约束系统中的点sum[i]设为这个数列前i项的和。当要求第si项一直加到第si+ni项的和大于c的时候,就等价于sum[si+ni]-sum[si-1]>c,又由于差分约束系统中只能出现<=关系且这里的数字都是整数,所以上式又可以转化为sum[i-1]-sum[i+n]<=-c-1。
对于“第si项一直加到第si+n项的和小于c”的要求,我们同样可以将其转化为sum[si+ni]-sum[si-1]<=c-1;
按照得到的式子构出差分约束系统,用spfa判断是否存在可行解即可。
详细代码:
#include<iostream>
#include<cmath>
#include<cstdio>
#include<cstring>
using namespace std;
const int nMax=1050;
const int mMax=1000050;
const int inf=1<<28;
struct{
int v, next;
int w;
}edge[mMax];
int n, k, head[nMax];
int dis[nMax],issea[nMax];
int stack[nMax],m,sum[nMax];
bool vis[nMax];
void addedge(int a,int b,int w){
edge[k].w = w;
edge[k].v=b;
edge[k].next=head[a];
head[a]=k;k++;
}
bool spfa(int s){
int i, top = 0;
memset(vis,0,sizeof(vis));
for(i=0;i<=n;i++)dis[i]=inf;
dis[s]=0;
stack[++top]=s;
vis[s]=true;
while(top){
// cout<<top<<endl;
int u=stack[top--];
for(i=head[u];i!=0;i=edge[i].next){
int v=edge[i].v;
if(dis[v]>dis[u]+edge[i].w){
dis[v]=dis[u]+edge[i].w;
if(!vis[v]){
vis[v]=true;
stack[++top] = v;
if(++sum[v]>n)return 0;
// cout<<v<<" "<<sum[v]<<endl;;
}
}
}
vis[u]=false;
}
return 1;
}
int main(){
int i,j,si,ni,c,s;
char str[10];
while(scanf("%d",&n)!=EOF&&n){
scanf("%d",&m);
k=1;
s=n+2; //s作为加入差分约束系统的“虚拟点”
memset(head,0,sizeof(head));
memset(sum,0,sizeof(sum));
for(i=1;i<=n;i++){
addedge(s,i,0);
}
while(m--){
scanf("%d%d%s%d",&si,&ni,str,&c);
if(str[0]=='g'){
addedge(si+ni,si-1,-c-1);
}
else{
addedge(si-1,si+ni,c-1);
}
}
if(spfa(s)){
printf("lamentable kingdom\n");
}
else{
printf("successful conspiracy\n");
}
}
return 0;
}
分享到:
相关推荐
- POJ 3373、POJ 1691:二分查找技术的应用。 ### 动态规划 #### 二维动态规划 - **题目示例**: - POJ 1191、POJ 1054:基于矩阵的状态转移方程。 - POJ 3280、POJ 2029:多维状态空间的探索。 #### 递归动态...
- **高级数据结构**:例如线段树、树状数组、差分约束系统等。 - **字符串算法**:包括后缀数组、AC自动机等。 - **组合优化**:涉及组合优化问题的求解方法。 - **数学建模**:学习如何将实际问题转化为数学模型...
《POJ2983-Is the Information Reliable:解析差分约束与优化Bellman算法》 北京大学在线编程平台上的POJ2983题目——"Is the Information Reliable",是一道涉及差分约束系统(Differential Constraint System)与...
【标题】"POJ2092:计数排序,求第K大的元素"是一个编程题目,主要涉及计数排序算法以及如何在数组中找出第K大的元素。计数排序是一种非基于比较的排序算法,它适用于整数排序,尤其在数据范围不大的情况下效率极高。...
* 差分约束系统的建立和求解:例如 poj1201、poj2983。 * 最小费用最大流:例如 poj2516、poj2516、poj2195。 * 双连通分量:例如 poj2942。 * 强连通分支及其缩点:例如 poj2186。 * 图的割边和割点:例如 poj...
- poj1201: 涉及差分约束系统的建立和求解。 ##### 2. 最小费用最大流 - **定义**: 最小费用最大流是在最大流的基础上考虑最小化总成本。 - **应用场景**: 常用于网络流问题、资源分配问题等。 - **示例题目**: -...
3. POJ3159【基础】和POJ3169【中等】:这两个题目可能涉及到更复杂的差分约束问题,如奶牛的排列问题,需要考虑不同奶牛之间的喜好和厌恶关系,转化为满足所有奶牛需求的距离约束,同样可以通过构建图和寻找最短...
- (poj1860, poj3259, poj1062, poj2253, poj1125, poj2240):介绍迪杰斯特拉算法(Dijkstra)、贝尔曼-福特算法(Bellman-Ford)、弗洛伊德算法(Floyd)等。 - 使用堆优化的迪杰斯特拉算法。 3. **最小生成树...
这是西北工业大学的POJ试题的答案,欢迎下载!
POJ 2703:选择出行方式 **题目概述**: 本题目旨在通过编程的方式解决一个实际问题——选择最佳出行方式(步行或骑自行车)。题目给出了一种算法来决定在不同条件下应该采取哪种出行方式。 **代码解析**: - **...
- 差分约束系统:如`poj1201, poj2983`。 - 最小费用最大流:如`poj2516, poj2195`。 - **数据结构** - 线段树:如`poj2528, poj2828`。 - RMQ(区间查询):如`poj3264, poj3368`。 - 并查集的高级应用:如`...
网上整理的一些poj刷题指南。 poj地址:http://poj.org
* 哈希表和二分查找等高效查找法:哈希表和二分查找等高效查找法是指解决问题的高效查找算法,如 poj3349、poj3274、POJ2151、poj1840、poj2002、poj2503。 * 哈夫曼树:哈夫曼树是指解决问题的哈夫曼树算法,如 poj...
1. "POJ1716-Integer Intervals【Difference Constraints】.cpp":这可能是基于差分约束系统理论的C++代码实现,它可能采用了动态规划或者线性规划的方法来解决问题。 2. "POJ1716-Integer Intervals【Greed】.cpp...
- **例题**:poj1860, poj3259, poj1062, poj2253, poj1125, poj2240 - **解释**:最短路径算法包括Dijkstra算法、Bellman-Ford算法、Floyd算法以及堆优化的Dijkstra算法等。 ##### (3) 最小生成树算法 - **例题**...
- **知识点**:差分约束系统,一种特殊类型的线性不等式系统,常用于优化问题。 #### 1236 *Network of Schools - 强连通 - **知识点**:强连通分量算法,如Kosaraju算法或Tarjan算法,用于找出图中的强连通分量。...
在初级阶段的基础上,中级阶段涵盖了更多复杂的数据结构和算法,如差分约束系统、最小费用最大流、双连通分量、强连通分支、最小割模型等,以及线段树、树状数组、RMQ查询等高级数据结构的应用。这些内容进一步深化...
该文档对poj大部分题目进行了分类,有利于喜欢在poj刷题的朋友
【标题】"poj.org算法题解集合"是关于在poj.org平台上解决的各种算法问题的集合,这个资源主要是为了帮助编程爱好者和学习者提升算法技能。poj.org是一个著名的在线编程竞赛平台,它提供了丰富的算法题目供用户实践...
- **哈希表和二分查找**:提高查找效率,如poj3349,用于快速定位元素。 - **哈夫曼树**:压缩编码,如poj3253。 - **堆**:如优先队列,用于实现最大值或最小值的快速访问。 - **trie树**:用于高效字符串查询...