Skip to content
Open Model LabInteractive concept
HomeConcept libraryComputer ScienceAlgorithms and SearchAlgorithms and Search Foundations
Computer ScienceAlgorithms and SearchIntroStarter track

Concept module

Binary Search / Halving the Search Space

Keep an ordered list, the low-mid-high markers, and the shrinking interval visible together so binary search feels visual instead of procedural.

The simulation shows an ordered array with low, mid, and high markers. The active interval stays highlighted, and an optional ghost lane shows how far a one-by-one scan would have progressed by the same number of checks. Binary search is looking for 52 inside an ordered list of 18 values. It has used 0 midpoint checks so far. The live interval spans 0 to 17, so only 18 positions still matter. A left-to-right scan would still need 17 checks to guarantee the same target.

Interactive lab

Keep the stage, graph, and immediate control feedback in one working view.

Time

0.00 s / 5.04 sLivePause to inspect a specific moment, then step or scrub through it.
0.00 s5.04 s

Algorithms and search

Keep the ordered list, the low-mid-high markers, and the shrinking live interval visible together so halving the search space feels concrete.

Live searchTarget 52 in 18 ordered valueschecks 0407110213316419522625728831934103711401243134614491552165517lowmidhightargetLinear contrastOne-by-one scanning reaches the target much more slowlychecks 0407110213316419522625728831934103711401243134614491552165517startBinary-search readoutLivetarget52checks0interval18linear need17advantage17foundnot yetBinary search readyBinary search starts with the whole ordered array, then keeps halving the live interval.The ghost lane shows how far a one-by-one scan would have reached by the same step count.

Graphs

Switch graph views without breaking the live stage and time link.

Interval width over time

One graph tracks the interval width, another tracks the low-mid-high positions, and a third compares binary-search checks with linear-search checks.

time: -0.4 to 5.44positions left: 0.72 to 19.28
interval width
Interval width over timeOne graph tracks the interval width, another tracks the low-mid-high positions, and a third compares binary-search checks with linear-search checks.-0.41.062.523.985.440.725.361014.6419.28timepositions left
Hover or scrub to link the graph back to the stage.time / positions left

Controls

Adjust the live parameters and watch the bench respond.

18
16

Presets

Predict -> manipulate -> observe

Keep the active prompt next to the controls so each change has an immediate visible consequence.

ObservationPrompt 1 of 2
The important move is not a faster scan. It is the midpoint deleting half of the remaining interval at once.

Equation map

See each variable before you move it.

Select a symbol to highlight the matching control and the graph or overlay it most directly changes.

Array size
18

Sets how many ordered values the search has to work through.

Graph: Interval width over timeGraph: Binary versus linear checksOverlay: Active intervalOverlay: Low-mid-high markers

Equations in play

Choose an equation to sync the active symbol, control highlight, and related graph mapping.

More tools

Detailed noticing prompts, guided overlays, and challenge tasks stay available without taking over the main bench.

Hide

What to notice

Keep the ordered list and one history graph visible together.

ObservationPrompt 1 of 2
Graph: Interval width over time
The important move is not a faster scan. It is the midpoint deleting half of the remaining interval at once.
Control: Target positionControl: Array sizeGraph: Interval width over timeGraph: Low, mid, and highOverlay: Active intervalOverlay: Low-mid-high markersEquationEquation

Guided overlays

Focus one overlay at a time to see what it represents and what to notice in the live motion.

2 visible

Overlay focus

Active interval

Highlight the part of the ordered list that is still alive.

What to notice

  • Each midpoint comparison can delete half the list at once.

Why it matters

It turns the efficiency of binary search into something visible.

Control: Array sizeControl: Target positionGraph: Interval width over timeGraph: Low, mid, and highEquationEquation

Challenge mode

Make halving the search space do real work.

0/1 solved
ConditionCore

5 of 7 checks

Find a far-right target fast

Build a large ordered list where the target sits near the far-right edge, but binary search still finds it in five checks or fewer.
Graph-linkedGuided start
Pending
Open the Binary versus linear checks graph.
Interval width over time
Matched
Keep the Active interval visible.
On
Matched
Keep the Low-mid-high markers visible.
On
Matched
Keep array size between 18 and 20.
18
Matched
Keep target index between 15 and 19.
16
Pending
Keep found between 1 and 1.
0
Matched
Keep comparisons between 0 and 5.
0

