Definitely could not have used Kolmogorov complexity, as it is uncomputable.