326. Power of Three


Given an integer, write a function to determine if it is a power of three.

Follow up:
Could you do it without using any loop / recursion?

Credits:
Special thanks to @dietpepsi for adding this problem and creating all test cases.


Solution

In this article we will look into ways of speeding up simple computations and why that is useful in practice.


Approach #1 Loop Iteration [Accepted]

One simple way of finding out if a number n is a power of a number b is to keep dividing n by b as long as the remainder is 0. This is because we can write

Hence it should be possible to divide n by b x times, every time with a remainder of 0 and the end result to be 1.

Notice that we need a guard to check that n != 0, otherwise the while loop will never finish. For negative numbers, the algorithm does not make sense, so we will include this guard as well.

Complexity Analysis

  • Time complexity : . In our case that is . The number of divisions is given by that logarithm.

  • Space complexity : . We are not using any additional memory.


Approach #2 Base Conversion [Accepted]

In Base 10, all powers of 10 start with the digit 1 and then are followed only by 0 (e.g. 10, 100, 1000). This is true for other bases and their respective powers. For instance in base 2, the representations of , and are , and respectively. Therefore if we convert our number to base 3 and the representation is of the form 100...0, then the number is a power of 3.

Proof

Given the base 3 representation of a number as the array s, with the least significant digit on index 0, the formula for converting from base 3 to base 10 is:

Therefore, having just one digit of 1 and everything else 0 means the number is a power of 3.

Implementation

All we need to do is convert [4] the number to base 3 and check if it is written as a leading 1 followed by all 0.

A couple of built-in Java functions will help us along the way.

The code above converts number into base base and returns the result as a String. For example, Integer.toString(5, 2) == "101" and Integer.toString(5, 3) == "12".

The code above checks if a certain Regular Expression[2] pattern exists inside a string. For instance the above will return true if the substring "123" exists inside the string myString.

We will use the regular expression above for checking if the string starts with 1 ^1, is followed by zero or more 0s 0* and contains nothing else $.

Complexity Analysis

  • Time complexity : .

    Assumptions:

    • Integer.toString() - Base conversion is generally implemented as a repeated division. The complexity of should be similar to our approach #1: .
    • String.matches() - Method iterates over the entire string. The number of digits in the base 3 representation of n is .
  • Space complexity : .

    We are using two additional variables,

    • The string of the base 3 representation of the number (size )
    • The string of the regular expression (constant size)

Approach #3 Mathematics [Accepted]

We can use mathematics as follows

n is a power of three if and only if i is an integer. In Java, we check if a number is an integer by taking the decimal part (using % 1) and checking if it is 0.

Common pitfalls

This solution is problematic because we start using doubles, which means we are subject to precision errors. This means, we should never use == when comparing doubles. That is because the result of Math.log10(n) / Math.log10(3) could be 5.0000001 or 4.9999999. This effect can be observed by using the function Math.log() instead of Math.log10().

In order to fix that, we need to compare the result against an epsilon.

Complexity Analysis

  • Time complexity : The expensive operation here is Math.log, which upper bounds the time complexity of our algorithm. The implementation is dependent on the language we are using and the compiler[3]

  • Space complexity : . We are not using any additional memory. The epsilon variable can be inlined.


Approach #4 Integer Limitations [Accepted]

An important piece of information can be deduced from the function signature

In particular, n is of type int. In Java, this means it is a 4 byte, signed integer [ref]. The maximum value of this data type is 2147483647. Three ways of calculating this value are

  • Google
  • System.out.println(Integer.MAX_VALUE);
  • MaxInt = since we use 32 bits to represent the number, half of the range is used for negative numbers and 0 is part of the positive numbers

Knowing the limitation of n, we can now deduce that the maximum value of n that is also a power of three is 1162261467. We calculate this as:

Therefore, the possible values of n where we should return true are , ... . Since 3 is a prime number, the only divisors of are , ... , therefore all we need to do is divide by n. A remainder of 0 means n is a divisor of and therefore a power of three.

Complexity Analysis

  • Time complexity : . We are only doing one operation.

  • Space complexity : . We are not using any additional memory.

Performance Measurements

Single runs of the function make it is hard to accurately measure the difference of the two solutions. On LeetCode, on the Accepted Solutions Runtime Distribution page, all solutions being between 15 ms and 20 ms. For completeness, we have proposed the following benchmark to see how the two solutions differ.

Java Benchmark Code

In the table below, the values are in seconds.

Iterations
Java Approach #1 (Naive) 0.04 0.07 0.30 2.47 5.26
Java Approach #2 (Strings) 0.68 4.02 38.90 409.16 893.89
Java Approach #3 (Logarithms) 0.09 0.50 4.59 45.53 97.50
Java Approach #4 (Fast) 0.04 0.06 0.08 0.41 0.78

As we can see, for small values of N, the difference is not noticeable, but as we do more iterations and the values of n passed to isPowerOfThree() grow, we see significant boosts in performance for Approach #4.

Conclusion

Simple optimizations like this might seem negligible, but historically, when computation power was an issue, it allowed certain computer programs (such as Quake 3[1]) possible.

References

Analysis written by: @aicioara