Переменная X не обновляется при изменении переменных, которые должны влиять на X

Я смотрю вокруг и вижу много длинных объяснений. Вот небольшая диаграмма, которая может быть полезна для суммирования:

Обратите внимание на то, как сложность увеличивается сверху вниз: любой NP может быть сведен к NP-Complete , а любой NP -Комплекс может быть сведен к NP-Hard , все в P (полиномиальное) время.

Если вы можете решить более сложный класс проблем в P-время, это будет означать, что вы нашли, как решить все более простые проблемы в P-время (например, доказав P = NP, если вы выясните, как решить любую проблему NP-Complete в P-время).

____________________________________________________________
| Problem Type | Verifiable in P time | Solvable in P time | Increasing Difficulty
___________________________________________________________|           |
| P            |        Yes           |        Yes         |           |
| NP           |        Yes           |     Yes or No *    |           |
| NP-Complete  |        Yes           |      Unknown       |           |
| NP-Hard      |     Yes or No **     |      Unknown ***   |           |
____________________________________________________________           V

Примечания к записи Yes или No:

• * Проблема NP, которая также является P разрешима в P времени.
• ** Задача NP-Hard, которая также NP-Complete, поддаётся проверке в P времени.
• *** NP-полные проблемы (все из которых образуют подмножество NP-hard).

Я также нашел эту диаграмму весьма полезной, увидев, как все эти типы соответствуют друг другу (обратите больше внимания на левый половина диаграммы).