| Home / lib / M_Mathematics / | ||
Doklady Odesskogo seminara po diskretnoj matematike, vyp.1 (Astroprint, 2004)(ru)(KA)(600dpi)(T)(57s)_M_.djvu |
|
Size 0.7Mb Date Feb 3, 2004 |
фиксации очередной вершины eq e Ux...
В таблице Tq клетка Т£ представляет собой "множество
смежности" (МС), более точно, это МС является подмножеством
T9k с XJ\ , состоящим из всех таких вершин доли JJI, каждая из
которых смежна с вершиной е? в подграфе Sq...
Наряду с этим в
подграфе Sq указанная вершина el также удаляется вместе
34
с инцидентными ей ребрами...
При
этом каждая клетка Ttqktt этой таблицы не является пустым
множеством...
В процессе построения тупиково-
тупикового подграфа SQ для каждой строки таблицы осуществляется
не более
Uq
операции поэлементарного сравнения и вычер-
вычеркивания в таблице Tq некоторых строк...
На выходе алгоритма ос2 формируется множество клик
размерности ттг, которое определяет собой МДР X = X(G) за-
задачи о совершенных сочетаниях на гиперграфе...
Последнее определяет собой множество совершенных сочета-
сочетаний в исходном гиперграфе...
Пусть L — глубина долговременной памяти [5] в данном
ВР У...
Для фиксированного
£е {1, 2, ..., L) элементы множества Ме всех ^-конфигураций
в ЛВР A) нумеруем индексом г= 1, 2, ..., Ni9 Nt = |М^|, а эле-
элементы терм-множества U = {и} нумеруем индексом s = l, 2,
..., Л^о, iV0=|C/|...
(8)
Во всякой ^-конфигурации (8) для фиксированного £ в
ОГП Ge выделяется звезда Z1 , где ге — значение индекса г,
которым занумерована эта фиксированная ^-конфигурация...
Тогда T(G0) + T(G\G0) < T(G), откуда получаем:
s0N0 + s1(Nl - No) < SqN, 0 < p = — < 1...
В дальнейшем предполагается развитие общего подхода
для параметризации алгоритмов нахождения точного и
е-приближенного решений...
| © 2007 eKnigu | ||