654. Maximum Binary Tree


Given an integer array with no duplicates. A maximum tree building on this array is defined as follow:

  1. The root is the maximum number in the array.
  2. The left subtree is the maximum tree constructed from left part subarray divided by the maximum number.
  3. The right subtree is the maximum tree constructed from right part subarray divided by the maximum number.

Construct the maximum tree by the given array and output the root node of this tree.

Example 1:

Input: [3,2,1,6,0,5]
Output: return the tree root node representing the following tree:

      6
    /   \
   3     5
    \    / 
     2  0   
       \
        1

Note:

  1. The size of the given array will be in the range [1,1000].


Solution


Approach #1 Recursive Solution[Accepted]

The current solution is very simple. We make use of a function construct(nums, l, r), which returns the maximum binary tree consisting of numbers within the indices and in the given array(excluding the element).

The algorithm consists of the following steps:

  1. Start with the function call construct(nums, 0, n). Here, refers to the number of elements in the given array.

  2. Find the index, , of the largest element in the current range of indices . Make this largest element, $ as the local root node.

  3. Determine the left child using construct(nums, l, max_i). Doing this recursively finds the largest element in the subarray left to the current largest element.

  4. Similarly, determine the right child using construct(nums, max_i + 1, r).

  5. Return the root node to the calling function.

Complexity Analysis

  • Time complexity : . The function construct is called times. At each level of the recursive tree, we traverse over all the elements to find the maximum element. In the average case, there will be a levels leading to a complexity of . In the worst case, the depth of the recursive tree can grow upto , which happens in the case of a sorted array, giving a complexity of .

  • Space complexity : . The size of the can grow upto in the worst case. In the average case, the size will be for elements in , giving an average case complexity of


Analysis written by: @vinod23