Max-flow Min-cut Algorithm Early Termination Push-relabel

Resolve Bottlenecks,
Find Innovative Solutions
Generate Solutions

Solution Overview

Problem

Existing push-relabel algorithms are inefficient in scenarios with high resolution and real-time requirements, as they fail to fully utilize application-specific characteristics to reduce redundant computations.

Innovation Solution

A max-flow/min-cut solution algorithm that introduces an early termination condition based on a separation condition and a stable condition, allowing the algorithm to terminate correctly and reduce redundant computations.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Measurement precision

If the push-relabel algorithm runs to completion to ensure exact maximum flow, then accuracy is improved, but computation time increases significantly

Engineering Contradiction:
Improveaccuracy of maximum flowVSAvoidcomputation time
Core Design Contradiction:
Measurement precisionVSLoss of time

Solution Approach 1:

The patent applies partial action by introducing early termination conditions that allow the algorithm to stop before completing all possible push-relabel operations. The separation condition (no source node in set T) and stable condition (no active node in set T) enable the algorithm to achieve sufficient accuracy without exhaustive computation, directly resolving the contradiction between accuracy and computation time.

Inventive Principle:
Principle #16Partial or excessive action

2Reliability

If the algorithm processes all nodes and edges thoroughly, then solution completeness is improved, but computational redundancy increases

Engineering Contradiction:
Improvesolution completenessVSAvoidcomputational efficiency
Core Design Contradiction:
ReliabilityVSProductivity

Solution Approach 1:

The patent segments the node set into two disjoint sets S and T based on reachability to the sink node. This segmentation enables the early termination conditions to be checked efficiently: the separation condition verifies no source node is reachable from sink, and the stable condition verifies no active nodes remain in T. This segmentation maintains solution reliability while reducing computational redundancy by avoiding processing of nodes that cannot affect the final result.

Inventive Principle:
Principle #1Segmentation

3Productivity

If existing early termination techniques are applied to reduce computations, then productivity is improved, but reliability deteriorates due to incorrect termination

Engineering Contradiction:
Improvecomputation speedVSAvoidcorrectness of termination
Core Design Contradiction:
ProductivityVSReliability

Solution Approach 1:

The patent implements feedback through continuous monitoring of two conditions during algorithm execution: the separation condition (checking if source node s ∈ S at any time) and the stable condition (checking if active nodes exist in T). These feedback mechanisms ensure termination only occurs when both conditions are satisfied, guaranteeing correctness while enabling early termination to improve productivity.

Inventive Principle:
Principle #23Feedback

Data Source

PatentUS12223691B2Max-flow/min-cut solution algorithm for early terminating push-relabel algorithm
Publication Date: 2025.02.11 SHANGHAI TECH UNIV
  • US12223691B2 patent drawing
  • US12223691B2 patent drawing

AI summary

A max-flow/min-cut solution algorithm for early terminating a push-relabel algorithm is provided. The max-flow/min-cut solution algorithm is used for an application that does not require an exact maximum flow, and includes: defining an early termination condition of the push-relabel algorithm by a separation condition and a stable condition; determining that the separation condition is satisfied if there is no source node s, s∈S, in the set T at any time in an operation process of the push-relabel algorithm; determining that the stable condition is satisfied if there is no active node in the set T; and terminating the push-relabel algorithm if both the separation condition and the stability condition are satisfied. The early termination technique is proposed to greatly reduce redundant computations and ensure that the algorithm terminates correctly in all cases.