It is not the case that Immerman and Vardi showed PTIME corresponds to least fixed-point logic only on ordered structures, revealing that logical captures are encoding-relative, not intrinsic to the complexity class.
?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.