Big O Notation

The idea behind big O notation

Reference

Big O notation is the language we use for talking about how long an algorithm takes to run. It’s how we compare the efficiency of different approaches to a problem.

It’s like math except it’s an awesome, not-boring kind of math where you get to wave your hands through the details and just focus on what’s basically happening.

With big O notation we express the runtime in terms of—brace yourself—how quickly it grows relative to the input, as the input gets arbitrarily large.

Let’s break that down:

  1. how quickly the runtime grows—It’s hard to pin down the exact runtime of an algorithm. It depends on the speed of the processor, what else the computer is running, etc. So instead of talking about the runtime directly, we use big O notation to talk about how quickly the runtime grows.
  2. relative to the input—If we were measuring our runtime directly, we could express our speed in seconds. Since we’re measuring how quickly our runtime grows, we need to express our speed in terms of…something else. With Big O notation, we use the size of the input, which we call “nn.” So we can say things like the runtime grows “on the order of the size of the input” (O(n)O(n)) or “on the order of the square of the size of the input” (O(n^2)).
  3. as the input gets arbitrarily large—Our algorithm may have steps that seem expensive when n is small but are eclipsed eventually by other steps as n gets huge. For big O analysis, we care most about the stuff that grows fastest as the input grows, because everything else is quickly eclipsed as n gets very large. (If you know what an asymptote is, you might see why “big O analysis” is sometimes called “asymptotic analysis.”)

If this seems abstract so far, that’s because it is. Let’s look at some examples.

Some examples

public void PrintFirstItem(int[] items)
{
    Console.WriteLine(items[0]);
}

This method runs in O(1) time (or “constant time”) relative to its input. The input arraycould be 1 item or 1,000 items, but this method would still just require one “step.”

public void PrintAllItems(int[] items)
{
    foreach (var item in items)
    {
        Console.WriteLine(item);
    }
}

This method runs in O(n) time (or “linear time”), where n is the number of items in the array. If the array has 10 items, we have to print 10 times. If it has 1,000 items, we have to print 1,000 times.

public void PrintAllPossibleOrderedPairs(int[] items)
{
    foreach (var firstItem in items)
    {
        foreach (var secondItem in items)
        {
            Console.WriteLine($"{firstItem}, {secondItem}");
        }
    }
}

Here we’re nesting two loops. If our array has nn items, our outer loop runs nn times and our inner loop runs nn times for each iteration of the outer loop, giving us n^2 total prints. Thus this methodruns in O(n^2) time (or “quadratic time”). If the array has 10 items, we have to print 100 times. If it has 1,000 items, we have to print 1,000,000 times.

N could be the actual input, or the size of the input

Both of these methods have O(n) runtime, even though one takes an integer as its input and the other takes an array:

public void SayHiNTimes(int n)
{
    for (int i = 0; i < n; i++)
    {
        Console.WriteLine("hi");
    }
}

public void PrintAllItems(int[] items)
{
    foreach (var item in items)
    {
        Console.WriteLine(item);
    }
}

So sometimes nn is an actual number that’s an input to our method, and other times nn is the number of items in an input array (or an input map, or an input object, etc.).

Drop the constants

This is why big O notation rules. When you’re calculating the big O complexity of something, you just throw out the constants. So like:

public void PrintAllItemsTwice(int[] items)
{
    foreach (var item in items)
    {
        Console.WriteLine(item);
    }

    // Once more, with feeling
    foreach (var item in items)
    {
        Console.WriteLine(item);
    }
}

This is O(2n), which we just call O(n).

public void PrintFirstItemThenFirstHalfThenSayHi100Times(int[] items)
{
    Console.WriteLine(items[0]);

    int middleIndex = items.Length / 2;
    int index = 0;

    while (index < middleIndex)
    {
        Console.WriteLine(items[index]);
        index++;
    }

    for (int i = 0; i < 100; i++)
    {
        Console.WriteLine("hi");
    }
}

This is O(1 + n/2 + 100), which we just call O(n).

