text: Ричард Карп высказал более строгое утверждение (которое называется теперь гипотезой о трудности или гипотезой Аандераа–Карпа–Розенберга), что «любое нетривиальное монотонное свойство графов на n вершинах трудное» .