CNTGRP - Editorial


Video Editorial

Setter: Sawarnik
Tester: Yash Chandnani
Editorialist: Ishmeet Singh Saggu




Combinatorics, Binary Exponentiation, Modular Inverse.


You have to make a graph with N vertices and M edges. The graph follows the condition :

  • For each vertex from i, where 2 \leq i \leq N, A_i is defined such that the shortest path between node 1 and i is A_i and there is no other path with the same length as the shortest path.


The first observation is that as there exists a path between node 1 and other nodes with length A_i so the graph is connected. So first let us consider N-1 edges and try to make all possible trees (connected graph with N nodes and N-1 edges is called a tree) following the condition specified in the problem.

Now note, if a node X has a path from node 1 of length A_X then it should be connected to a node with a node whose length from node 1 is A_x-1. (Using this condition you have to handle the test cases where there is no node which has the shortest path of length L and has nodes with length L+1 or L+2 or L+3 ... in that case the answer will be 0). So we will add nodes in the increasing order of length of the shortest path i.e. first we will compute the ways to add nodes with the length of the shortest path 1, then 2 then 3 … soon. You can compute the number of ways in the following manner.

  • There is only 1 node whose shortest path length is 0 which is the node 1 itself.
  • We will initialize our answer variable with 1 as there is only 1 way to put node 1.
  • Now suppose there are num_{L-1} nodes with shortest path length equal to L-1. Then the number of ways to add the node with shortest path length =L will be num_{L-1} as I can connect this node with any one of the num_{L-1} nodes(that's why you have to add nodes in increasing order of there shortest path length) and we will multiply num_{L-1} with our answer variable.
  • In this way you can compute the number way to add N-1 edges to the graph.

Now we will try to add remaining edges to the graph. You will note one thing that is the problem statement it is mentioned that shortest path between node 1 and node i is unique and all other paths are of greater length. If you rephrase this condition it means that you can only add the remaining edges only between nodes that have the same shortest path length.(Why? because suppose if you add an edge between nodes with shortest path length L and L+1 then the node which already has the shortest path with length L+1 will now have 2 shortest path which violates the uniqueness condition and if you add an edge between nodes of shortest path length L and L+x where x > 1, then the node with the shortest path of length L+x will have a new shorter path of length L+1, again violating the condition). Now to further compute the answer we will compute the number of ways to form a pair of nodes that are there such that both nodes of the pair has same length. This can be done by adding together N \choose 2(number of ways to choose 2 objects out of N objects) for all the lengths of the shortest path.

long long node_pairs = 0;
for(int i = 1; i <= N-1; i ++) {
	long long count = shortest_path_length[i].size();
	node_pairs += ((count * (count-1)) / 2);

Firstly let us handle the corner test case where number of pairs is less than the number of extra edges i.e. M-(N-1) > numOfPairs then the answer will be 0 as we can’t add multiple edges between same pair. Otherwise, the number of ways to add these M-(N-1) edges will be numOfPairs \choose M-(N-1). To compute its modulo you will need the knowledge of modular inverse. And we will multiply it with our answer variable to get the final answer. Now you might think that the magnitude of numOfPairs can be quite large and to compute its factorial will result in TLE. so it can be computed efficiently as

  • let quantity M-(N-1) = X
  • numOfPairs \choose M-(N-1) = \frac{numOfPairs!}{(numOfPairs-X)! * (X)!}
  • numOfPairs \choose M-(N-1) = \frac{numOfPairs!}{(numOfPairs-X)!} * \frac{1}{X!}
  • \frac{numOfPairs!}{(numOfPairs-X)!} = ((numOfPair-X+1) * (numOfPair-X+2) \dots * (numOfPairs)). It will have M-(N-1) number of terms which can be computed in timelimit.(don’t forget to do modulo when you are multiplying else will result in overflow).
  • \frac{1}{X!} % mod can be computed using modular inverse.


  • Time complexity per test case is O(N+M).


Setter's Solution
#include <bits/stdc++.h>
#define int long long
#define endl '\n'
using namespace std;
#define FOR(i, a, b) for (int i = (a); i <= (b); i++)
#define FORD(i, a, b) for (int i = (a); i >= (b); i--)
const int mod = 1e9 + 7;
const int mxn = 2e5;
int power (int a, int b)
    int res = 1;
    while (b > 0) {
        if (b & 1)
            res = res * a % mod;
        a = a * a % mod;
        b >>= 1;
    return res;
int ncr (int e, int m)
    int x = 1;
    FOR (i, 1, m) x = x*i % mod;
    x = power(x, mod - 2);
    FORD (i, e, e - m + 1) x = x*i % mod;
    return x;
signed main()
	int t;
	cin >> t;
	while (t--)
	    int n, m;
	    cin >> n >> m;
	    m -= n - 1;
	    int a[n + 1], freq[n] = {1};
	    FOR (i, 2, n) cin >> a[i], freq[a[i]]++;
	    int ans = 1;
	    FOR (i, 2, n) ans = ans * freq[a[i] - 1] % mod;
	    int edges = 0;
        FOR (i, 1, n - 1) edges += freq[i]*(freq[i] - 1)/2;
        if (edges < m) {cout << 0 << endl; continue;}
	    ans = ans * ncr(edges, m) % mod;
	    cout << ans << endl;
Tester's Solution
#include <bits/stdc++.h>
using namespace std;
void __print(int x) {cerr << x;}
void __print(long x) {cerr << x;}
void __print(long long x) {cerr << x;}
void __print(unsigned x) {cerr << x;}
void __print(unsigned long x) {cerr << x;}
void __print(unsigned long long x) {cerr << x;}
void __print(float x) {cerr << x;}
void __print(double x) {cerr << x;}
void __print(long double x) {cerr << x;}
void __print(char x) {cerr << '\'' << x << '\'';}
void __print(const char *x) {cerr << '\"' << x << '\"';}
void __print(const string &x) {cerr << '\"' << x << '\"';}
void __print(bool x) {cerr << (x ? "true" : "false");}
template<typename T, typename V>
void __print(const pair<T, V> &x) {cerr << '{'; __print(x.first); cerr << ','; __print(x.second); cerr << '}';}
template<typename T>
void __print(const T &x) {int f = 0; cerr << '{'; for (auto &i: x) cerr << (f++ ? "," : ""), __print(i); cerr << "}";}
void _print() {cerr << "]\n";}
template <typename T, typename... V>
void _print(T t, V... v) {__print(t); if (sizeof...(v)) cerr << ", "; _print(v...);}
#define debug(x...) cerr << "[" << #x << "] = ["; _print(x)
#define debug(x...)
#define rep(i, n)    for(int i = 0; i < (n); ++i)
#define repA(i, a, n)  for(int i = a; i <= (n); ++i)
#define repD(i, a, n)  for(int i = a; i >= (n); --i)
#define trav(a, x) for(auto& a : x)
#define all(x) x.begin(), x.end()
#define sz(x) (int)(x).size()
#define fill(a)  memset(a, 0, sizeof (a))
#define fst first
#define snd second
#define mp make_pair
#define pb push_back
typedef long double ld;
typedef long long ll;
typedef pair<int, int> pii;
typedef vector<int> vi;
long long readInt(long long l,long long r,char endd){
	long long x=0;
	int cnt=0;
	int fi=-1;
	bool is_neg=false;
		char g=getchar();
		if('0'<=g && g<='9'){
			assert(fi!=0 || cnt==1);
			assert(fi!=0 || is_neg==false);
			assert(!(cnt>19 || ( cnt==19 && fi>1) ));
		} else if(g==endd||g==EOF){
				x= -x;
			assert(l<=x && x<=r);
			return x;
		} else {
string readString(int l,int r,char endd){
	string ret="";
	int cnt=0;
		char g=getchar();
	assert(l<=cnt && cnt<=r);
	return ret;
long long readIntSp(long long l,long long r){
	return readInt(l,r,' ');
long long readIntLn(long long l,long long r){
	return readInt(l,r,'\n');
string readStringLn(int l,int r){
	return readString(l,r,'\n');
string readStringSp(int l,int r){
	return readString(l,r,' ');
ll inv[2000009];
const ll mod = 1000000007; // faster if const
void pre(){
		inv[i] = mod-(mod/i)*inv[mod%i]%mod;
ll sumn=0,summ=0;
ll modpow(ll a, ll e) {
		if (e == 0) return 1;
			ll x = modpow(a * a % mod, e >> 1);
				return e & 1 ? x * a % mod : x;
ll C(ll n,int r){
	if(n<0||r>n) return 0;
	ll ans = 1;
	return ans*inv[r]%mod;
void solve(){
	int n=readIntSp(2,1e5);
	int m=readIntLn(n-1,min(200000ll,1ll*n*(n-1)/2));
	vi cnt(n,0);
		int x = readIntSp(1,n-1);
		int x = readIntLn(1,n-1);
	int tot = 1;
	ll fns=1,z=0;
		z += 1ll*cnt[i]*(cnt[i]-1)/2;
		if(tot==n) break;
int main() {
	cin.sync_with_stdio(0); cin.tie(0);
	int n=readIntLn(1,1000);
	rep(i,n) solve();
	return 0;
Editorialist's Solution
#include <bits/stdc++.h>
using namespace std;

long long MOD = 1e9+7;

long long BinaryExponentiation(long long num, long long raise, long long modulo) {
	long long result = 1;
	while(raise > 0) {
		if(raise & 1) result = (result * num) % modulo;
		num = (num * num) % modulo;
		raise = (raise >> 1);
	return result;

void solveTestCase() {
	int N, M;
	cin >> N >> M;
	vector<vector<long long>> distance(N); // distance[i][j], represent a node which is at distance i from 1.
	distance[0].push_back(1); // as node 1 is at 0 distance from itself.
	for(int i = 2; i <= N; i ++) {
		int node_dist; // A[i]
		cin >> node_dist;
	bool pos = true;
	long long ans = 1;
	// first we will try to compute the number of ways to make the tree with the condition of A[i].
	for(int i = 1; i <= N-1; i ++) {
		if(distance[i].size()) {
			ans = (ans * BinaryExponentiation(distance[i-1].size(), distance[i].size(), MOD));
		if((distance[i].size()) && (!distance[i-1].size())) {
			// if there are some nodes at distance i and there are no node at distance i-1 which is not possible.
			pos = false;
		ans = (ans % MOD);
	if(!pos) {
		cout << 0 << endl;
	// Now note, for the remaining edges we can only add those only between nodes which have same distance from the node 1, to satisfy the condition in the question.
	long long node_pairs = 0;
	for(int i = 1; i <= N-1; i ++) {
		long long count = distance[i].size();
		node_pairs += ((count * (count-1)) / 2);

	// Computing nCr, where n = node_pairs and r = M-(N-1).
	if(M-(N-1)) {
		M -= (N-1);
		// We will compute the ways to choose remaining edges.
		if(node_pairs < M) {
			ans = 0;
		else {
			long long ways;
			long long num = 1, den = 1;
			for(long long i = node_pairs-M+1; i <= node_pairs; i ++) {
				num *= i;
				num %= MOD;
			for(long long i = 1; i <= M; i ++) {
				den *= i;
				den %= MOD;
			ways = num * BinaryExponentiation(den, MOD-2, MOD); // ways = num/den, where 1/den = BinaryExponentiation(den, MOD-2, MOD), inverse modulo.
			ways %= MOD;
			ans = (ans * ways) % MOD;
	cout << ans << '\n';

int main() {

	int testCase;
	cin >> testCase;
	for(int i = 1; i <= testCase; i ++) {

	return 0;

Video Editorial

Feel free to share your approach. In case of any doubt or anything is unclear please ask it in the comment section. Any suggestions are welcomed. :smile:


Please tell “” why this give me RE ? @ssjgz @psychik

1 Like
Compiling ssrivastava990-CNTGRP.cpp
+ g++ -std=c++14 ssrivastava990-CNTGRP.cpp -O3 -g3 -Wall -Wextra -Wconversion -DONLINE_JUDGE -D_GLIBCXX_DEBUG -fsanitize=undefined -ftrapv
ssrivastava990-CNTGRP.cpp: In function ‘void chandan1()’:
ssrivastava990-CNTGRP.cpp:95:21: warning: unused variable ‘y’ [-Wunused-variable]
 void chandan1(){int y=1;return;}
ssrivastava990-CNTGRP.cpp: In function ‘void chandan2()’:
ssrivastava990-CNTGRP.cpp:98:13: warning: unused variable ‘x’ [-Wunused-variable]
         lli x=1;
^[[A+ set +x
[~/devel/hackerrank/otherpeoples]>echo "3                 
4 3
1 2 1
4 6
1 2 1
3 2
2 2
" | ./a.out
ssrivastava990-CNTGRP.cpp:147:47: runtime error: index -1 out of bounds for type 'long long int [200005]'
ssrivastava990-CNTGRP.cpp:183:13: runtime error: index 2 out of bounds for type 'long long int [*]'
ssrivastava990-CNTGRP.cpp:189:49: runtime error: index 2 out of bounds for type 'long long int [*]'
ssrivastava990-CNTGRP.cpp:190:23: runtime error: index 2 out of bounds for type 'long long int [*]'
ssrivastava990-CNTGRP.cpp:191:32: runtime error: signed integer overflow: 140733508322550 * 140733508322549 cannot be represented in type 'long long int'
ssrivastava990-CNTGRP.cpp:161:73: runtime error: index 3487310682006916018 out of bounds for type 'long long int [200005]'
Segmentation fault (core dumped)

why when I m running on offline / online it give me RE then again run it give me answer :frowning_face:

1 Like

In the line lli combinations = nCr(total_possible , remain_edges);, the “total_possible” can reach O(N^2) hence going out of bound, I have mentioned it in the editorial above.

Consider the following exampe
(N−1) nodes with A_i ​= 1. where N = 1e5.

Means I have to find nCr using loops right ?


My biggest mistake in this question is I scanned “m” values in array , and forgot that only n-1 values scanned :sob:

1 Like

another question with similar concept:
C. Restore Graph

1 Like

Please tell me why i am getting wrong answer for subtask 2 task 1 Thanks.

Hi, could anyone please help me why I am getting WA on some subtasks