It is not the case that If the underlying notion of polynomial time is model-relative, then the transitivity proof inherits that relativity, making ≤_P a preorder only relative to a chosen computational substrate, not absolutely.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.