CodeTON Round 1 (Div. 1 + Div. 2, Rated, Prizes)

XLS_233

已于 2022-03-31 21:17:42 修改

阅读量1.8k

点赞数 1

分类专栏： codeforces日常文章标签：算法

于 2022-03-25 14:01:50 首次发布

本文链接：https://blog.csdn.net/weixin_56898701/article/details/123729139

版权

codeforces日常专栏收录该内容

12 篇文章 0 订阅

订阅专栏

CF系列题解（本场实况异常精彩，可惜题主要早八，结束就睡了，t宝有点可惜，jls我滴超人！！！）

CodeTON Round 1 （Div. 1 + Div. 2, Rated, Prizes!）

题目

题目

A. Good Pairs

原题链接

A. Good Pairs

题意

输入格式
第一行包含一个整数 $t (1 \leq t \leq 3000)$ ，表示有t组测试数据。
每个测试数据第一行包含一个个整数 $n (1≤n≤10^5)$ 。
每个测试数据第二行包含 $n$ 个整数 $a_1,a_2,…,a_n (1≤a_i≤10^9)$ 表示给定的序列。
数组总长度不超过 $2⋅10^5$ 。

输出格式
输出任意一个好的数对。

输入样例：

输出样例：

2 3
1 2
1 1

题解

思路

由于可能存在多种情况，其他得构造方法也是可以的。

代码

#include <bits/stdc++.h>

// #define int long long

using namespace std;

typedef long long LL;

void solve()
{
    int n;
    cin >> n;

    vector<pair<int, int>> a(n);
    for (int i = 0; i < n; i ++ ) {
        int x;
        cin >> x;
        a[i] = {x, i};
    }

    sort(a.begin(), a.end());

    cout << a[0].second + 1 << " " << a[n - 1].second + 1 << "\n";
}

signed main()
{
    ios::sync_with_stdio(false);
    cin.tie(nullptr);

    int T;
    cin >> T;

    while (T -- ) {
        solve();
    }

    return 0;
}

B. Subtract Operation

原题链接

B. Subtract Operation

题意

给定序列 $a_1,a_2,…,a_n$ ，每次操作可以选择一个数 $a_t$ ，其他得数减去 $a_t$ ，问执行 $n - 1$ 次操作后能否得到给定数字 $k$ 。

输入格式
第一行包含一个整数 $t (1≤t≤10^4)$ ，表示有t组测试数据。
每个测试数据第一行包含两个整数 $n, k (2≤n≤2⋅10^5, 1≤k≤10^9)$ 。
每个测试数据第二行包含 $n$ 个整数 $a_1,a_2,…,a_n(−10^9≤a_i≤10^9)$ 表示给定的序列。
$n$ 的总和不会超过 $2⋅10^5$ 。

输出格式
若能得到 $k$ ，输出 YES ，否则输出 NO 。

输入样例：

输出样例：

YES
NO
YES
NO

题解

思路

直接讨论任意三个数 $a_i,a_j,a_k$ 的情况。假设我们先删除 $a_i$ ，序列变为 $a_j - a_i, a_k - a_i$ ，此时我们再删除 $a_j - a_i$ ，序列变为 $a_k - a_j$ ，我们发现最终剩余的数与你删除的过程无关，只与最后剩余的两个数的差有关，因此题目就变为了查找序列中是否存在一对 $a_i,a_j$ ，使得它们的差为 $k$ 。

直接枚举 $O(n^2)$ 显然不行，用 set 随便搞一搞即可。

代码

#include <bits/stdc++.h>

#define int long long

using namespace std;

typedef long long LL;

void solve()
{
    int n, k;
    cin >> n >> k;

    set<int> S;
    for (int i = 0; i < n; i ++ ) {
        int x;
        cin >> x;
        S.insert(x);
    }

    for (auto x : S) {
        if (S.count(x + k)) {
            cout << "YES\n";
            return;
        }
    }
    cout << "NO\n";
}

signed main()
{
    ios::sync_with_stdio(false);
    cin.tie(nullptr);

    int T;
    cin >> T;

    while (T -- ) {
        solve();
    }

    return 0;
}

C. Make Equal With Mod

原题链接

C. Make Equal With Mod

题意

给定一个长度为 $n$ 的数组，你可以选择一个数 $k$ ，将数组中每个 $a_i$ 变为 $a_i mod k$ ，可以进行若干次操作，问最终的序列是否相等。

