Intent

Minimize the value of m performing miss.

Template

PCTL
$ \mapping(\lit{conserve}\ \terminal{m} \ \lit{while}\ \term{miss})=\mathcal{E}_{min=?}( \mapping(\term{miss})) $

Variations

This pattern can be extended by considering other quantitative measures, such as energy saving and utility.

Examples and Known Uses

a tour that visits a set of observation locations with minimum length such that each point of interest is observed by at least one complementary pair [65]

Relationships

See the Preserve and Accrue patterns.