Skip to main content Accessibility help
×
Hostname: page-component-76fb5796d-45l2p Total loading time: 0 Render date: 2024-04-26T18:48:15.605Z Has data issue: false hasContentIssue false

4 - Directed Graphs

from PART I - PRELIMINARIES

Published online by Cambridge University Press:  05 November 2012

Guy Even
Affiliation:
Tel-Aviv University
Moti Medina
Affiliation:
Tel-Aviv University
Get access

Summary

A directed graph is simply an abstraction of a network of one-way roads between a set of cities. When one travels in such a network, one may return to the starting point. In this chapter, we are interested in special networks that exclude the possibility of ever returning to the starting point or to any city we have already visited. We refer to a network as acyclic.

Suppose we are traveling in an acyclic network of one-way roads. By definition, on each trip, we may visit each city at most once. A very natural question that arises is; what is the maximum number of cities we can visit? In this chapter, we present a simple and efficient algorithm that finds the longest sequence of cities we can visit in the special case of acyclic networks of one-way roads.

Acyclic directed graphs are also an abstraction of assembly instructions of an airplane model. The vertices in this case are not cities but assembly tasks (glue two parts together, paint a part, etc.). An edge from task u to task υ is not a one-way road but a dependence indicating that before task v is started, one must complete task u. Given such assembly instructions, we would like to find an ordering of the tasks that obeys the dependencies. A single worker can then assemble the airplane model by completing one task at a time according to this ordering. Such an ordering is a called a topological ordering. We present a simple and efficient algorithm for topological ordering.

Type
Chapter
Information
Digital Logic Design
A Rigorous Approach
, pp. 38 - 51
Publisher: Cambridge University Press
Print publication year: 2012

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Save book to Kindle

To save this book to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

  • Directed Graphs
  • Guy Even, Tel-Aviv University, Moti Medina, Tel-Aviv University
  • Book: Digital Logic Design
  • Online publication: 05 November 2012
  • Chapter DOI: https://doi.org/10.1017/CBO9781139226455.005
Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

  • Directed Graphs
  • Guy Even, Tel-Aviv University, Moti Medina, Tel-Aviv University
  • Book: Digital Logic Design
  • Online publication: 05 November 2012
  • Chapter DOI: https://doi.org/10.1017/CBO9781139226455.005
Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

  • Directed Graphs
  • Guy Even, Tel-Aviv University, Moti Medina, Tel-Aviv University
  • Book: Digital Logic Design
  • Online publication: 05 November 2012
  • Chapter DOI: https://doi.org/10.1017/CBO9781139226455.005
Available formats
×