P7032 [NWRRC2016]Boys and Girls
yzxoi
2022-11-13 (Updated: 2022-11-13)
题目链接：P7032
你有一个大小为 n 的环，环上的元素分别为 0/1 两种。
现已知有 A 个元素旁边存在 0（即与之相邻的两个元素中有至少一个为 0），有 B 个元素旁边存在 1（即与之相邻的两个元素中有至少一个为 1）。
要求构造一组可能的情况，或判断无解。
2\leq n\leq 10^5，0\leq A,B\leq n。
Tutorial
考虑一段长度为 x 的 0 对 A 的贡献为 x+2-[x=1]。
但这样会算重，比如 010，而算重的部分为长度为 1 的连续段数。
记 a 表示 0 的个数，m_i 表示 0 的第 i 个连续段长度，K_{0/1} 表示连段段为 0/1 且长度为 1 的个数。
。
同理，
两式相减，可得
两式相加，可得 K_0+K_1=a+2i-A。
于是暴力枚举 i，考虑解 K_0,K_1。
注意到 K_0 \in[ \max {a-2i,0},i-[i!=a]]，同理也可得 K_1 范围。
必要性得证。
容易证明在此范围内的解均可构造得到。
具体的，交替放 0/1 段，在前 K_0 段 0 之中放 0，之后除了最后一次放 00，最后一次全放，1 同理。
合法性显然，充分性得证。
O(N)。
原文地址：https://cloud.tencent.com/developer/article/2180517
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。