La definición anterior de P permite considerar de manera natural una clase de problemas complementarias.