abc152F - Tree and Constraints

news/发布时间2024/4/20 21:29:09

abc152F - Tree and Constraints

题意:给定一棵树,要求对每条边染成黑色或者白色,其中有m个限制,第i个限制形如ai,bi,表示ai到bi的路径上至少有一条黑色边,求方案数。

看到数据第一反应是状压,但是好像没办法搞。
于是考虑容斥,能想到容斥的话就差不多做完了,每次标记一下两个点和他们的lca即可,然后从底向上累加标记即可。

#include<cstdio>
#include<algorithm>
#include<iostream>
#include<cstring>
#include<map>
#include<queue>
#include<bitset>
#include<cmath>
#include<set>
#include<unordered_map>
#define fo(i,a,b) for (ll (i)=(a);(i)<=(b);(i)++)
#define fd(i,b,a) for (ll (i)=(b);(i)>=(a);(i)--)
#define mk(x,y) make_pair((x),(y))
#define lc (o<<1)
#define rc ((o<<1)|1)
//#define A puts("Yes")
//#define B puts("No")
using namespace std;
typedef double db;
typedef long long ll;
//typedef __int128 i128;
const int N=2e5+5;
const int S=1<<15;
const ll inf=1ll<<60;
int to[N*2],nex[N*2],head[N],tot=1,n,x,y;
int a[N*2],b[N*2],m,d[N],f[N],c[N],e[N];
ll p[N],ans;
bool bz[200];
void add(int x,int y){to[++tot]=y; nex[tot]=head[x]; head[x]=tot;
}
void dg(int x,int y){for (int i=head[x];i;i=nex[i]) {int v=to[i];if (v==y) continue;f[v]=x;d[v]=d[x]+1;dg(v,x);}
}
int work(int x,int y){if (d[x]<d[y]) swap(x,y);while (d[x]>d[y]) x=f[x];while (x^y) x=f[x], y=f[y];return x;
}
int calc(int x,int y){ll s=0,z;for (int i=head[x];i;i=nex[i]) {int v=to[i];if (v==y) continue;z=calc(v,x);if (z>0) {bz[i]=bz[i^1]=1;}s+=z;}return s+e[x];
}
void dfs(int x,ll f){if (x>m) {fo(i,2,tot) bz[i]=0;calc(1,0);ll k=0;for (int i=2;i<=tot;i+=2) {if (!bz[i]) k++;}ans+=p[k]*f;return;}e[a[x]]++;e[b[x]]++;e[c[x]]-=2;dfs(x+1, -f);e[a[x]]--;e[b[x]]--;e[c[x]]+=2;dfs(x+1, f);
}
int main()
{
//	freopen("data.in","r",stdin);
//	freopen("data.out","w",stdout);p[0]=1;fo(i,1,60) p[i]=p[i-1]*2ll;scanf("%d",&n);fo(i,1,n-1) {scanf("%d %d",&x,&y);add(x,y);add(y,x);}dg(1,0);scanf("%d",&m);fo(i,1,m) {scanf("%d %d",&a[i],&b[i]);c[i]=work(a[i],b[i]);
//		printf("%d\n",c[i]);}dfs(1,1);printf("%lld",ans);return 0;
}

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.jwkm.cn/p/72506565.html

如若内容造成侵权/违法违规/事实不符,请联系宁远站长网进行投诉反馈email:xxxxxxxx@qq.com,一经查实,立即删除!

相关文章

读元宇宙改变一切笔记14_读后总结与感想兼导读

读后总结与感想兼导读1. 基本信息 元宇宙改变一切 The Metaverse And How It Will Revolutionize Everything [加拿大] 马修鲍尔 (Matthew Ball)著 浙江教育出版社,2022年9月出版 1.1. 读薄率 书籍总字数375千字,笔记总字数47035字。 读薄率47035375000≈12.54% 1.2. 读厚方…

Docker基于Dockerfile多级构建,实现缩小镜像体积

Docker基于Dockerfile多级构建,实现缩小镜像体积基于上次的nginx的Dockerfile做多级构建 FROM centos:7 as build #基于centos7镜像 MAINTAINER this is nginx of LNMP on centos by yr 2024-01-27 #注释信息 ADD nginx-1.24.0.tar.gz /opt/ #将nginx安装包传输到镜像中 RUN …

20.使用python GUI绘制一个桌面应用,多选内容,有提交按钮和清空按钮

使用python GUI绘制一个桌面应用,多选内容,有提交按钮和清空按钮1 import tkinter as tk2 3 def show_hobby():4 selected_hobbies = []5 for hobby, var in hobbies_vars.items():6 if var.get():7 selected_hobbies.append(hobby)8 result…

1月27日 实验五 二部分

跟着网上的操作和教程 完成了第二题第三个好像要用到mysql数据库 但我的虚拟机还没有配置好 看来又是一个大工程 那就明天再来咯

布隆过滤器和寻找嫌疑人

布隆过滤器,听过也学过,实际中没怎么用到,时间长了再接触这个概念就陌生了,说到底还是没有彻底掌握。为了真正理解一项技术或一个概念,最好还是从问题出发,所以布隆过滤器到底解决了什么问题呢?布隆过滤器可以用来检测一个元素是否属于某个集合。上面的定义比较抽象,下…

2024.1.27寒假每日总结18

算法题:2861. 最大合金数 - 力扣(LeetCode) git学习 Git是一款免费、开源的分布式版本控制系统,用于敏捷高效地处理任何或小或大的项目。 Git是一个开源的分布式版本控制系统,可以有效、高速的处理从很小到非常大的项目版本管理。Git 是 Linus Torvalds 为了帮助管理 Linu…