1023
правки
KVN (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) (→Задача) |
||
(не показаны 2 промежуточные версии этого же участника) | |||
Строка 1: | Строка 1: | ||
== Задача == | == Задача == | ||
О б ъ е к т ы. Ориентированный граф <math>G</math>, каждая вершина которого может находиться в одном из двух состояний: "помечена", "непомечена". | О б ъ е к т ы. [[Ориентированный граф]] <math>G</math>, каждая [[вершина]] которого может находиться в одном из двух состояний: "помечена", "непомечена". | ||
О п е р а ц и и. Для любой вершины <math>p</math> графа <math>G</math> операция ПОМЕТИТЬ(<math>p</math>) выполнима, если <math>p</math> находится в состоянии "непомечена", и при своем выполнении переводит <math>p</math> в состояние "помечена", а предикат НЕПОМЕЧЕНА(<math>p</math>) ложен, если p находится в состоянии "помечена". | О п е р а ц и и. Для любой вершины <math>p</math> графа <math>G</math> операция ПОМЕТИТЬ(<math>p</math>) выполнима, если <math>p</math> находится в состоянии "непомечена", и при своем выполнении переводит <math>p</math> в состояние "помечена", а предикат НЕПОМЕЧЕНА(<math>p</math>) ложен, если p находится в состоянии "помечена". | ||
Строка 16: | Строка 16: | ||
'''проц''' ЛЕС(<math>p_0</math>: ''вершина'') = | '''проц''' ЛЕС(<math>p_0</math>: ''вершина'') = | ||
::<math>S</math> : ''семейство дуг'' = <math>\empty</math>; | |||
::<math>q</math>: ''вершина'' = <math>p_0</math>; | |||
::<math>L</math> : '''начало''' ПОМЕТИТЬ(q); | |||
::::<math>S \Leftarrow \overline{\ni} </math>ИСХОД<math>\,(q)</math>; | |||
:::: '''пока''' <math>S \neq \empty </math> '''цикл''' | |||
::::::<math>q</math> := КОНЕЦ(<math>\overline{\ni}S</math>); | |||
::::::'''если''' НЕПОМЕЧЕНА(<math>q</math>) '''то начать''' <math>L</math> '''все''' | |||
:::: '''все''' | |||
:: '''конец''' | |||
'''все''' | '''все''' |