Binary Search (การค้นหาแบบทวิภาค) เป็นอัลกอริธึมค้นหาที่หาตำแหน่งของค่าเป้าหมายภายในอาร์เรย์ที่เรียงลำดับแล้ว โดยเปรียบเทียบค่าเป้าหมายกับองค์ประกอบกลาง ความซับซ้อนของเวลาคือ O(log n) (ไม่ใช่ O(1) ตามที่ระบุในต้นฉบับ) อัลกอริธึมและฟังก์ชันที่ใช้ binary_search(first, last, value) – คืน true หากพบ v