输入格式
第一行包含一个整数 $t (1≤t≤10^4)$ ，表示有t组测试数据。
每个测试数据第一行包含一个整数 $n(1≤n≤2⋅10^5)$ ，表示序列长度。
每个测试数据第二行包含 $n$ 个整数 $a_1,a_2,…,a_n(−10^9≤a_i≤10^9)$ 表示给定的序列。
$n$ 的总和不会超过 $2⋅10^5$ 。

输出格式
若经过若干次操作序列相等，输出 YES ，否则输出 NO 。

输入样例：

输出样例：

YES
YES
NO
YES

题解

思路

分类讨论：

倘若原数组种没有 $1$ ，我们可以把所有数变为 $0$ ，即模上它自身。
倘若原数组中既有 $0$ ，又有 $1$ ，则无法满足若干次操作后数组各个元素相等。
接下来就是讨论变为 $1$ 的情况，也非常简单，倘若有连续的两个整数 $a_i, a_j$ ，无论如何操作，他们最终的模除结果都会差 $1$ ，因为每选取一个 $k$ 是需要对所有的数进行模除操作的。

代码写的有点丑。。。

代码

#include <bits/stdc++.h>

#define int long long

using namespace std;

typedef long long LL;

void solve()
{
    int n;
    cin >> n;

    set<int> S;
    int cnt0 = 0, cnt1 = 0; // 统计0和1的数量
    for (int i = 0; i < n; i ++ ) {
        int x;
        cin >> x;
        S.insert(x);
        if (x == 1) cnt1 ++ ;
        if (x == 0) cnt0 ++ ;
    }

    if (cnt1 == 0) { // 第一种情况
        cout << "YES\n";
    } else if (cnt1 && cnt0) { // 第二种情况
        cout << "NO\n";
    } else { // 第三种情况
        for (auto x : S) {
            if (S.count(x + 1)) { // 判断是否有连续的两个数，这里采用了set判断
                cout << "NO\n";
                return; // 及时return
            }
        }
        cout << "YES\n";
    }
}

signed main()
{
    ios::sync_with_stdio(false);
    cin.tie(nullptr);

    int T;
    cin >> T;

    while (T -- ) {
        solve();
    }

    return 0;
}

D. K-good

原题链接

D. K-good

题意

给定一个整数 $n$ ，问 $n$ 能否分成 $k (k \geq 2)$ 个数的和并且这 $k$ 个数模 $k$ 的余数两两不同。

输入格式
第一行包含一个整数 $t (1≤t≤10^5)$ ，表示有t组测试数据。
每组测试数据包含一个整数 $n (2≤n≤10^{18})$ 。

输出格式
输出 $k$ ，若无法分解，输出 $- 1$ 。

输入样例：

输出样例：

题解

思路

根据题意我们可得： $\equiv 0$ ( $m o d$ $k$ ) 。

当 $k$ 为奇数时， $k$ 为 $n$ 的因子。
当 $k$ 为偶数时， $k / 2$ 为 $n$ 的因子。

不妨将 $n$ 分解为 $2^x ×t$ ， $t$ 为奇数。

奇数因子为 $t$ ，即 $k = t$ 。
偶数因子为 $2^x$ ，即 $k/2=2^x$ 。

同时要满足 $n - k (k - 1) / 2 \geq 0$ ，因此 $k$ 我们可以取的尽可能小，而且由于 $k \geq 2$ ，所以当 $t = 1$ 时 $k$ 只能取 $2^x$ 且此时的 $2^x=n$ ，不满足我们的不等式，因此无解。

剩下的我们由于需要满足上述不等式，因此取 $min(t, 2^{x+1})$ 即可（严格证明回头补一下，目前还没有太清楚，感觉可以就写了哈哈哈）。

代码

#include <bits/stdc++.h>

#define int long long

using namespace std;

typedef long long LL;

void solve()
{
    int n;
    cin >> n;

    int k = 1;
    while (n % 2 == 0) {
        n /= 2;
        k *= 2;
    }

    if (n == 1) {
        cout << "-1\n";
    } else {
        cout << min(n, k * 2) << "\n";
    }
}

signed main()
{
    ios::sync_with_stdio(false);
    cin.tie(nullptr);

    int T;
    cin >> T;

    while (T -- ) {
        solve();
    }

    return 0;
}

E. Equal Tree Sums

原题链接

E. Equal Tree Sums

题意

给出一棵树，请为每个结点赋点权，使得对于任意的 $i$ ，删去点 $i$ 后，树分为若干连通块，每个连通块的点权和相等。

