A "path" from candidate formula_4 to candidate formula_5 of "strength" formula_6 is a sequence of candidates formula_7 with the following properties:# formula_8 and formula_9.
یک "مسیر" از نامزد formula_4 به نامزد formula_5 به "قدرت" formula_6 دنباله‌ای از نامزدان formula_7 با ویژگی‌های زیر تعریف می‌شود:# formula_8 و formula_9.