EXPTREE - Editorial

PROBLEM LINK:

Practice
Contest

Author: Aleksandr Kulkov
Primary Tester: Misha Chorniy
Editorialist: Hussain Kara Fallah

DIFFICULTY:

Medium

PREREQUISITES:

Combinatorics,Math,Number Theory

PROBLEM:

Consider an ordered tree with N vertices. Your task is to calculate the expected value of the number of vertices having exactly one child in such tree assuming that it is uniformly chosen from the set of all ordered trees of size N.

Consider the answer to be a proper fraction P/Q, where gcd(P, Q) = 1. Then your task is to output two integers PQ-1 mod 109+7 and PQ-1 mod 109+9

EXPLANATION:

OBSERVATION 1:

The number of ordered trees consisting of n nodes is equal to the (n-1)th catalan number. Imagine the Depth-First-Search order of the nodes of the trees, entering each node corresponds to an open bracket ( , and finishing each node corresponds to a closed bracket ) . So if we represented the DFS order of a tree it will form a simple balanced bracket sequence.

Two different ordered trees must have different bracket representations. So we can say that the number of ordered trees consisting of n nodes is equal to the number of balanced bracket sequences consisting of (n-1) pairs of brackets. (n-1) because our tree is connected so we must fix the root (the first and the last bracket in the expression). If the subexpression (the expression excluding the first and last bracket) is balanced, that guarantees that we will never exit the root before the last bracket and our tree is connected.

It’s well known that the number of balanced bracket sequences of n pairs of brackets is equal to the nth catalan number.

C_n = \frac{(2n)!}{(n+1)!n!}

Before reading the next observation you should be familiar with Linearity Of Expectation.

OBSERVATION 2:

Let’s consider all different (n-1) ordered trees, and think about applying this operation. Choosing an arbitrary node of a tree and linking it to a single child (nth node) and removing all edges between our chosen node and its children, then linking them to our new node. So our new node would serve as a single child of the chosen one.

A node having one child in a tree is equivalent to a pair of brackets, with a balanced expression between them and surrounded by a pair of brackets.

Observe that each node in a tree consisting of n nodes and having only one child can be formed by applying this operation to only one tree of (n-1) nodes. It’s exactly the same as choosing an opened bracket and its corresponding closing bracket in a simple balanced bracket sequence framing the subexpression between by a pair of brackets (our new node).

Thus our nominator P would be

P = ( number of trees of n-1 nodes * (n-1) )

We multiplied by n-1 which denotes the number of ways to choose the vertex we decided to apply this operation on.

Q = ( number of trees of n nodes )

answer = \frac{C_{n-2} * (n-1)}{C_{n-1}}

According to the catalan number formula we wrote above, this can be reduced to:

answer = \frac{n * (n-1)}{4n-6}

This fraction can be reduced easily by calculating GCDs between the denominator and the nominator terms. We can calculate PQ-1 after calculating the modular inverse of Q considering each modulo.

Note:

It’s true that this solution is given without a formal proof. But the idea is quite simple and correct. Actually its correctness can be proved by intuition. In real life contests you won’t have the internet to read formal proofs and papers or search for formulas for a sequence. This solution is not hard to get from scratch and worths trying.

AUTHOR’S AND TESTER’S SOLUTIONS:

AUTHOR’s solution: Will be found here
TESTER’s solution: Will be found here
EDITORIALIST’s solution: Will be found here

5 Likes

We don’t need to cancel gcd, just taking P and Q modulo 10^9+7 and 10^9+9 is enough.

3 Likes

Observe that each node in a tree consisting of n nodes and having only one child can be formed by applying this operation to only one tree of (n-1) nodes.

Why is this true?

1 Like

I don’t know why they gave that Proper fraction part. Even if you just solve it simply by taking Q^-1 and multiply it by P we get correct ans.

"P = ( number of trees of n-1 nodes * (n-1) )

We multiplied by n-1 which denotes the number of ways to choose the vertex we decided to apply this operation on."

I don’t understand how the editorial got to this part.

1 Like

A good and comprehensive paper on the same http://www.cs.tau.ac.il/~nachumd/papers/Enumerations.pdf

5 Likes

i am not able to understand multiplicative inverse part

How 6/5 is 400000004 and 200000003??

Total number of ordered trees(denominator) for n-node is (n-1)th catalan number. And the numerator is (n-2)th middle number in pascal triangle or central binomial co-efficient.
Formula for central binomial co-efficient

