Cornell University
Library
Cornell UniversityLibrary

eCommons

Help
Log In(current)
  1. Home
  2. Cornell Computing and Information Science
  3. Computer Science
  4. Computer Science Technical Reports
  5. The Operator Gap

The Operator Gap

File(s)
69-35.ps (478.34 KB)
69-35.pdf (923.99 KB)
Permanent Link(s)
https://hdl.handle.net/1813/5893
Collections
Computer Science Technical Reports
Author
Constable, Robert L.
Abstract

This paper continues investigations pertaining to recursive bounds on computing resources (such as time or memory) and the amount by which these bounds must be increased if new computations are to occur within the new bound. The paper proves that no recursive operator can increase every recursive bound enough to reach new computations. In other words, given any general recursive operator F[], there is an arbitrarily large recursive t() such that between bound t() and bound Ft() there is a gap in which no new computation runs. This demonstrates that the gap phenomenon first discovered by Borodin for composition is a deeply intrinsic property of computational complexity measures. Moreover, the Operator Gap Theorem proved here is shown to be the strongest possible gap theorem for general recursive operators. The proof involves a priority argument but is sufficiently self-contained that it can easily be read by a wide audience. The paper also discusses interesting connections between the Operator Gap Theorem and McCreight and Meyer's important result that every complexity class can be named by a function from a measured set.

Date Issued
1969-05
Publisher
Cornell University
Keywords
computer science
•
technical report
Previously Published as
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR69-35
Type
technical report

Site Statistics | Help

About eCommons | Policies | Terms of use | Contact Us

copyright © 2002-2026 Cornell University Library | Privacy | Web Accessibility Assistance