redukowalna złożoność