algorithmic information theory cs687