Space-time tradeoffs in negative cycle detection - An empirical analysis of the Stressing Algorithm

K. Subramani, C. Tauras, Kamesh Madduri

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

This paper discusses space-time tradeoffs associated with algorithms for the problem of detecting negative cost cycles in networks (NCCD). NCCD is one of the more ubiquitous problems in computer science and operations research, with applications ranging from program verification and real-time scheduling to image segmentation and shortest path identification. Typical algorithmic analysis, whether theoretical or empirical, focuses almost exclusively on the running time of the algorithm. However, there exist applications in which space is just as important a parameter as time is. This is especially true when the problem instances are very large, as is the case in program verification. Consequently, an algorithm that minimizes running time while ignoring the space overhead may be impractical. In this paper, we analyze a number of the more common algorithms for NCCD from the perspectives of both time and space, with a view towards providing a space-time tradeoff for the practitioner. All the algorithms discussed in this paper (with the exception of Network Simplex) run in O (m · n) time on a network with m arcs and n vertices; however, their space requirements range from O (1) (Stressing Algorithm) to Ω (n) (all the Bellman-Ford and Network Simplex variants). Our empirical results demonstrate that in the cases where space is paramount, the Stressing Algorithm is a useful alternative to the Bellman-Ford variants.

Original languageEnglish (US)
Pages (from-to)3563-3575
Number of pages13
JournalApplied Mathematics and Computation
Volume215
Issue number10
DOIs
StatePublished - Jan 15 2010

Fingerprint

Empirical Analysis
Trade-offs
Space-time
Cycle
Program Verification
Computer operating procedures
Operations research
Operations Research
Image segmentation
Image Segmentation
Shortest path
Computer science
Exception
Theoretical Analysis
Computer Science
Arc of a curve
Scheduling
Real-time
Minimise
Alternatives

All Science Journal Classification (ASJC) codes

  • Computational Mathematics
  • Applied Mathematics

Cite this

@article{e9e4411ee1e54b0bbbadb413094c6fe7,
title = "Space-time tradeoffs in negative cycle detection - An empirical analysis of the Stressing Algorithm",
abstract = "This paper discusses space-time tradeoffs associated with algorithms for the problem of detecting negative cost cycles in networks (NCCD). NCCD is one of the more ubiquitous problems in computer science and operations research, with applications ranging from program verification and real-time scheduling to image segmentation and shortest path identification. Typical algorithmic analysis, whether theoretical or empirical, focuses almost exclusively on the running time of the algorithm. However, there exist applications in which space is just as important a parameter as time is. This is especially true when the problem instances are very large, as is the case in program verification. Consequently, an algorithm that minimizes running time while ignoring the space overhead may be impractical. In this paper, we analyze a number of the more common algorithms for NCCD from the perspectives of both time and space, with a view towards providing a space-time tradeoff for the practitioner. All the algorithms discussed in this paper (with the exception of Network Simplex) run in O (m · n) time on a network with m arcs and n vertices; however, their space requirements range from O (1) (Stressing Algorithm) to Ω (n) (all the Bellman-Ford and Network Simplex variants). Our empirical results demonstrate that in the cases where space is paramount, the Stressing Algorithm is a useful alternative to the Bellman-Ford variants.",
author = "K. Subramani and C. Tauras and Kamesh Madduri",
year = "2010",
month = "1",
day = "15",
doi = "10.1016/j.amc.2009.10.053",
language = "English (US)",
volume = "215",
pages = "3563--3575",
journal = "Applied Mathematics and Computation",
issn = "0096-3003",
publisher = "Elsevier Inc.",
number = "10",

}

Space-time tradeoffs in negative cycle detection - An empirical analysis of the Stressing Algorithm. / Subramani, K.; Tauras, C.; Madduri, Kamesh.

In: Applied Mathematics and Computation, Vol. 215, No. 10, 15.01.2010, p. 3563-3575.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Space-time tradeoffs in negative cycle detection - An empirical analysis of the Stressing Algorithm

AU - Subramani, K.

AU - Tauras, C.

AU - Madduri, Kamesh

PY - 2010/1/15

Y1 - 2010/1/15

N2 - This paper discusses space-time tradeoffs associated with algorithms for the problem of detecting negative cost cycles in networks (NCCD). NCCD is one of the more ubiquitous problems in computer science and operations research, with applications ranging from program verification and real-time scheduling to image segmentation and shortest path identification. Typical algorithmic analysis, whether theoretical or empirical, focuses almost exclusively on the running time of the algorithm. However, there exist applications in which space is just as important a parameter as time is. This is especially true when the problem instances are very large, as is the case in program verification. Consequently, an algorithm that minimizes running time while ignoring the space overhead may be impractical. In this paper, we analyze a number of the more common algorithms for NCCD from the perspectives of both time and space, with a view towards providing a space-time tradeoff for the practitioner. All the algorithms discussed in this paper (with the exception of Network Simplex) run in O (m · n) time on a network with m arcs and n vertices; however, their space requirements range from O (1) (Stressing Algorithm) to Ω (n) (all the Bellman-Ford and Network Simplex variants). Our empirical results demonstrate that in the cases where space is paramount, the Stressing Algorithm is a useful alternative to the Bellman-Ford variants.

AB - This paper discusses space-time tradeoffs associated with algorithms for the problem of detecting negative cost cycles in networks (NCCD). NCCD is one of the more ubiquitous problems in computer science and operations research, with applications ranging from program verification and real-time scheduling to image segmentation and shortest path identification. Typical algorithmic analysis, whether theoretical or empirical, focuses almost exclusively on the running time of the algorithm. However, there exist applications in which space is just as important a parameter as time is. This is especially true when the problem instances are very large, as is the case in program verification. Consequently, an algorithm that minimizes running time while ignoring the space overhead may be impractical. In this paper, we analyze a number of the more common algorithms for NCCD from the perspectives of both time and space, with a view towards providing a space-time tradeoff for the practitioner. All the algorithms discussed in this paper (with the exception of Network Simplex) run in O (m · n) time on a network with m arcs and n vertices; however, their space requirements range from O (1) (Stressing Algorithm) to Ω (n) (all the Bellman-Ford and Network Simplex variants). Our empirical results demonstrate that in the cases where space is paramount, the Stressing Algorithm is a useful alternative to the Bellman-Ford variants.

UR - http://www.scopus.com/inward/record.url?scp=72749101379&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=72749101379&partnerID=8YFLogxK

U2 - 10.1016/j.amc.2009.10.053

DO - 10.1016/j.amc.2009.10.053

M3 - Article

VL - 215

SP - 3563

EP - 3575

JO - Applied Mathematics and Computation

JF - Applied Mathematics and Computation

SN - 0096-3003

IS - 10

ER -