# What’s the problem?

This is the last post in a series dedicated to exploring the problem of “penalty search”. Penalty search involves an ordered array: the first part of the array has values that do not satisfy some property, while the second part – the rest of the values – do satisfy the property. Testing a value for the property carries an index-dependent penalty, given by a cost function. We want to find the first value (lowest index) in the array that satisfies the property. The “total cost” of a search attempt is the total penalty spent looking for the value until it is found.

The goal is to devise an algorithm that searches the array with minimal expected total cost.

# Why is this interesting?

Besides being fun to wrestle with, this problem is interesting because it deals with a realistic physical situation: you need to find out the ideal timing for some process. Any time-dependent experiment can be modeled by this problem. Every time you try, you *spend time*, so the cost of the test is time being spent. The goal is to find the solution as quickly as possible, so we want to minimize the expected time spent searching for a solution.

# Linear cost – recap

The last post explored how a linear cost function affects the recursive difference equation that calculates the expected cost. Linear cost is interesting because first, it is easier to analyze, and second, because it fits problems where the penalty is the amount of time spent waiting to check a time-sensitive process.

Analytically, the nice property of linear cost is that the size of the array being searched is what determines the cost (up to a constant), not the specific range of indexes. In that last post we took advantage of this translational quasi-invariance of a linear cost function to simplify the problem. After defining a couple of help functions we ended with the following equation:

Where:

- is the size of the region (array) that’s being searched
- represents the expected cost of a region (almost – you need to divide by to get the actual cost)
- is the index that our algorithm decides to test in the current step
- and is the cost of testing at index

# Constant ratio search

For linear cost, we expect the solution – the optimal search algorithm – to be somewhat similar to binary section search: we always pick a constant ratio (“section”) of the current range to pick our next search target. Although I can’t prove that this is a valid assumption, I think it’s interesting enough to see what the ratio should be if we **do** assume constant ratio search.

To begin, we define where (remember we are already assuming that the region is ). To make things simpler (though admittedly less precise) we’ll drop the floor notation and treat as if it were an integer. Substituting in the last equation, we get:

With a little simplification (saving time using Maxima) we get:

Notice that the two recursive references to the function nicely represent testing the left and right sub-regions around the split point . I’m personally not any closer to solving that equation, so here’s where we use approximations.

In theĀ last post we saw that for the value must be zero. We can use this information to solve :

Following the same logic as in that last post, we know that we can only split a region of size 2 into two subregions of size 1. This means must be referencing recursively calls to twice. This limits the range of :

and

Implying:

Here we have a first result: we must split somewhere lower than the middle. *Less than* makes sense if our linear curve is increasing, such that . I didn’t have time to go back and check, but I’m guessing I somewhere made that assumption implicitly along the way.

It also makes sense: if the cost is increasing linearly, the upper bound for a constant split ratio is the middle – which is exactly binary section when cost is constant (not increasing at all, ).

It’s an interesting exercise to plug values for and see where the bounds on go. I’m leaving that for another day, or for you to try.

That’s all. If you find interesting instances of this problem, let me know!