Zpo-8-wyk-Slajd21

Predykat noSideEffectsP(1)

Po ograniczeniu tego problemu do stwierdzenia, czy istnieje taki zbiór wejść, który może spowodować zmianę stanu systemu (czyli znów modyfikację wybranej zmiennej Var), staje się on wprawdzie rozstrzygalny, ale jego złożoność obliczeniowa (jest NP-zupełny) nadal sytuuje go wśród problemów bardzo trudnych.

<< Poprzedni slajd | Spis treści | Następny slajd >>