输入格式
第一行包含一个整数 $t (1≤t≤10^4)$ ，表示有t组测试数据。
每个测试数据第一行包含一个个整数 $n (3≤n≤10^5)$ ，表示节点个数。
接下来 $n - 1$ 行每行包含 $2$ 个整数 $u, v (1 \leq u, v \leq n)$ 表示一条边。
$n$ 的总和不超过 $10^5$ 。

输出格式
每个测试用例输出 $n$ 个整数 $a_1,a_2,…,a_n(−10^5≤a_i≤10^5,a_i≠0)$ 表示节点的权值。

保证一定有解。

输入样例：

输出样例：

-3 5 1 2 2
1 1 1

题解

思路

直接上结论：
把所有点按层数染色为黑色和红色，若为红色，每个节点的权值为其的度数，若为红色，若为黑色，每个节点的权值为其度数的相反数（太神仙了这个构造）。

证明：
由于是按层进行染色，所以一个红色节点一定连接一个黑色节点，即红色节点的度数和 $d_r$ 等于黑色节点的度数和 $d_b$ ，而红色节点的权值和为其度数和 $d_r$ ，黑色节点的权值和为其度数和的相反数 $d_b$ ，因此整棵树的权值为 $0$ 。

接下来考虑任意一棵子树的情况：
在这里插入图片描述
其实红色和黑色只用讨论一种即可（我们这边讨论左边的情况）。

倘若不存在蓝色边，那么左边黑色子树所有节点的权值为 $0$ （已证），那么当加上蓝色边后，由于黑色子树连接的节点为红色，因此黑色子树的根节点应该为黑色，由于加上蓝色边只使得黑色子树的根节点度数加一，因此仅会影响黑色子树根节点的权值，对于黑色子树的其他节点没有影响，所以黑色子树的节点的权值和为 $0 + (- 1) = - 1$ ，同理右边情况红色子树节点权值和为 $1$ 。

当去掉一个节点时，由于该节点的颜色是确定的，因此与其连接的节点的颜色也是确定的（若去掉的节点为红色，则所有与之相连的节点为黑色，反之亦然），因此与其连接的子树的权值和是确定的，要么为 $1$ ，要么为 $- 1$ ，所以去掉该节点后剩下的连通块（即子树）的权值即为确定的。

当然不想看证明的模拟一下就行了，而且真实比赛时也不可能想到这种证明的。
下面放上样例的模拟（绿色为权值）：
在这里插入图片描述

代码

#include <bits/stdc++.h>

// #define int long long

using namespace std;

constexpr int P = 998244353;
using i64 = long long;

void solve()
{
	int n;
	cin >> n;

	vector<vector<int>> a(n);
	vector<int> d(n);

	for (int i = 0; i < n - 1; i ++ ) {
		int u, v;
		cin >> u >> v;
		u -- ;
		v -- ;
		d[u] ++ ;
		d[v] ++ ;
		a[u].push_back(v);
		a[v].push_back(u);
	}

	vector<int> ans(n);
	
	// u为当前遍历节点，fa为u的父亲，主要是防止往回搜，t为节点类型，方便赋权值
	function<void(int, int, int)> dfs = [&](int u, int fa, int t) {
		ans[u] = t * d[u]; // 权值由度数和颜色决定
		for (int i = 0; i < (int)a[u].size(); i ++ ) {
			int v = a[u][i];
			if (v == fa) continue;
			dfs(v, u, -t);
		}
	};
	dfs(0, -1, 1);

	for (int i = 0; i < n; i ++ ) cout << ans[i] << " ";
	cout << "\n";
}

signed main()
{
	ios::sync_with_stdio(false);
	cin.tie(nullptr);

	int T;
	cin >> T;

	while (T -- ) {
		solve();
	}

	return 0;
}

XLS_233

关注

1
点赞
踩
1

收藏

觉得还不错? 一键收藏
9
评论
CodeTON Round 1 (Div. 1 + Div. 2, Rated, Prizes)

CF系列题解（本场实况异常精彩，可惜题主要早八，结束就睡了，t宝有点可惜，jls我滴超人！！！）CodeTON Round 1 （Div. 1 + Div. 2, Rated, Prizes!）题目A. Good Pairs原题链接题意题解思路代码B. Subtract Operation原题链接题意题解思路代码C. Make Equal With Mod原题链接题意题解思路代码D. K-good原题链接题意题解思路代码题目A. Good Pairs原题链接A. Good Pairs题意.
复制链接

扫一扫