A note on the time complexity of machine scheduling with DeJong's learning effect. (October 2017)