Theory of computation
Once it is known if such a solution exists, computer scientists want to know if it can be found, and perhaps how it can be improved. This field of study is covered by the complexity theory. That theory has developed concepts to compare different methods of solving a problem to one another. Such methods are usually called algorithms. This is similar to comparing cooking recipes and seeing which of two recipes is easier to do.