\(\mathcal{Description}\)

  Link.

  求含有 \(n\) 个结点的所有有标号简单无向图中,最小点覆盖为 \(m\) 的图的数量的奇偶性。\(T\) 组数据。

  \(n,m\le3\times10^3\),\(T\le5\times10^3\)。

\(\mathcal{Solution}\)

  太神了叭!

  总不能硬刚 NPC,我们必须牢牢把握“奇偶性”带来的便利:若存在某种规则将一类图两两配对,则我们可以忽略这些图而不影响答案。顺便做一步转化,最小点覆盖 = \(n\) - 最大独立集 = 补图的最大团,我们直接限制最大团的大小也能达到目标而更便于后续计算。

  以下均在补图上考虑问题。从配对入手,令 \(S_u\) 为点 \(u\) (在某个具体的补图上)的邻接点集,任取两点,不妨取结点 \(1\) 和结点 \(2\),讨论:

  • \(S_1\setminus\{2\}\not=S_2\setminus\{1\}\):交换结点 \(1,2\) 的标号得到新图,它与原图不同且最大团必然相等,构成配对,不考虑。

  • \(S_1\setminus\{2\}=S_2\setminus\{1\}\)

    在此,引入“缩点”操作,每个结点代表着邻接点集相同的结点构成的团。

    • \((1,2)\in E\):这意味这两团等大且互相连边构成大团,\(1\) 和 \(2\) 可以看做一个大小增大一倍的团;
    • \((1,2)\not\in E\):类似地,两团最多有一个是全局最大团的子集,所以 \(1\) 和 \(2\) 可以看做一个大小不变的团。

那么,任何一个时刻的图上不会存在等大的团,且每个团的大小为 \(2\) 的整幂,这样的图只有 \(\mathcal O(n)\) 个,利用一个 \(i\in[1,n]\) 的二进制表示就能描述整个图。自然地,令 \(f(n,i)\) 表示(全局)一共有 \(n\) 个结点,图的状态为 \(i\) 时方案的奇偶性。考虑增加一个新点并与若干团合并,类似于考虑 \(i+1\) 在二进制下的进位,可以轻松得到转移。

  不过,我们最终的问题与图的状态无直接关联,我们需要对于一个状态 \(t\),再求出由它得到最大团为 \(m\) 的方案的奇偶性。不妨令状态 \(t\) 中团的大小由大到小依次为 \(s_1,s_2,\cdots,s_k\),研究最大团的构成:

  • 存在 \(1<i<j\le k\),\(s_i,s_j\) 均不包含于最大团中。由“团的大小是 \(2\) 的整幂”,可见 \(s_i+s_j\) 必然小于最大团大小,那么 \(s_i\) 与 \(s_j\) 之间的边有连或不连两种方案,\(\times 2\)!这样的方案全部忽略掉!
  • 有且仅有 \(1<i<k\),\(s_i\) 不包含于最大团中。不论 \(i\) 与 \(j\in[1,i)\) 的团连边情况如何,\(i\) 与 \(j\in(i,k]\) 的连边情况不可能推翻钦定的最大团大小,所以会有 \(\times2^{k-i}\),这样的方案也毫无作用!
  • 最后,仅剩下两种可能——所有 \(s\) 一起构成最大团;仅有最小的 \(s\) 不属于最大团。设总点数 \(n'\),它们分别对大小 \(n'\) 和 \(n'-\operatorname{lowbit}(n')\) 的最大团产生 \(1\) 的贡献。

  最后,枚举 \(f(n,i)\) 中的图状态 \(i\),乘上对应状态下最大团大小恰好为 \(n-m\)(第一步转化带来的改动)的方案,可以做到 \(\mathcal O(n^2+Tn)\) 解决本题。考虑到满足最大团大小条件的方案很少,可以进一步优化,做到 \(\mathcal O(n^2+T)\)。只不过兔子咕啦。

\(\mathcal{Code}\)

/*~Rainybunny~*/

#include <cstdio>

#define rep( i, l, r ) for ( int i = l, rep##i = r; i <= rep##i; ++i )
#define per( i, r, l ) for ( int i = r, per##i = l; i >= per##i; --i ) const int MAXN = 3000;
bool f[MAXN + 5][MAXN + 5], g[MAXN + 5][MAXN + 5]; inline void init() {
f[1][1] = 1;
rep ( i, 1, MAXN - 1 ) rep ( j, 1, i ) {
int rs = j, nw = 1;
if ( !f[i][j] ) continue;
for ( ; rs & nw; rs ^= nw, nw <<= 1 ) f[i + 1][rs] ^= 1;
f[i + 1][rs | nw] ^= 1;
} rep ( i, 1, MAXN ) {
g[i][i] = 1;
if ( i & ( i - 1 ) ) g[i][i ^ ( i & -i )] = 1;
}
} inline bool solve( const int n, const int m ) {
bool ret = 0;
rep ( i, 1, n ) ret ^= f[n][i] & g[i][m];
return ret;
} int main() {
freopen( "cover.in", "r", stdin );
freopen( "cover.out", "w", stdout ); init();
int T, n, m; scanf( "%d", &T );
while ( T-- ) {
scanf( "%d %d", &n, &m );
puts( m < n && solve( n, n - m ) ? "1" : "0" );
}
return 0;
}

