点此看题面

大致题意: 有\(N\)个小朋友,要求每个人都得到糖果,且每个人的糖果总数满足一定的关系式,请你求出至少共分给小朋友们多少糖果。

关系式的转换

首先,我们可以将题目中给定的式子进行转换:

  1. \(A=B\):这个式子可以拆成\(A≥B\)和\(B≥A\),再转换一下就变成了\(A-B≥0\)和\(B-A≥0\)
  2. \(A<B\):这个式子可以改写成\(A≤B-1\),再转换一下就变成了\(B-A≥1\)
  3. \(A≥B\):这个式子可以转换成\(A-B≥0\)
  4. \(A>B\):这个式子可以改写成\(A-1≥B\),再转换一下就变成了\(A-B≥1\)
  5. \(A≤B\):这个式子可以转换成\(B-A≥0\)

不难发现,这样就可以用差分约束系统来求解了。

差分约束+最长路

我们可以按照上面转换后的式子来建边,然后用\(SPFA\)跑一遍最长路即可。

要注意的是,题意中给出的关系可能会把小朋友们分成若干个联通块,因此,对于每一个联通块,我们都需要跑一遍最长路,最后答案就是\(\sum_{i=1}^n dis[i]\)。

代码

#include<bits/stdc++.h>
#define max(x,y) ((x)>(y)?(x):(y))
#define min(x,y) ((x)<(y)?(x):(y))
#define abs(x) ((x)<0?-(x):(x))
#define LL long long
#define ull unsigned long long
#define swap(x,y) (x^=y,y^=x,x^=y)
#define tc() (A==B&&(B=(A=ff)+fread(ff,1,100000,stdin),A==B)?EOF:*A++)
#define N 100000
#define M 100000
#define add(x,y,z) (e[++ee].to=y,e[ee].nxt=lnk[x],e[lnk[x]=ee].val=z)
char ff[100000],*A=ff,*B=ff;
using namespace std;
int n,m,limit,ee=0,lnk[N+5],Inqueue[N+5],vis[N+5];
LL dis[N+5];
struct edge
{
int to,nxt,val;
}e[2*M+5];
deque<int> q;
inline void read(int &x)
{
x=0;static char ch;
while(!isdigit(ch=tc()));
while(x=(x<<3)+(x<<1)+ch-48,isdigit(ch=tc()));
}
inline void write(LL x)
{
if(x>9) write(x/10);
putchar(x%10+'0');
}
inline bool SPFA(int x)//经典的SPFA求最长路
{
register int i,k;Inqueue[x]=vis[x]=1,q.push_front(x);
while(!q.empty())
{
for(Inqueue[k=q.front()]=0,q.pop_front(),i=lnk[k];i;i=e[i].nxt)
{
static int v;
if(dis[k]+e[i].val>dis[v=e[i].to])
{
dis[v]=dis[k]+e[i].val;
if(!Inqueue[v])
{
if((++vis[v])>=limit) return false;//如果访问次数超过了sqrt(n),就说明出现了环,返回false
if(q.empty()||dis[v]>dis[q.front()]) q.push_front(v);
else q.push_back(v);
Inqueue[v]=1;
}
}
}
}
return true;
}
int main()
{
register int i,op,x,y;
for(read(n),read(m),limit=sqrt(n),i=1;i<=m;++i)
{
read(op),read(x),read(y);
switch(op)
{
case 1:add(x,y,0),add(y,x,0);break;//第一种情况式子可转化为A-B≥0,B-A≥0,因此分别从A向B和从B向A建一条边权为0的有向边
case 2:add(x,y,1);break;//第二种情况式子可以转化为B-A≥1,因此从A向B建一条边权为1的有向边
case 3:add(y,x,0);break;//第三种情况式子可以转化为A-B≥0,因此从B向A建一条边权为0的有向边
case 4:add(y,x,1);break;//第四种情况式子可以转化为A-B≥1,因此从B向A建一条边权为1的有向边
case 5:add(x,y,0);break;//第五种情况式子可以转化为B-A≥0,因此从A向B建一条边权为0的有向边
}
}
for(i=1;i<=n;++i) dis[i]=1;//因为每个小朋友都要分到糖果,因此初始化dis[i]=1
for(i=1;i<=n;++i) if(!vis[i]&&!SPFA(i)) return puts("-1"),0;//对于每一个联通块都要跑一遍最长路,如果出现无限循环,就输出-1
register LL ans=0;
for(i=1;i<=n;++i) ans+=dis[i];//统计答案,求出Σdis[i]
return write(ans),0;
}

