เดินตามสั่งซ้ำพร้อมเคาน์เตอร์
Time Complexity: O( N ), N is the number of nodes
Space Complexity: O( 1 ), excluding the function call stack
แนวคิดนี้คล้ายกับโซลูชันของ @prasadvk แต่มีข้อบกพร่องบางประการ (ดูหมายเหตุด้านล่าง) ดังนั้นฉันจึงโพสต์สิ่งนี้เป็นคำตอบแยกต่างหาก
// Private Helper Macro
#define testAndReturn( k, counter, result ) \
do { if( (counter == k) && (result == -1) ) { \
result = pn->key_; \
return; \
} } while( 0 )
// Private Helper Function
static void findKthSmallest(
BstNode const * pn, int const k, int & counter, int & result ) {
if( ! pn ) return;
findKthSmallest( pn->left_, k, counter, result );
testAndReturn( k, counter, result );
counter += 1;
testAndReturn( k, counter, result );
findKthSmallest( pn->right_, k, counter, result );
testAndReturn( k, counter, result );
}
// Public API function
void findKthSmallest( Bst const * pt, int const k ) {
int counter = 0;
int result = -1; // -1 := not found
findKthSmallest( pt->root_, k, counter, result );
printf("%d-th element: element = %d\n", k, result );
}
หมายเหตุ (และความแตกต่างจากโซลูชันของ @ prasadvk):
if( counter == k )
จำเป็นต้องมีการทดสอบในสามตำแหน่ง: (a) หลังทรีย่อยด้านซ้าย (b) หลังรูทและ (c) หลังทรีย่อยด้านขวา เพื่อให้แน่ใจว่าองค์ประกอบ kth ถูกตรวจพบสำหรับทุกสถานที่กล่าวคือโดยไม่คำนึงถึงทรีย่อยที่อยู่
if( result == -1 )
จำเป็นต้องทำการทดสอบเพื่อให้แน่ใจว่ามีการพิมพ์องค์ประกอบผลลัพธ์เท่านั้นมิฉะนั้นองค์ประกอบทั้งหมดที่เริ่มจาก kth ที่เล็กที่สุดจนถึงรูทจะถูกพิมพ์