1
Czy granice środowiska wykonawczego są rozstrzygalne dla czegoś nietrywialnego?
Problem Biorąc pod uwagę maszynę Turinga która zna czas działania O ( g ( n ) ) w odniesieniu do długości wejściowej n , czy czas działania M ∈ O ( f ( n ) ) ?MMMO(g(n))O(g(n)){O}(g(n))nnnM∈O(f(n))M∈O(f(n))M \in {O}(f(n)) Czy powyższy problem jest rozstrzygalny dla niektórych niebrywalnych par i f …