Now answer is n(n-1)/4n-6 (simplification).
Now for dealing large numbers like 10^18 numerator will overflow so, I calculated it in two parts. Numerator1 = n, Numerator2=(n-1).

Now final numerator =( Numerator1/gcd(num1,denominator) * Numerator2/gcd(num2,denomenator) )

Final denominator is min(denominator/gcd(num1,denominator) , denominator/gcd(num2,denomenator) )

Now comes inverse mod part.

Important point: If x is smaller than y and we want to find y mod^-1 x then it is equal to (y%x) mod^-1 x.

Now if I use Fermat’s theorem everytime it timouts. So here is link which shows how to find inverse mod much faster in linear time Inverse Mod in linear time it is in Russian translate it. Now if I find inverse mod of all numbers again timout so I find inverse mod only till 10^3 (and then i use these result to find inverse mod of all number till 10^7 or 10^9)(kind of square root decompostion it can be easily understood from formula given in link to find inverse mod).

My solution

Almost 30 submissions to get full 100 :smiley:

1 Like

If one had found the following paper is that considered cheating? :slight_smile:

2 Likes

Well getting a formal proof is something really hard, you will find yourself ending in reading papers. This solution was the easiest thing that came up to my mind. Anyway, this solution is kind of intuitive :slight_smile:

Forget formal proof. Right at the beginning of the paper there is formula for the number of nodes with d children.

Can anybody please elaborate on the observation 2 part please -“Let’s consider all different (n-1) ordered trees, and think about applying this operation. Choosing an arbitrary node of a tree and linking it to a single child (nth node) and removing all edges between our chosen node and its children, then linking them to our new node. So our new node would serve as a single child of the chosen one”
How to perform this operation?

“Observe that each node in a tree consisting of n nodes and having only one child can be formed by applying this operation to only one tree of (n-1) nodes. It’s exactly the same as choosing an opened bracket and its corresponding closing bracket in a simple balanced bracket sequence framing the subexpression between by a pair of brackets (our new node).”

Would you mind adding in a pictorial representation to describe how the operation is done?

1 Like

What difference does it make if I write 2*(n)%MOD and (n+n)%MOD?

Can someone explain in detail more about what ordered trees mean in this context? I have checked on various site - stackoverflow etc . but couldnt understand much…
Thanks in advance.

After some hours of hard thinking, I came up with this explanation/proof for the calculation of p. Hope it is useful and to get feedback in case I’m mistaken.


We want to count the number of vertices with one child in all trees of n + 1 vertices (n edges). Let’s call this number p’.

Imagine to lay out all the C_n trees and label each tree’s vertices from 0 to n, top-to-bottom, left-to-right (the root is always 0).

To find p’, you could fix a tree, count the number of vertices with one child in this tree, and then sum over all the trees. This doesn’t lead to an easy closed formula.

Instead, fix a vertex v in [1…n] and count how many trees, among the C_n, are such that parent[v] has only one child v. Summing over all v’s will give us p’.

For each v, removing (parent[v], v) from the tree by the operation explained above, gives us a n-vertice tree. There are exactly C_{n-1} such trees and they must all appear in our original layout (of C_n trees).

Furthermore, there is no double-counting: otherwise there would be v1, v2 in [1…n] from trees T1, T2 resp., such that removing (parent[v1], v1) and (parent[v2], v2) leads to the same tree, except for the labels. This means T1=T2 would appear twice in out original layout, which is impossible by construction.

There are n vertices, each associated with C_{n-1} trees, therefore p’ = n * C_{n-1}. For p, just let n = k - 1 and substitute.

1 Like

I have explained my solution here Though it is very long I have made an attempt to explain everything.

In the mentioned paper:

The number of nodes of degree, d in all the trees in T,

  1. = the number of occurrences of d in all the sequences in I,
  2. = the number of occurrences of runs of exactly d(‘s (or equivalently
    d)‘s) in all the expressions in P(Parenthesis representation).

How can the 2nd statement be justified, say suppose d=1, then according to 2nd statement, number of nodes of degree 1 would be all ‘(’ brackets and that would n, which doesn’t seem to be true.

Am I missing something which is not so obvious?

You mean gcd() of any two numbers in this case will definitely 1?

True because while applying inverse condition is that a and m should be coprime ba-1(inverse)%m and if a is not a multiple of m multiples of a also cannot be multiples of m and hence they are coprime too.