Algorithms & Data Structures
the bound is a claim, and it is checkable
Concept

Greedy — where it appears

A method that builds its answer one choice at a time, taking whichever option looks best now and never revisiting it. It is cheap and often good, and each step's cost is the cost of evaluating every remaining option against the goal, which is where its price is paid.

Named by 2 essays across 2 fields — each of them below, with the objects they name alongside it.

11010³cap on the depthphrases9.8% more phrasesevery occurrence consideredthe earliest only4,096 charactersworst at cap 4

The cap an automaton cannot see

A state of a suffix automaton stands for a set of occurrences and hands back one of them. So a capped parse driven by it can ask whether the earliest occurrence is shallow enough and cannot ask whether any occurrence is — which costs up to 9.8% of the phrases, and only at the caps that bind.

bounds · Parse 0100200cells a query, selections included2,5005,00010,00030,00012.3 jumps6.2 jumps3.5 jumps0.8 jumpsmean queries between jumps, and jumps a streamthe corners, never fittedfitted once, keptfull refit on the counterone landmark, on the counterone landmark, every 5,0006 maps, 30,000 queries a streamcounter: window 2,000, threshold a half

A refit that changes one landmark

Choosing four landmarks again after traffic moves costs hundreds of thousands of cells of search, and on drifting streams it never paid. Keeping three and re-choosing the fourth costs a fifth as much — 0.19 of a full selection, not the twelfth the earlier page guessed. On drifting streams, refitting on the counter goes from a loss of up to 13% to within 2% of fitting once, and it wins where the destination moves six cells. When the destination jumps, it is the cheapest policy measured, 12% under the corners at one jump in 10,000 queries — unless the jumps come as often as one in 2,500.

graphs · Graph

Named alongside it

The objects these essays reach for when they reach for this one.

Break-evenConstructionDefinitionDepth capEndposHeuristic searchHonest limitLandmarkLempel zivMeasurementMeasurement designParameter choice

All concepts