Accession Number:

AD0751297

Title:

On a Solution to the Cigarette Smokers' Problem (Without Conditional Statements),

Descriptive Note:

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1972-07-01

Pagination or Media Count:

14.0

Abstract:

The report discusses a problem first introduced by Patil. Patil presented a proof that the problem cannot be solved using the P and V operations introduced by Dijkstra unless conditional statements are used. The report contains a solution to the problem as defined by Patil and shows that Patils proof overlooks important capabilities for P and V which were used by Dijkstra in his original report. The report also discusses the need for the generalized operators suggested by Patil. Author

Subject Categories:

  • Operations Research

Distribution Statement:

APPROVED FOR PUBLIC RELEASE