It is not the case that Hartmanis and Stearns' original hierarchy results show that below logarithmic space, the gap conditions for proper separation become insufficient to absorb simulation overhead, meaning the limit condition on s1/s2 alone does not guarantee separation in sub-log regimes.
?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.