【洛谷3275】[SCOI2011] 糖果(差分约束系统入门题)的更多相关文章

  1. 洛谷P3275 [SCOI2011]糖果 [差分约束系统]

    题目传送门 糖果 题目描述 幼儿园里有N个小朋友,lxhgww老师现在想要给这些小朋友们分配糖果,要求每个小朋友都要分到糖果.但是小朋友们也有嫉妒心,总是会提出一些要求,比如小明不希望小红分到的糖果比 ...

  2. BZOJ2330或洛谷3275 [SCOI2011]糖果

    BZOJ原题链接 洛谷原题链接 很明显的差分约束,但数据范围较大,朴素\(SPFA\)判正环求解会\(T\)(理论上如此,但我看到有挺多人用朴素的还跑得挺快..),所以需要优化. 我们所建立的有向图中 ...

  3. 洛谷 3275 [SCOI2011]糖果

    题目戳这里 N句话题意 有N个人,k个限制,有五种限制 如果X=1, 表示第A个小朋友的糖果必须和第B个小朋友的糖果一样多: 如果X=2, 表示第A个小朋友的糖果必须少于第B个小朋友的糖果: 如果X= ...

  4. 洛谷P3275 [SCOI2011]糖果(差分约束)

    题目描述 幼儿园里有 $N$ 个小朋友,$lxhgww $老师现在想要给这些小朋友们分配糖果,要求每个小朋友都要分到糖果.但是小朋友们也有嫉妒心,总是会提出一些要求,比如小明不希望小红分到的糖果比他的 ...

  5. 洛谷——P3275 [SCOI2011]糖果

    P3275 [SCOI2011]糖果 差分约束模板题,基本思路就是$d[v]+w[v,u]<=d[u]$,$Spfa$更新方法, 有点套路的是要建立原点,即图中不存在的点来向每个点加边,但同样这 ...

  6. 洛谷P3275 [SCOI2011]糖果(差分约束,最长路,Tarjan,拓扑排序)

    洛谷题目传送门 差分约束模板题,等于双向连0边,小于等于单向连0边,小于单向连1边,我太蒻了,总喜欢正边权跑最长路...... 看遍了讨论版,我是真的不敢再入复杂度有点超级伪的SPFA的坑了 为了保证 ...

  7. BZOJ 2330: [SCOI2011]糖果 [差分约束系统] 【学习笔记】

    2330: [SCOI2011]糖果 Time Limit: 10 Sec  Memory Limit: 128 MBSubmit: 5395  Solved: 1750[Submit][Status ...

  8. bzoj2330: [SCOI2011]糖果 差分约束系统

    幼儿园里有N个小朋友,lxhgww老师现在想要给这些小朋友们分配糖果,要求每个小朋友都要分到糖果.但是小朋友们也有嫉妒心,总是会提出一些要求,比如小明不希望小红分到的糖果比他的多,于是在分配糖果的时候 ...

  9. 【bzoj2330】[SCOI2011]糖果 差分约束系统

    题目描述 幼儿园里有N个小朋友,lxhgww老师现在想要给这些小朋友们分配糖果,要求每个小朋友都要分到糖果.但是小朋友们也有嫉妒心,总是会提出一些要求,比如小明不希望小红分到的糖果比他的多,于是在分配 ...

随机推荐

  1. SAS笔记(3) LAG和DIFF函数

    在实际的应用中,我们会想查看当前观测的上一个观测值,在上一篇博客中我们使用了RETAIN语句来记录上一条观测,其实SAS还提供了一个很好用的函数LAG.当我们使用函数时,一定要明确该函数的返回值是什么 ...

  2. Oracle 12c登陆sys用户的方法

    本机安装过oracle 12c之后,发现用sql plus执行命令conn sys/change_on_install as sysdba; 提示如下图: 后在网上搜索此问题,需要先登陆system账 ...

  3. redhat Enterprise Linux 6 VNC安装

    redhat Enterprise Linux 6.2 beta VNC安装经验  VNC(Virtual Network Computing)是可操控远程的计算机的软件,任何人都可免费取得该软件,其 ...

  4. IO模式和IO多路复用详解

    网络编程里常听到阻塞IO.非阻塞IO.同步IO.异步IO等概念,总听别人装13不如自己下来钻研一下.不过,搞清楚这些概念之前,还得先回顾一些基础的概念. 1 基础知识回顾 注意:咱们下面说的都是Lin ...

  5. K8S上的ELK和应用日志上报实战

    来源:DevOps ID:Idevops168 本次实战的基础结构如下图所示: 一共有两个Pod:ELK和web应用: ELK的Pod会暴露两个服务,一个暴露logstash的5044端口,给file ...

  6. C语言中malloc函数的使用方法

    C语言中malloc是动态内存分配函数.函数原型:void *malloc(unsigned int num_bytes);参数:num_bytes 是无符号整型,用于表示分配的字节数.返回值:如果分 ...

  7. 谈缓存数据库在web开发中的重要性

    1.开局先抛出如下问题: ①当关系型数据库存放的数据量很大时,每次查询耗时明显变长,那么如何解决该问题? ②当业务要求单用户登录(即同一个账户有一个用户登录后,第二个用户再登录该账户要么挤出之前的登录 ...

  8. POJ2945 Find the Clones trie树

    建一颗$trie$树(当然你哈希也资瓷),边插边更新,看看搜到最底时有多少个字符串,然后更新. #include<cstdio> #include<iostream> #inc ...

  9. GUI的最终选择 Tkinter(四):Entry、Listbox、Scrollbar和Scale组件

    Entry组件 Entry组件就是平时所说的输入框.输入框是程序员用到的最多的一个程序,例如在输入账号和密码的时候需要提供两个输入框,用于接收密码的输入框还会有星号将实际输入的内容隐藏起来. Tkin ...

  10. python_sting字符串的方法及注释

    string类型是python内置的类型,无需安装   方法/属性 说明   capitalize()   把字符串的第一个字符改为大写   casefold()   把整个字符串的所有字符改为小写 ...