Why can we get away with this? Remember, for big O notation we’re looking at what happens as nn gets arbitrarily large. As nn gets really big, adding 100 or dividing by 2 has a decreasingly significant effect.

Drop the less significant terms

For example:

public void PrintAllNumbersThenAllPairSums(int[] numbers)
{
    Console.WriteLine("these are the numbers:");
    foreach (var number in numbers)
    {
        Console.WriteLine(number);
    }

    Console.WriteLine("and these are their sums:");
    foreach (var firstNumber in numbers)
    {
        foreach (var secondNumber in numbers)
        {
            Console.WriteLine(firstNumber + secondNumber);
        }
    }
}

Here our runtime is O(n + n^2), which we just call O(n^2)). Even if it was O(n^2/2 + 100n)), it would still be O(n^2).

Similarly:

  • O(n^3 + 50n^2 + 10000) is O(n^3)
  • O((n + 30) * (n + 5)) is O(n^2)

Again, we can get away with this because the less significant terms quickly become, well, less significant as nn gets big.

We’re usually talking about the “worst case”

Often this “worst case” stipulation is implied. But sometimes you can impress your interviewer by saying it explicitly.

Sometimes the worst case runtime is significantly worse than the best case runtime:

public bool Contains(int[] haystack, int needle)
{
    // Does the haystack contain the needle?
    foreach (var n in haystack)
    {
        if (n == needle)
        {
            return true;
        }
    }
    return false;
}

Here we might have 100 items in our haystack, but the first item might be the needle, in which case we would return in just 1 iteration of our loop.

In general we’d say this is O(n)O(n) runtime and the “worst case” part would be implied. But to be more specific we could say this is worst case O(n)O(n) and best case O(1)O(1) runtime. For some algorithms we can also make rigorous statements about the “average case” runtime.

Space complexity: the final frontier

Sometimes we want to optimize for using less memory instead of (or in addition to) using less time. Talking about memory cost (or “space complexity”) is very similar to talking about time cost. We simply look at the total size (relative to the size of the input) of any new variables we’re allocating.

This method takes O(1)O(1) space (we use a fixed number of variables):

public void SayHiNTimes(int n)
{
    for (int i = 0; i < n; i++)
    {
        Console.WriteLine("hi");
    }
}

This method takes O(n)O(n) space (the size of hiArray scales with the size of the input):

public string[] ArrayOfHiNTimes(int n)
{
    string[] hiArray = new string[n];
    for (int i = 0; i < n; i++)
    {
        hiArray[i] = "hi";
    }
    return hiArray;
}

Usually when we talk about space complexity, we’re talking about additional space, so we don’t include space taken up by the inputs. For example, this method takes constant space even though the input has n items:

public int GetLargestItem(int[] items)
{
    int largest = int.MinValue;
    foreach (int item in items)
    {
        if (item > largest)
        {
            largest = item;
        }
    }
    return largest;
}

Sometimes there’s a tradeoff between saving time and saving space, so you have to decide which one you’re optimizing for.

Big O analysis is awesome except when it’s not

You should make a habit of thinking about the time and space complexity of algorithms as you design them. Before long this’ll become second nature, allowing you to see optimizations and potential performance issues right away.

Asymptotic analysis is a powerful tool, but wield it wisely.

Big O ignores constants, but sometimes the constants matter. If we have a script that takes 5 hours to run, an optimization that divides the runtime by 5 might not affect big O, but it still saves you 4 hours of waiting.

Beware of premature optimization. Sometimes optimizing time or space negatively impacts readability or coding time. For a young startup it might be more important to write code that’s easy to ship quickly or easy to understand later, even if this means it’s less time and space efficient than it could be.

But that doesn’t mean startups don’t care about big O analysis. A great engineer (startup or otherwise) knows how to strike the right balance between runtime, space, implementation time, maintainability, and readability.

You should develop the skill to see time and space optimizations, as well as the wisdom to judge if those optimizations are worthwhile.

Leave a Reply

Your email address will not be published. Required fields are marked *