D. Circular Spanning Tree(思维 + 构造)

Problem - D - Codeforces

 有n个节点，按顺时针顺序排列成从1到n的圆。你也得到了一个长度为n的二进制字符串s。你的任务是在给定的n个节点上构造一棵树，满足以下两个条件，或者报告这样的树不存在:对于每个节点i (1 < i < n)，当s = 0时，节点的次为偶数，当s = 1时，节点的次为奇数。树的任何两条边都不能在圆内相交。这些边允许在圆周上相交。注意，所有的边都被画成直线段。例如，树中的边(u, u)在圆上被画成连接u和v的线段。有n个节点的树是有n-1条边的连通图。输入输入由多个测试用例组成。第一行包含一个整数t (1 < t < 2 - 104)——测试用例的数量。测试用例的描述如下。每个测试用例的第一行包含一个整数n (2 < n < 2-105)—节点的数量。每个测试用例的第二行包含一个长度为n的二进制字符串s。它保证所有测试用例的n和不超过2 - 105。输出对于每个测试用例，如果不存在满足给定条件的树，则输出“NO”(不带引号)，否则输出“YES”，后面跟着树的描述。您可以在任何情况下输出每个字母(例如，“YES”，“YES”，“YES”，“YES”，“YES”，“YES”将被识别为肯定答案)。如果存在树，则输出n-1行，每行包含两个整数u和v (1 < u, v n, u v)，表示树中u和v之间的一条边。如果有多个可能的答案，则输出any。例子

Example

input

Copy

3

4

0110

2

10

6

110110

output

Copy

YES
2 1
3 4
1 4
NO
YES
2 3
1 2
5 6
6 2
3 4

题解:
首先我们知道这是一棵树,结合树的定义,我们知道肯定会有叶子节点, 度数为1的点,

所以如果1的个数为0时不成立的,

其次由于树n - 1条边,每条边贡献两个度数,所以最终度数肯定时偶数

如果1的个数为奇数肯定也是不成立的

接下来我么想想如何构造

我么可以把所有1的位置记录下来,然后把位置一直向后连,直到连到下一个1前,然后把此时位置记录下来,这样我们就得到了一些形似10000...的链

接着我们取其中一条链的结尾作为根节点,其他链的结尾连接他,

由于有偶数个1,所以有偶数条链,这样是肯定成立的

#include<iostream>
#include<algorithm>
#include<string>
#include<cstring>
#include<vector>
#include<map>
#include<queue>
using namespace std;
#define int long long
const int N = 4e6 + 10;
typedef pair<int, int> PII;
void solve() 
{
	map<int,int> f;
	vector<int> last,p;
	vector<PII> ans;
	int n;
	cin >> n;
	string s;
	cin >> s;
	for(int i = 0;i < n;i++)
	{
		if(s[i] == '1')
		p.push_back(i),f[i] = 1;
	} 
	if(p.size() == 0||p.size() %2 == 1)
	{
		cout << "NO\n";
		return ;
	}
	cout <<"YES\n";
	for(auto u:p)
	{
		while(!f[(u+1)%n])
		{
			ans.push_back({u,(u+1)%n});
			u ++ ;
			u = u%n;
		}
		last.push_back(u);
	}
	for(int i = 1;i < last.size();i ++)
	{
		ans.push_back({last[0],last[i]});
	}
	for(auto p:ans)
	{
		cout <<p.first + 1<<" "<<p.second + 1<<"\n";
	}
}

signed main() 
{
//	ios::sync_with_stdio(0);
//	cin.tie(0);cout.tie(0);
	int t = 1;
	cin >> t;
//scanf("%lld",&t);
	while (t--) 
	{
		solve();
	}
}
//3 F
//5 B
//6 F
//9 F
//10 B
//12 F
//15 FB
//18 FB