The checklist updates from the live simulation state, active graph, overlays, inspect time, and compare setup.

Binary search is looking for 52 inside an ordered list of 18 values. It has used 0 midpoint checks so far. The live interval spans 0 to 17, so only 18 positions still matter. A left-to-right scan would still need 17 checks to guarantee the same target.
Equation detailsDeeper interpretation, notes, and worked variable context.

Midpoint rule

Chooses the next index to inspect from the current live interval.

Target position 16

Interval width

Counts how many positions are still alive after each halving step.

Array size 18 Target position 16 Linear contrast On

Progress

Not startedMastery: NewLocal-first

Start exploring and Open Model Lab will keep this concept's progress on this browser first. Challenge mode has 1 compact task ready. No finished quick test, solved challenge, or completion mark is saved yet.

Let the live model runChange one real controlOpen What to notice

Try this setup

Jump to a named bench state or copy the one you are looking at now. Shared links reopen the same controls, graph, overlays, and compare context.

This bench opened from a setup link. Any new copy will reflect the state you see now.

Current bench

Far-right target preset

This bench still matches one named preset, so the copied link will reopen that same starting point along with the current graph, overlays, and inspect context.

Open default bench

Featured setups

Far-right target

Open a large ordered list where the target sits near the far edge.

Middle target

Open a clean case where the midpoint hits the target quickly.

Saved setups

Premium keeps named exact-state study setups in your account while stable concept links stay public below.

Checking saved setup access.

This concept can keep using stable links while the saved-setups capability resolves for this browser.

Copy current setup

Stable concept and section links stay public below while exact-state setup sharing stays behind premium.

Stable links

Starter track

Step 2 of 20 / 2 complete

Algorithms and Search Foundations

Earlier steps still set up Binary Search / Halving the Search Space.

1. Sorting and Algorithmic Trade-offs2. Binary Search / Halving the Search Space

Previous step: Sorting and Algorithmic Trade-offs.

Start from track beginning

Short explanation

What the system is doing

Binary search only makes sense on ordered data. Once the list is ordered, each midpoint check can delete half of the remaining possibilities instead of checking one item after another.

This bench keeps low, mid, high, and the shrinking interval visible together so the speed comes from the geometry of the search space, not from memorizing a procedure.

Key ideas

01Binary search works because the data is ordered.
02The midpoint matters because one comparison can remove half of the remaining interval.
03Low, mid, and high define the live search space.

Worked example

Read the full frozen walkthrough.

Frozen walkthrough
Read the current interval directly from the live search scene.

Live worked examples are available on Premium. You can still read the full frozen walkthrough on the free tier.

View plans
Frozen valuesUsing frozen parameters

What does the current binary-search step tell you right now?

Array size

18

Target position

16

1. Read the live interval

The active interval runs from index 0 to 17, so 18 positions are still possible.

2. Read the midpoint check

The current midpoint is index 8, which holds 28 while the target is 52.

3. Compare the search cost

So far binary search has used 0 midpoint checks, while a one-by-one scan would need 17 checks to guarantee the same target.

Current search read

Because the target is larger than the midpoint value, the left half is already ruled out.

Common misconception

Binary search is just a faster way of checking one item at a time.

The point is not a slightly better scan. The point is halving the remaining possibilities after each midpoint check.

That only works because the list is already ordered.

Mini challenge

Build a case where the target is near the far edge of a large list but binary search still reaches it in only a few midpoint checks.

Prediction prompt

Decide whether the target should sit near the middle or near an edge before you change the controls.

Check your reasoning

Put the target near an edge in a large list, then let halving do the work.
Even a far-away target can be found quickly once the interval keeps shrinking by halves.

Quick test

Reasoning

Question 1 of 2

Answer from the live search picture, not from memorized vocabulary.

Why does binary search need ordered data?

Choose one answer to reveal feedback, then test the idea in the live system if a guided example is available.

Accessible description

The simulation shows an ordered array with low, mid, and high markers. The active interval stays highlighted, and an optional ghost lane shows how far a one-by-one scan would have progressed by the same number of checks.

Graph summary

One graph tracks the interval width, another tracks the low-mid-high positions, and a third compares binary-search checks with linear-search checks.