In a binary search tree, let be an internal node, be its immediate left child, and be its immediate right child. Assuming all keys are distinct, which of the following represents the correct ascending order of their values?
B
Step-by-Step Solution
Key idea: This is a language-to-math translation question testing the strict definition of the BST invariant.
Step 1: Translate the BST property into mathematical inequalities. For any node , all values in its left subtree must be strictly less than . Therefore, .
Step 2: Similarly, all values in the right subtree must be strictly greater than . Therefore, .
Step 3: Combine the inequalities: and gives .
Step 4: Match this with the options. Option B matches exactly.
Answer: B