Skip to content

Reverse search [mp]

Micro pattern

Description

Search from targets, endpoints, or known-safe states toward possible origins.

Problems

Search outward from all targets

Treat every target as an initial source and propagate distances.

Search from both endpoints

Expand source and target frontiers until they meet.

Search the safe complement

Start at protected boundaries and identify their reachable region.

Search from dependency sources

Start with states having no remaining dependencies and propagate availability.