Space-time tradeoffs in negative cycle detection - an empirical analysis of the stressing algorithm

DOI10.1016/J.AMC.2009.10.053zbMATH Open1189.90182OpenAlexW1971280916MaRDI QIDQ846471FDOQ846471

C. Tauras, K. Subramani, Kamesh Madduri

Publication date: 9 February 2010

Published in: Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.amc.2009.10.053

Recommendations

• A zero-space algorithm for negative cost cycle detection in networks
• Identifying negative cost cycles in strongly polynomial space
• A mechanical verification of the stressing algorithm for negative cost cycle detection in networks
• Negative-cycle detection algorithms
• Negative-cycle detection algorithms

zbMATH Keywords

difference constraint systemcontraction-based approachnegative-cycle detectionrelaxation-based approachstressing approach

Mathematics Subject Classification ID

Programming involving graphs or networks (90C35) Graph algorithms (graph-theoretic aspects) (05C85) Deterministic network models in operations research (90B10)

Cites Work

• Title not available (Why is that?)
• Introduction to algorithms
• Temporal constraint networks
• A zero-space algorithm for negative cost cycle detection in networks
• Title not available (Why is that?)
• An Algebra for Network Routing Problems
• Shortest paths algorithms: Theory and experimental evaluation
• Shortest‐path methods: Complexity, interrelations and new propositions
• Regular Algebra Applied to Path-finding Problems
• Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination
• An analysis of totally clairvoyant scheduling
• On contrasting vertex contraction with relaxation-based approaches for negative cost cycle detection
• Fast Algorithms for Solving Path Problems
• A Unified Approach to Path Problems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Dual algorithms for the shortest path tree problem
• Title not available (Why is that?)
• Negative-cycle detection algorithms
• Optimal in-place algorithms for 3-D convex hulls and 2-D segment intersection
• The Constraint Database Approach to Software Verification

Cited In (2)

• On contrasting vertex contraction with relaxation-based approaches for negative cost cycle detection
• Enhanced compact models for the connected subgraph problem and for the shortest path problem in digraphs with negative cycles

Uses Software

• Netsoft

This page was built for publication: Space-time tradeoffs in negative cycle detection - an empirical analysis of the stressing algorithm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q846471)