
Ninja has been given a binary tree âBINARY_TREEâ of type integer with âNâ nodes. Ninja has to check if it is possible to partition the binary tree into two trees with equal sum values after removing exactly one edge from the given binary tree.
As Ninja is busy, he asks you for help. Can you help him determine if an equal sum partition of the given âBINARY_TREEâ is possible? Return âTrueâ if possible else return âFalseâ.
For example:

In this given âBINARY_TREEâ, we can make two possible partitions:
1. The first one is with sums 2 and 4.
2. The second one is with sums 3 and 3.
The second partition divides the given tree into an equal sum partition tree, so we return âTrueâ.
The first line of input contains an integer 'T' representing the number of test cases. Then the test cases follow.
The next line of each test case contains elements in the level order form. The line consists of values of nodes separated by a single space. In case a node is null, we take -1 in its place.
The next line of each test case contains one integer âKâ representing that the houses that are still not vaccinated are at a âKâ distance from the last houses in the city.
For example, the input for the tree depicted in the below image would be :

4
2 6
1 3 5 7
-1 -1 -1 -1 -1 -1
Explanation :
Level 1 :
The root node of the tree is 4
Level 2 :
Left child of 4 = 2
Right child of 4 = 6
Level 3 :
Left child of 2 = 1
Right child of 2 = 3
Left child of 6 = 5
Right child of 6 = 7
Level 4 :
Left child of 1 = null (-1)
Right child of 1 = null (-1)
Left child of 3 = null (-1)
Right child of 3 = null (-1)
Left child of 5 = null (-1)
Right child of 5 = null (-1)
Left child of 7 = null (-1)
Right child of 7 = null (-1)
The first not-null node(of the previous level) is treated as the parent of the first two nodes of the current level. The second not-null node (of the previous level) is treated as the parent node for the next two nodes of the current level and so on.
The input ends when all nodes at the last level are null(-1).
Note :
The above format was just to provide clarity on how the input is formed for a given tree.
The sequence will be put together in a single line separated by a single space. Hence, for the above-depicted tree, the input will be given as:
4 2 6 1 3 5 7 -1 -1 -1 -1 -1 -1
Output Format :
For each test case, return âTrueâ if we can partition the given âBINARY_TREEâ into two trees with equal sum values else return âFalseâ.
Print the output of each test case in a separate line.
Note: You do not need to print anything; it has already been taken care of. Just implement the given function.
1 <= âTâ <= 10
1 <= âDATAâ <= 10^5
Time Limit: 1 second
2
5 10 10 -1 -1 2 3 -1 -1 -1 -1
1 -1 -1
True
False
For sample test case 1:

If we remove the edge between the nodes having value 5 and the node having value 10, then the two newly formed trees have equal sum i.e 15
For sample test case 2:
In the given âBINARY_TREEâ we have only one node so we can not make a partition. Hence we print âFalseâ.
1
1 2 3 -1 4 -1 5 -1 -1 -1 -1
False
For sample test case 1:

In this binary tree, we can not make a partition with equal sum values after removing exactly one edge between any two nodes of the given binary tree.
Think of a DFS approach.
As we know we can remove exactly on edge from the given binary tree. So first, we calculate the total sum of all nodes of the âBINARY_TREEâ. If the sum is odd, that means we cannot divide the âBINARY_TREEâ into two trees with equal sum values, so we return âfalseâ. Else we traverse the tree and at every node, we check if the sum of the subtree is equal to the total sum of all nodes by 2. If it is true, then we return true else we repeat this for another subtree.
Here is the algorithm:
sumOfSubTreeHelper(âROOTâ)
O(N ^ 2) where âNâ is the number of nodes in the âBINARY_TREEâ.
Because while we are traversing the âBINARY_TREEâ, at every node we are calculating the sum of the subtree using the sumOfSubTreeHelper function. Hence the time complexity is O(N ^ 2).
O(N) where âNâ is the number of nodes in the âBINARY_TREEâ.
O(N) different function calls are stored in the stack space. So the space complexity is O(N).