Verwandte Artikel zu Lucid-Boxes Vs; Black-Boxes (Classic Reprint)

Lucid-Boxes Vs; Black-Boxes (Classic Reprint) - Softcover

Vishkin, Uzi

 
9781332939152: Lucid-Boxes Vs; Black-Boxes (Classic Reprint)

Inhaltsangabe

Excerpt from Lucid-Boxes Vs; Black-Boxes

Every existing algorithm represents some knowledge that has been acquired. It is the responsibility Of theoreticians in the field to explore every Opportunity to utilize the knowledge accumulated so far for the future design Of algorithms. Often it is easier to use existing efficient algorithms for another problem in related models Of computation rather than designing a completely new algorithm.

For later in the introduction we need the following. It is well known that sequential execution of a computer program, say P, on some input I can be described similarly to a proof in mathematical logic. Associate a line with each step of this execution. A line that corresponds to step 5 1) includes the sequence V of all input and program (including output) variables and their contents at the beginning Of the step. Next to it, specify the (atomic) instruction (with respect to a machine or a programming language) which is executed in step 8. The sequence V at the beginning of step s+1 is written in the next line which is associated with this step.

We Outline a methodological framework for the design of efficient algorithms which is simple, uniform and general. It provides for both (1) a direct design of a procedure from atomic instructions, and (2) a build-up Of a composed procedure from a sequence of given procedures. While, for direct design we suggest using known ways; we introduce some ideas for composition of new procedures from other (specified or not fully specified) procedures. It will be evident that other known ways for composition of procedures can be derived efficiently from our framework. Our framework takes full advantage of the line-by-line execution description of existing programs given above. Therefore, we coin the name lucid boxes to the way in which existing programs are used. This is in sharp contrast to the concept of 'b1ack boxes', where only predeclared outputs of existing programs are transparent to procedures which are composed out of these existing procedures.

About the Publisher

Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com

This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.