52
«ЖӘНЕ» типті қатынастарды граф қабырғаларын байланыстыратын
доғамен (кейде екілік) белгілейді. Бір қалпына келтіру үшін қосымша
(жалған) шыңдарды енгізуге болады.
Сонымен, бастапқы есеп баламалы «НЕМЕСЕ»-сипаты бар бағыныңқы
есептер арқылы беріледі, ал бағыныңқы есептердің ӛзі «ЖӘНЕ» типті
қатынастармен беріледі. Балама шыңдар («НЕМЕСЕ»-шыңдар деп аталады.
«ЖӘНЕ-НЕМЕСЕ» граф үстінде іздестірудің негізгі мақсаты - S
i
шыңның шешілетінін кӛрсету. Шың
шешілетін
деп аталады, егер келесі
шарттардың біреуі орындалса:
1) S
i
шыңы ақырғы (терминалды) болады;
2) S
i
–дан кейінгі шыңдар «НЕМЕСЕ» типті шыңы болып табылады
және олардың аз болғанда біреуі шешілетін болады;
3) S
i
–дан кейінгі шыңдар «ЖӘНЕ» типті шыңы болып табылады және
олардың барлықтары шешілетін болады.
5.8-сурет
. «ЖӘНЕ-НЕМЕСЕ» ағаштың фрагменті
Шешуші граф
– бұл шешілетін шыңнан тұратын және түбірі бастапқы
шыңда орналасқан бағыныңқы граф.
Егер графтың «ЖӘНЕ-НЕМЕСЕ» шыңнан кейін басқа шыңдар
болмаса, онда осындай шыңы
шешілмейтін
деп аталады.
Жаңа шыңдарды тудыру (есептің редукциясы) жалпылама операторды
(яғни, мүмкін болатын кӛпшіліктен қандай болса да оператор; мысалы былай
белгілейік g
G) қолдану арқылы орындалады. Есептің сиппатамасына g
оператордың қолдануы графтың (редукция графы) барлық «ЖӘНЕ-
НЕМЕСЕ» құрылымын тудырады.
Достарыңызбен бөлісу: