Introduction - If you have any usage issues, please Google them yourself
There is a hypothesis that the left subtree and the right subtree of the node with the subscript of I in the array are the heaps that maintain the maximum heap properties. On the premise of assumption, the heap that has been maintained through this maintenance function can be guaranteed to be the largest heap.