التابع bsearch
الخاص بالصنف Range
في روبي
باستخدام خوارزمية البحث الثنائي (binary search)، يبحث التابع bsearch
عن قيمة من المجال تفي بالشرط المعطى في مدة O (log n) ، حيث n يمثل حجم المجال.
يمكنك استخدام هذا التابع بطريقتين: وضع البحث الأدنى (find-minimum mode)، أو وضع البحث العادي (find-any mode). وفي كلتا الحالتين، يجب أن تكون عناصر المجال مُرتبة (sorted) لأجل الكتلة.
في وضع البحث الأدنى (يعد هذا خيارًا جيدًا في الحالات العادية)، يجب أن تُعيد الكتلة إما true
أو false
، ويجب أن تكون هناك قيمة x
بحيث:
- تعيد الكتلة القيمة
false
لكل القيم الأصغر منx
، - تعيد
true
لأي قيمة أكبر من أو تساويx
.
إن كان x
مُتضمنًا في المجال، فسيعيد التابع القيمة x
. خلا ذلك، فسيعيد الصفر.
ary = [0, 4, 7, 10, 12]
(0...ary.size).bsearch {|i| ary[i] >= 4 } #=> 1
(0...ary.size).bsearch {|i| ary[i] >= 6 } #=> 2
(0...ary.size).bsearch {|i| ary[i] >= 8 } #=> 3
(0...ary.size).bsearch {|i| ary[i] >= 100 } #=> nil
(0.0...Float::INFINITY).bsearch {|x| Math.log(x) >= 0 } #=> 1.0
في وضع البحث العادي (سلوكه يشبه سلوك bsearch(3)
)، يجب أن تعيد الكتلة عددًا، ويجب أن تكون هناك قيمتان x
و y
(تحققان x <= y) بحيث:
- تعيد الكتلة عددًا موجبًا لكل v بحيث v <x،
- تعيد الكتلة الصفر لـكل v يحقق x <= v <y،
- تعيد الكتلة عددًا سالبًا لكل v يحقق y <= v.
يعيد هذا التابع أي قيمة ضمن تقاطع المجال المحدد و x… y
(إن وجدت). إن لم تكن هناك أي قيمة تحقق هذا الشرط، فستُعاد nil
.
يجب عدم خلط الوضعين في وقت واحد؛ يجب أن تعيد الكتلة دائمًا إما true
أو false
، أو تعيد دائمًا عددًا.
لا يمكن معرفة القيمة المُلتقطة في كل عملية تكرار (iteration).
البنية العامة
bsearch {|obj| block } → value
القيمة المُعادة
أمثلة
مثال على استخدام التابع bsearch
وفق وضع البحث الأدنى
ary = [0, 4, 7, 10, 12]
(0...ary.size).bsearch {|i| ary[i] >= 4 } #=> 1
(0...ary.size).bsearch {|i| ary[i] >= 6 } #=> 2
(0...ary.size).bsearch {|i| ary[i] >= 8 } #=> 3
(0...ary.size).bsearch {|i| ary[i] >= 100 } #=> nil
(0.0...Float::INFINITY).bsearch {|x| Math.log(x) >= 0 } #=> 1.0
مثال على استخدام التابع bsearch
وفق وضع البحث العادي
ary = [0, 100, 100, 100, 200]
(0..4).bsearch {|i| 100 - ary[i] } #=> 1, 2 or 3
(0..4).bsearch {|i| 300 - ary[i] } #=> nil
(0..4).bsearch {|i| 50 - ary[i] } #=> nil
انظر أيضا
- التابع
begin
: يعيد الكائن الذي يحدد بداية المجال. - التابع
cover?
: يعيد القيمةtrue
إن كانobj
محصورًا بين بداية ونهاية المجال.