Repository logo
Log in(current)
Repository logoMIT Open ScholarshipDSpace@MIT
  1. Home
  2. Computer Science and Artificial Intelligence Lab (CSAIL)
  3. Artificial Intelligence Lab Publications
  4. AI Memos (1959 - 2004)
  5. Towards a Theory of Local and Global in Computation

Towards a Theory of Local and Global in Computation

Thumbnail Image
Download
Name

AIM-442.pdf

Size

8.23 MB

Format

Adobe PDF

Checksum (MD5)

c1b71bf2a578cceb730eec127726eb00

Thumbnail Image
Download
Name

AIM-442.ps

Size

10.85 MB

Format

PostScript

Checksum (MD5)

79c6f748d6dc0c596f8559169a502a5b

Author(s)
Abelson, Harold
Date Issued
September 1, 1977
Series/Report no.
AIM-442
Abstract
We formulate the rudiments of a method for assessing the difficulty of dividing a computational problem into "independent simpler parts." This work illustrates measures of complexity which attempt to capture the distinction between "local" and "global" computational problems. One such measure is the covering multiplicity, or average number of partial computations which take account of a given piece of data. Another measure reflects the intuitive notion of a "highly interconnected" computational problem, for which subsets of the data cannot be processed "in isolation." These ideas are applied in the setting of computational geometry to show that the connectivity predicate has unbounded convering multiplicity and is highly interconnected; and in the setting of numerical computations to measure the complexity of evaluating polynomials and solving systems of linear equations.
Persistent DSpace Link
http://hdl.handle.net/1721.1/5743
Repository logo
PrivacyPermissionsAccessibilityContact us
Repository logo
Notify us about copyright concerns.