There are definitely some problems that have an indirect time/memory check, in that if you don't have a right-enough algorithm, your program will never finish.