سلام. وقت بخیر.
به جواب کتاب توجه نکنید. به نظرم خواسته با استفاده از یه نکته (که حالت بهینه نیست) یه تست طرح کنه. با فرض اینکه اندیس اولین عنصر هرم برابر ۱ باشه، اندیس والد گره i ام برابر [i/2] میشه. (منظور جزء صحیحه) ارتفاع والد هر گره هم یکی بیشتر از ارتفاع اون گره هست و گزینه ۳ با استفاده از رابطه برابری درسته. یعنی نیاز به بزرگتر مساوی نیست. درصورتی که اندیس ریشه برابر ۰ باشه اون موقع باید از بزرگتر مساوی استفاده بشه که باز هم گزینه ۳ درسته.
اگه بگیم گزینه ۲ غلط نیست خوب میتونیم بگیم ۴ هم علط نیست. چون یه شرط راحت تری نسبت به ۳ دارن.