Solution -「多校联训」最小点覆盖的更多相关文章

  1. Solution -「多校联训」I Love Random

    \(\mathcal{Description}\)   给定排列 \(\{p_n\}\),可以在其上进行若干次操作,每次选取 \([l,r]\),把其中所有元素变为原区间最小值,求能够得到的所有不同序 ...

  2. Solution -「多校联训」签到题

    \(\mathcal{Description}\)   Link.   给定二分图 \(G=(X\cup Y,E)\),求对于边的一个染色 \(f:E\rightarrow\{1,2,\dots,c\ ...

  3. Solution -「多校联训」古老的序列问题

    \(\mathcal{Description}\)   Link.   给定序列 \(\{a_n\}\),和 \(q\) 次形如 \([L,R]\) 的询问,每次回答 \[\sum_{[l,r]\su ...

  4. Solution -「多校联训」数学考试

    \(\mathcal{Description}\)   Link.   给定 \(n\) 个函数,第 \(i\) 个有 \(f_i(x)=a_ix^3+b_ix^2+cx_i+d~(x\in[l_i, ...

  5. Solution -「多校联训」最大面积

    \(\mathcal{Description}\)   Link.   平面上有 \(n\) 个点 \(A_{1..n}\),\(q\) 次询问,每次给出点 \(P\),求 \[\max_{1\le ...

  6. Solution -「多校联训」战神归来

    \(\mathcal{Description}\)   Link.   一条地铁线路上共 \(m\) 个站点,\(n\) 个人乘坐地铁,第 \(i\) 个人需要从 \(s_i\) 站坐到 \(e_i\ ...

  7. Solution -「多校联训」排水系统

    \(\mathcal{Description}\)   Link.   在 NOIP 2020 A 的基础上,每条边赋权值 \(a_i\),随机恰好一条边断掉,第 \(i\) 条段的概率正比于 \(a ...

  8. Solution -「多校联训」朝鲜时蔬

    \(\mathcal{Description}\)   Link.   破案了,朝鲜时蔬 = 超现实树!(指写得像那什么一样的题面.   对于整数集 \(X\),定义其 好子集 为满足 \(Y\sub ...

  9. Solution -「多校联训」消失的运算符

    \(\mathcal{Description}\)   Link.   给定长度为 \(n\) 的合法表达式序列 \(s\),其中数字仅有一位正数,运算符仅有 - 作为占位.求将其中恰好 \(k\) ...

随机推荐

  1. 细谈 == 和 equals 的具体区别 【包括equals源码分析】

    1.前言 昨天舍友去面试,被面试官的问题难住了:俩个学生类除了学生姓名不同用.equal来比较. 我是一脸懵逼的 ,问题说的很模糊 , 理解字面意思为 :一个 实体类名叫Student ,内部属性有学 ...

  2. MySQL提权之udf提权(无webshell的情况)

    0x00 介绍 本篇我们来讲无webshell时利用udf进行提权 0x01 前提 1. 必须是root权限(主要是得创建和抛弃自定义函数) 2. secure_file_priv=(未写路径) 3. ...

  3. xxe-lab学习

    0x00 前言 xxe-lab是一个一个包含php,java,python,C#等各种语言版本的XXE漏洞Demo这里附上下载链接https://github.com/c0ny1/xxe-lab我们用 ...

  4. 校招——面试(Android岗)总结

    PS:持续更新,未完待续 2016.8.24某为面试 自我介绍一下 链表和数组的区别 数组的存储空间是静态.连续分布的,初始化过大会造成空间浪费,过小会使空间溢出:链表的存储空间是动态分布的,只要内存 ...

  5. 【小实验】rust的数组是在堆上分配还是在栈上分配的呢?

    先看代码: fn main(){ let v = [1,2,3,4,5]; let addr = &v[0] as *const i32 as usize; println!("ar ...

  6. 【Kafka】基于Windows环境的Kafka有关环境(scala+zookeeper+kafka+可视化工具)搭建、以及使用.NET环境开发的案例代码与演示

    前言:基于Windows系统下的Kafka环境搭建:以及使用.NET 6环境进行开发简单的生产者与消费者的演示. 一.环境部署 Kafka是使用Java语言和Scala语言开发的,所以需要有对应的Ja ...

  7. golang中的map

    1. 声明与初始化 // map的声明与初始化 userInfo := map[string]string{"name": "马亚南", "age&q ...

  8. GoLang设计模式20 - 组合模式

    定义 组合模式是一种结构型设计模式. 当我们想把一组对象当做一个整体来处理时就可以考虑使用组合模式. 组合模式被视为是接口型设计模式是因为它将一组对象组装为一个树状结构.这个树状结构中的每个独立组件都 ...

  9. 不难懂————Promise对象 + 详解

    1.Promise 的含义 Promise 是异步编程的一种解决方案,比传统的解决方案--回调函数和事件--更合理和更强大.它由社区最早提出和实现,ES6 将其写进了语言标准,统一了用法,原生提供了P ...

  10. 带你十天轻松搞定 Go 微服务系列(三)

    序言 我们通过一个系列文章跟大家详细展示一个 go-zero 微服务示例,整个系列分十篇文章,目录结构如下: 环境搭建 服务拆分 用户服务(本文) 产品服务 订单服务 支付服务 RPC 服务 Auth ...