This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
0 | Вх < d}. Двойственной к L будет задача L* : min{(6, u) + (d, v) \ ATu + BTv > с,
[и, v] > 0}. (2.53*)
Положим [й, v] = arg(2.53*), vF = [ u i , . . . ,йто] — разбиение вектора й на фрагменты, соответствующие разбиению матрицы А на подматрицы Aj, j =•!,... ,чщ. Т е о р е м а 2.14. Пусть задача L, т.е. (2.53), разрешима. Если Rj > l|uj||j, j = !)••• i ^ o , m o op^L = opfP и ArgL С .Ar7?P; если же Rj > ||uj||^, j = 1,... ,mo, mo ArgL = ArgP. Доказательство. Выпишем два соотношения, используемые ниже в доказательстве: \ Lv *1 ч
I _f R о ivv
*J^
I
I
^^^
I I Ov ^ 1 1 *
i l l ^ £ ^ 1 0 ^*v
т
ф
*^
\j^
l
| | * ч
(с, х) = (6, u) + (d, «), здесь ж е ArgL, ж е М. Первое из них следует из определения сопряженной нормы, второе есть выражение теоремы двойственности.
;
89
Раздел 2.9. Метод точных штрафных функций в ЛП
Так как Ф (R; х) = (с,х) = opt L, то opt Р > opt L. Докажем обратное неравенство. Для любого х € Мо имеем: то
Ф (Д, х) = (с, x)~Y^ Rj \\(AjX - ^) + ||j < 3=1
< (АТп + BTv, x)-
— изоморфизм, то ср(и) G Е, значит, UtU Jit = N m, следовательно, Ut=i Jk = N m, и tp(w) e E, no определению гиперграфа МСП, откуда w = ^~ 1 (у( г у )) ^ -^Г, так как >р~1 также изоморфизм. Достаточность. Покажем, что если условия (6.36-6.37) выполнены, то найдутся число т и множества JD\,... ,Dm E N, такие что гиперграф G МСП системы (6.35) изоморфен Г. Если'р = 1, то возможны два случая: Г = ({vi},{{vi}}) и Г = ({v\},Q)). В первом случае полагаем т = 1 и D\ — {1}, во втором m = 2 и D\ — {1}, £>2 = 0. Видно, что в обоих случаях гиперграф МСП построенной системы (6.35) изоморфен Г. Если р > 1, то положим
Так как множество W конечно, то будем считать, что W {и>х,..., wm}, где т > 0. Положим Jk = {i | Щ £ Wi} 9 Математические методы...
250
Глава 6. Метод комитетов
для всех k e N p . Построенные множества удовлетворяют следующим условиям: 0
ф
J*CNm,
Ф 0 (Ai^fta)
(6.38) • (б-39) ( 0 # £ C N P ) . (6.40)
Условия (6.38-6.39) гарантируют, что множества J\,... ,JP являются индексами МСП некоторой системы включений. Действительно, положим: Dj = {i\jeJi}
(j£Nm),
,(6.41)
Видно, что множества Jfe, (к € Np) и только они являются индексами МСП системы (6.35) с построенными множествами Dj. Действительно, для каждого Jj, по построению, выполнено: г € Dj (j ё Ji), следовательно, dj^j^j Ф 0- С другой стороны, пусть C\jeL Dj ф 0) где L ф 0. По построению, найдется г £-Np, такое что Г £ .Д,- для каждого j £ L, значит, L С Jj. Определив биекцию (/з : УГ —> V естественным образом: ip{vk) = J^, в силу условия (6.40), получаем, что <р — изоморфизм гиперграфа Г на G.
D Дал^ее будем рассматривать гиперграфы с точностью до изо-, морфизма,' отождествляя изоморфные Г'и С Другими словами, гиперграф без кратных ребер, удовлетворяющий условиям (6.36-6.37), будем называть гиперграфом МСП. Как следует из доказанной теоремы, класс гиперграфов МСП систем вида (6.35) достаточно широк. Выделим в нем подкласс гиперграфов МСП систем (6.35), разрешимых комитетом из q членов, для некоторого заданного qEN. Пусть к G N g _i. Определение 6.10. Конечную последовательность вершин S — (v^,...,Viq+1) гиперграфа Г, обладающую свойством: для каждого L С N g + i, такого что \L\ = fc-Ы, выполняется {^. : j 6 L} е ЕГ, назовем (q, &)-симплексом в гиперграфе Г = (УГ, ЕГ).
Раздел 6.3. Гидерграф МСП
251.
Обозначение (q, /г)-симплекс выбрано из геометрических соображений. Видно* например, что вершины-элементы (2, ^-сим1 плекса образуют в гиперграфе Г треугольник (3-цикл). Следующее простое утверждение содержит критерий, связывающий разрешимость системы (6.35) комитетом с существованием в ее гиперграфе МОП (q, /г)-сшушлекса для подходящих чисел q,keN. Теорема 6.12. Система (6.35) разрешима комитетом из q членов тогда и только тогда, когда в гиперграфе G ее МСП найдется подгиперграф, вершины которого образуют (q — 1, [(q — 1)/2 j)-симплекс. 1
q
Доказательство. Пусть Q = (х ,... ,x ) — комитет систеl мы (6.35), G — гиперграф ее МСЦ. Положим J[ = {j\ x € Pj}, для каждого г е N g . Пусть J i , . . . , Jq — индексы МСП системы (6.35), не обязательно различите, такие что J[ С Jj {% GN g ). Покажем, что ( J i , . . . ,Jq) — искомый (q — 1, [(q — 1)/2])-симплекс. Действительно, рассмотрим произвольное ,L С N g , такое что \Ц = [(q- 1)/2J +1 = L(? + 1)/2J, L.= {h,• • ...,«L(e+D/2j}» и произвольное j e N m l Если j $. ( Ufc=i нию, j ^ I Ujfc=i то
^4 ) • Поскольку Q — комитет системы (6.35),
эe rn2=|_a±ij J 4J s I ' t ^ j Ji4' 9 +1)/2J
3 6 U}i i
«^"4 ) > то,'по по.строе-
Ji, • Следовательно, J = | j E
0ТК
Уда ^едует-что
+1)/2J
Л , и ( J i , . . , , J 9 ).
является (q — 1, [(g — 1)/2])-симплексом в гиперграфе G. Достаточность. Предположим, что в гиперграфе G нашлись не обязательно различные вершины J i , . . . ,Jq, образующие (q — 1, [(q — 1)/2])-симплекс. Пусть хг е D(Ji) (i e N 9 ). Рассмотрим произвольное j G N m , не ограничивая общности, будем полагать, что {г| х{ е Dj} = {1,... , q'}. Тогда j $ (lJLg'+i Jl) ' С л е ' довательно, q- q' < [(q + 1)/2J, откуда q' > [q/2\ + 1. Значит, Q — (ж 1 ,... ,xq) — комитет системы (6.35), по определению.
•
252
Глава 6. Метод комитетов
В доказанной нами теореме утверждается, что задачи поиска комитета с заданным числом членов и подгиперграфа специального вида в гиперграфе МСП эквивалентны. В следующем параграфе мы приведем классификацию комитетов по строению соответствующих им подгиперграфов гиперграфа G. Опишем свойства гиперграфа МСП системы линейных однородных неравенств, заданной на плоскости. Пусть задана система: {ц,х)>0
(jeKm),
(6.42)
2
где aj,x G R и среди векторов aj нет нулевых и противоположно направленных. Пусть {ii,... , 1Р} — множество индексов МСП системы (6.42). Как упоминалось ранее, р нечетно и равно числу членов минимального комитета, разрешающего систему (6.42), будем полагать р = 244-1- Пусть Gi = (V2, Е2) — гиперграф МСП системы (6.42). Ниже мы покажем, что он обладает своего рода экстремальным свойством относительно числа членов минимального комитета системы (6.42): множество его ребер максимально по включению среди множеств ребер гиперграфов порядка р МСП произвольных систем (6.35), разрешимых минимальным комитетом из р членов. Рассмотрим булеву матрицу М размера m x р, элемент которой / !» если j-.Gii, / т . . _ 31 \ 0, иначе Перенумеруем неравенства и индексы МСП системы (6.42) так, чтобы матрица М приобрела удобный для рассмотрения вид. Для этого сопоставим каждому неравенству единичный направляющий вектор Cj прямой {х | (оу,ж) = 0}, выбрав из двух возможных тот, при движении в направлении которого по указанной прямой полуплоскость {х j (a,j,x) > 0} остается справа. Обозначим индексы МСП системы (6.42) символами Д , . . . ,1Р в порядке возрастания полярного угла направляющего вектора левой границы конуса решений соответствующей МСП. Пронумеруем неравенства системы (6.42) натуральными числами
253
Раздел 6.3. Гиперграф МСП
1,... т в порядке возрастания полярного угла сопоставленных им направляющих векторов с,, считая, что номер 1 присвоен направляющему вектору левой границы конуса решений МСП с индексом 1\ (см. Рис. 6.1). 9
В
2
В*
9'
Рис. 6.1: Пример нумерации неравенств и максимальных совместных подсистем При выбранной нумерации неравенств и индексов МСП системы (6.42) матрица М примет следующий вид:
О
1 О 1 1
0 1
.. О
1
О
...
О ...
О
1
О
1
1 1 0 1
...
1 1
О 1
...
1
1
Глава 6. Метод комитетов
254
Видно, что каждое неравенство входит ровно в t+1 индекс МСП, причем, поскольку в матрице М ровно р = 2t+l попарно различных строк, то неравенства системы (6.42) разбиваются нар классов эквивалентности. А именно, неравенства с номерами j \ и ji входят в одни и те же индексы МСП тогда и только тогда, когда они являются представителями одного класса (соответственно, когда строки матрицы М с номерами j \ и ,?2 совпадают). Пронумеруем классы эквивалентности неравенств системы (6.42) в естественном порядке числами 1,... ,р. Итак, Сг2 = (V2,E2) — гиперграф МСП системы (6.42) на плоскости, Уг = {1%,... , 1Р}. Для описания множества Ei достаточно оставить в рассмотрении по одному неравенству из каждого класса эквивалентности, рассматривая вместо матрицы М квадратную булеву матрицу М' размера р х р : 1 О
М'=
0
1
1
1
0
•••
1
О
1
1
1
1
"•
0
•
1
"•
1 •.
0
;••
О 1 О '• О О
1
1
о
"•• о
1
> !
Легко видеть, что, например, вершина Д входит в двухэлементные ребра {Ii,It+i} и {Ji, J i + 2 } . Следующее простое предложение определяет условие на номера вершин, входящих в некоторое подмножество и С Уг, необходимое и достаточное для того, чтобы и £ Еч. Ниже всегда будем полагать, что запись: u={Ii1,.:.)Ii3} подразумевает ix
Раздел 6.3. Гиперграф
М
С
П
2
6
5
Предложение 6.1. Подмножество вершин {1^)... ,Д3} гиперграфа С?2 является его ребром тогда и только тогда, когда для каждого к € Ns выполняется (i((k ( m o d s))+i) ~ ч) (mod p) <
t + 1.
:•
.
Доказательство. Достаточность очевидна ввиду особенности строения матрицы М'. = N Необходимость. Пусть {/^,... ,4,} е Е2. Тогда UJUI-^A m, по определению Gi- Покажем, например, что %%—i\ < t+1. Заметим, что в МСП с индексом Ik входят все неравенства-представители классов с номерами: к, (к (mod р)) + 1,... ,((к + (t — 1)) (modp)) + 1 и только они. Рассмотрим произвольное неравенство с номером г из класса ((«i + t) (modp)) + 1. Видно, что т ^ 1{г, значит, найдется к 6 2,s : т'Е Iik. Следовательно, все неравенства из указанного класса входят в МСП с индексом 1{к. То есть, либо ik = ((h+t) (mod р))+1, либо найдется с 6 0, t — 1, такое что ((г^ + с) (mod р)) + 1 = ((ц +1) (mod p)) + 1. В первом случае ik - 1 = (ik — 1) (mod p) = (ii + i) (mod p), откуда 4 — 4 = {h — h) (mod p) = (t + 1) (mod p) = t + 1. Во втором ** — «i = (ijfc — ц) (modp) = {t — c) (modp) = t — с < t. Поскольку г - 4 < * + 1Из доказанного предложения следует, в частности, что, если число р достаточно велико, то Е% содержит ребра, не содержащие в себе никакое двухэлементное ребро. Например, гиперграф МСП системы изображенной на рис. 6.1, содержит ребро {Ii, 14,17}, не содержащее.в себе двухэлементные ребра. Перечислим также некоторые свойства графа МСП системы линейных однородных неравенств, множество вершин которого совпадает с множеством вершин ее гиперграфа МСП, а множество ребер индуцируется подмножеством двухэлементных ребер указанного гиперграфа. Понятие графа МСП впервые было введено в работе [28] для системы строгих однородных линейных неравенств. Свойства этого графа подробно изучены в работах [2, 3], в работе [2] неко-
256
Глава 6. Метод комитетов
торые из них были обобщены на случай более общей системы включений. Следствием этих результатов стало построение более быстрого, чем алгоритм свертывания Фурье-Черникова [33], алгоритма нахождения всех МСП системы строгих однородных линейных неравенств. Пусть J i , . . . , Jp — индексы всех МСП системы (6.35). Далее мы будем пользоваться некоторыми понятиями из теории графов [6]. Пусть G = (V,E) произвольный граф. Степенью его вершины v называется число ребер, инцидентных v, то есть число: |{е G Е : v € е}|. Чередующаяся последовательность: V1,{VI,V2},V2,{V2,V3},... ,{vi-i,Vl},V[,
(6.43)
в которой Vj е V, {VJ,VJ+I} G Е, называется (г>1,эд)-маршрутом. Часто маршрут задается последовательностью входящих в него вершин. Маршрут называется цепью, если все его ребра различны, и простой цепью, если все его вершины, кроме, может быть, крайних, различны. Маршрут (6.43) называется циклическим, если v\ = vi. Циклическая цепь называется циклом, а простая — простым циклом. Число ребер маршрута называется его длиной. Граф G называется связным, если для любых вершин V{ ф Vj в нем существует (и*, и^-маршрут. Далее мы будем рассматривать цепи и циклы в гиперграфе, тем не менее, подразумевая под ними только что введенные понятия. • Пусть X топологическое пространство, в котором заданы упорядоченные пары множеств (Ai,A'j),... , (Am,A'm). Определим множества £>i, . . . ,£>m С X х {0,1} следующим образом:
и рассмотрим систему включений:
Видно, что произвольная подсистема с индексом 0 ф L С N m системы (6.44) совместна (т.е. D(L) = f]jeLDj ф • 0) тогда и
только тогда, когда ^)jeL A,-) U (f)jeL
A'fj ф 0.
257
Раздел 6.3. Гиперграф МСП
Теорема 6.13. Пусть множества Aj,A'j открыты в X, Aj П A'j = 0, Fj = X\ (Aj U A'j) нигде не плотно в X для всех j G N m и множество F = Ц_,у F{ Г)Fj. Если множество X\F связно, то граф МСП системы (6.44) связен. Следствием приведенной теоремы является теорема, доказанная ранее В.Ю.Новокшеновым, о связности графа МСП системы: (aj,x)>0
(j€N m ),
(6.45)
в которой aj,x e R n , ||о^|| = 1 и a,j±ai ф О для любых i,j € N m . Действительно, сопоставим системе .(6.45) подходящую систему (6.44) [2], для чего положим Aj = {x\(aj,x) > 0}, A'j = {х\(aj,x) < 0}. Для произвольного 0 Ф L
258
_^____
Глава 6. Метод комитетов
Теорема 6.16. Всякое ребро графа МСП системы (6.45) принадлежит простому циклу длины не большей т. Теорема 6.17. Граф МСП системы (6.45) содержит простой цикл нечетной длины, не превосходящей т. Последняя теорема позволяет с другой стороны взглянуть на вопрос существования комитета для системы линейных однородных наравенств. Из определения комитета следует, что если индексы J\, J2, • • • , fok-i образуют цикл в графе МСП произвольной системы включений (6.35) (в частности, системы (6.45)), то указанная система разрешима комитетом, составленным из решений соответствующих МСП, взятых для каждой по одному. Таким образом, наличия цикла нечетной длины достаточно для существования комитета. Последняя теорема утверждает, что если система линейных однородных неравенств обладает комитетом, то она обладает и комитетом, которому соответствует простой цикл нечетной длины. Теорема прямо следует из теоремы 6.6, в доказательстве которой строится комитет системы (6.45) из не более чем т членов — решений МСП, индексы которых как раз образуют в графе ее МСП цикл нечетной длины, в котором можно выделить простой подцикл также нечетной длины. Ниже будет показано, что в случае произвольных систем включений наличие в графе МСП системы (6.35) цикла нечетной длины не является необходимым для ее разрешимости комитетом (например, система рассмотренная в замечании после теоремы 6.3, разрешима комитетом из 5 членов, в то.время как ее граф МСП ацикличен), поэтому возникла задача классификации минимальных комитетов с одинаковым числом членов в соответствии с подграфом, порожденным в графе МСП индексами МСП, из решений которых они составлены. Ниже мы решим эту задачу для числа членов комитета 3 и 5. Кроме перечисленных, в работе [2] получен еще ряд интересных свойств графа МСП системы (6.45): раскрашиваемость, 2-связность и др.
259
Раздел 6.4. Минимальный комитет
6.4.
Минимальный комитет
В разделе описываются свойства комитетах минимальным числом членов, называемого минимальным, не обязательно совместной системы включений: (j в N m ) ,
х Е Dj
(6.46)
где Dj — некоторые множества в R". На множестве Q комитетов системы (6.46) можно определить различные критерии выбора оптимального элемента, реализующие различные подходы к обобщению понятия ее решения: 1. критерий минимального расстояния между членами; ему соответствует задача нахождения комитета Q = (а? 1 ,... , ж9) 6 Q, минимизирующего величину п(\\<гг — <г2Н х
9\\\
х
И г ' " 1 — г'1П х
\ь • • • > \\
х
\\))
где g — некоторая выпуклая функция; 2. критерий максимума частот событий: 'Ч-тый член комитета удовлетворяет j-тому ограничению"(г € Ng, j G N m ); ему соответствует задача нахождения Q = (ж 1 ,... , xq) € Q, максимизирующего функцию р : Q ->• [0,1] вида: . |{»: /ЛЧ p(Q) = mm
^
3. критерий оптимизации средней прибыли; ему соответствует задача поиска Q = (ж 1 ,... , xq) G Q, максимизирующего величину:
для некоторого с G R n , и другие.
260
Глава 6. Метод комитетов
Критерий минимальности числа членов является одним из наиболее часто употребимых критериев оптимальности на множестве комитетов системы (6.46). Тем не менее задача поиска минимального комитета, ввиду своего комбинаторного характера, является одной из наиболее трудных в теории комитетов. В дискретной оптимизации есть понятие NP-полной и NPтрудной задач. Примерами таких задач являются известные задачи коммивояжера, целочисленного программирования, о рюкзаке. Все эти задачи характеризуются тем, что, во-первых, для их решения не известно алгоритма, вычислительная сложность которого оценивалась бы сверху полиномом от длины записи их условий, а, во-вторых, известно, что если бы нашелся такой алгоритм хотя бы для одной из таких задач, то все задачи из класса NP также были бы разрешимы алгоритмами с полиномиальной оценкой сложности. NP-полная задача кроме того характеризуется принадлежностью к классу NP — класса задач с полиномиальной проверкой полученного ранее решения. Ясно, что Р, класс всех задач, разрешимых полиномиальными алгоритмами, является подмножеством NP. Существует гипотеза, что Р ф NP, в рамках которой NP-полные задачи являются как бы самыми труднорешаемыми в классе NP. Ниже мы покажем, что задача поиска минимального комитета системы (6.46), в которой все множества Dj конечны, является NP-трудной. ' Теорема 6.18. Пусть Di,D2,...,Dm — конечные мнооюества. Задача поиска минимального комитета системы (6.46) NP—трудна. Доказательство. Достаточно доказать NP-полноту следующей задачи распознавания свойств: Задача КОМИТЕТ: Заданы подмножества Di, £>2,. •. , Dm конечного множества X и число к 6 N. Определить, существует ли комитет системы (6.46) с числом членов, не превосходящим 2к — 1. Воспользуемся стандартным приемом доказательства и покажем полиномиальную сводимость к поставленной задаче задачи
261
Раздел 6.4. Минимальный комитет
МНОЖЕСТВО ПРЕДСТАВИТЕЛЕЙ, NP-полнота которой доказана [5]. Задача МНОЖЕСТВО ПРЕДСТАВИТЕЛЕЙ: Заданы подмножества С\, Сг,... , С„ конечного множества S и число А;. Определить, существует ли система представителей М для заданных подмножеств с числом членов, не большим к. Для доказательства полиномиальной сводимости достаточно для произвольного конечного множества S, набора его подмножеств С\,... , Сп и числа к указать множество X и его подмножества Di,... , D m , такие что множества С\,... ,С п обладают системой представителей с числом членов не большей к тогда и только тогда, когда система (6.46) обладает комитетом с числом членов, не превосходящим 2к — 1. l 2 Итак, пусть S = {s ,s ,... ,5*}, заданы Сх,... ,Сп С S и число к G N. Выберем s° $ S и положим X = S U {s0}, a m = : п + 1. Положим
Эти построения, очевидно, можно проделать за время O(m + t). Пусть М — система представителей для множеств С\... ,Сп й L(M) = {s11,... ,sM}, I < к, тогда не трудно убедиться, что К = I s°,... , s°, sil,...
, s4 \ является комитетом системы (6.47)
из 11 — 1 < 2к — 1 членов. Докажем обратное. Пусть ГГ _ ~
/О0 ' 1 у
. 0 „Ji ' ' *..' '
J
.*< '••• '
— комитет системы (6.47), и г + I — 2к' — 1 < 2к — Г. Не ограничивая общности можно полагать, что к < п. Легко видеть, что г <1 — 1, значит, I > к''. Поскольку К — комитет, среди его элементов s*1,... ,s**' найдется s l ( J ) G Cj для каждого j G N n , следовательно, последовательность:
262
Глава 6. Метод комитетов
— система представителей для множеств С ь . . . , Сп. Число членов М, по построению, не превосходит k'
(je¥lm)
(6.48)
состоит из р — It + 1 членов. Обозначим ее гиперграф 'МСП через (?2 = (у^Ег). Как следует из утверждений предыдущего параграфа, его порядок равен также р, пусть Vi — .{Д,... ,/ р }. Теорема 6.19. Пусть -ф — гомоморфизм гиперграфа G2 МОП системы линейных однородных неравенств (6.48) на плоскости в гиперграф G = (V,E) МСП системы включений (6.46) и существует {I/bj,... tIk.} С F 2 , такое что {4 Х ) ... ,Iks} $• -#2, о {^(Jfcj),... ,ф{1к3)} £ Е, тогда число членов минимального комитета, разрешающего систему (6.46), меньше р. Доказательство. Воспользуемся следующим легко проверяемым предложением.
Раздел 6.4. Минимальный комитет
263
Пусть J i , . . . ,2s+i — цепь в гиперграфе G, то есть Е соJ держит ребра {Ji,J2}, {J2, J3}, ••• ,{ 2s,J2s+i}- Тогда система (6.46) разрешима комитетом, составленным из решений МСПвершин цепи, взятых для каждой по одному тогда и только тогда, когда {Ji, J 3 , . . . , J25+1} еЕ. . • Пусть {I f c l ) ... , 4 J С V2, такое что {J fcl ,... ,J f c J £ Е2, и (V'(-ffci)) • • • >i>(hs)} 6 JB. В силу предложения 6.1, найдется такое j G N s , что (mod e))+i) - fy) (mod р) > £ + 1. Поскольку р = 2£ + 1, то такое j — единственно. Не уменьшая общности, можно полагать, что 1 = fci < k2 < • • • < ks = к, я (1 — k) (mod p) > t + 1, тем самым, к < t. Рассмотрим вершины гиперграфа G2 : Ii,It+2> h,--- , It+ki IkНетрудно видеть, что они образуют в нем простую цепь (is^ содержит ребра {h,h+2},{tt+2,h}, ••• >Ui+b4}), следовательно, ip(Ii),ip(It+2),il;(l2),..,ip{It+k),^(Ik) таклсе образуют цепь в гиперграфе G, так как if) — гомоморфизм. Поскольку, в силу введенных обозначений,
и первое множество принадлежит Е, то
следовательно, система (6.46), в силу приведенного выше предложения, разрешима комитетом, составленным из решений МСП с индексами
взятых для Калсдой по одному. Число членов этого комитета 2к ~ 1 < 2* - К 2« + 1 = р. • Замечание. В доказательстве теоремы указан алгоритм оценки числа членов минимального комитета системы (6.46). Если О2 гомоморфно вкладывается в G, то минимальный комитет системы (6.46) содержит не более р членов. Если при
264
Глава 6. Метод комитетов
этом гомоморфный образ G% "более связен", чем С?2, то есть найдется такое {Дц- •• ,Да} С V2, что {/Г ,. • • ,Д3} Ф -#2, {^(Iti), • • • , ^ ( 4 ) } е Д и t ( ( (fc ( m o d ,) ) + 1 ) - ifc) (mod р) > t + 1, то число членов в минимальном комитете системы (6.46) не превосходит 2{{ik - Щк (mod s))+i)) (^od Р)) + l < Р- Воспользуемся этими соображениями для уточнения оценки числа членов минимального комитета системы неоднородных линейных неравенств. Рассмотрим несовместную систему неравенств: Х
\<Ч,х)>Щ (j€N m ),
(6.49)
в которой х е R n и каждая подсистема из двух неравенств совместна. По теореме 6.5, система (6.49) разрешима некоторым комитетом большинства. Требуется оценить сверху число членов ее минимального комитета. Теорема 6.5 предоставляет такую оценку в общем случае: число членов минимального комитета не превосходит 2 т — 1 членов. Однако в большинстве практических задач удается построить комитет с гораздо меньшим числом членов. Действительно, поскольку данные в конкретной системе (6.49), как правило, задаются приближенно, можно считать, что среди векторов a,j отсутствуют нулевые и противоположно направленные, следовательно, задачу поиска комитета системы (6.49) можно свести к аналогичной для системы: (aj,x)>0
0'6N m ).
(6.50)
Далее под классом всех систем линейных неравенств будем понимать класс систем вида (6.49), для которых система (6.50) разрешима комитетом. По теореме 6.6, число членов минимального комитета системы (6.50) не превосходит т , причем данная оценка является точной в классе произвольных систем линейных неравенств. Однако, указанная оценка не учитывает никакую информацию о системе неравенств, кроме числа неравенств. Теорема 6.19 позволяет указать более точную, чем т, оценку числа членов минимального комитета системы линейных неравенств, зависящую от векторов a i , . . . ,am и b.
265
Раздел 6.4. Минимальный комитет
Воспользуемся методом, предложенным в доказательстве теоремы 6.6, а именно, рассмотрим линейный оператор Ф : R n —)• R 2 , обладающий свойством: среди векторов <&(ai),... , Ф(атп) нет нулевых и противоположно направленных векторов. В этом случае система: (Ф(оДу)>0
(j€Nm)
(6.51)
комитетно разрешима, следовательно, этим же свойством обладает система: (Ф(вДу)>Ь,-
(jeNm).
(6.52)
Если Q' = (у 1 ,.,. , у4) — комитет системы (6.52), то Q = (Ф*(у1), ... , Ф*(у9)) — комитет системы (6.49). Пусть {Ji,... ,Ip} и {J\,..., Jr} — множестваМСП, а(7(6.51) и С(6.52) гиперграфы МСП систем (6.51) и (6.52) соответственно. По определению гиперграфа МСП, VCr(6,5i) = {ii,.-. ,IP}Обозначим через
W = 2VG^)
\ (^G(6.5i) U {0,
Для каждого элемента го = {1ГХ ,... , Iis} G W, в силу предложения 6.1, найдется k G N 5 , такое что (*((fc (mod e))+i) - *fc)
(
mod
p) > * + 1,
где p = 2i + 1 . Определим функцию А : W —)• Z как А (го) = («fc ~ «((A
(mod s))+l))
(
m o d
P)t
множество:
Jfer=l
266
Глава 6. Метод комитетов
и число . h^)-\
Г mm{A(w)\w 6 W'}, если W ф 0, t, иначе. "
Теорема 6.20. Число членов минимального комитета системы (6.49) не превосходит 2£(б-49) + 1. Доказательство. Пусть W ф 0 и w = {1^,... , ГГЛ € W таково, что А (ад) = £(6.49) > J/i)--- ,«/j, не обязательно различные индексы МОП системы (6.52), UJUi^ifc = N m и Дк С J Jfc . Определим -ф : F<jr(6.5i) -*• ^<J(6.52) так, чтобы ^ ( l i j = Jjk для каждого к & Ns и ^(Jj) = Jj, где Jy Э Ii, для всех остальных Jj. Тогда (2(6.51) гомоморфно вкладывается с помощью ф в (3(6.52) и его образ "более связен", чем (2(6.51)) п о построению. По замечанию к теореме 6.19, система (6.52) разрешима комитетом из 25(6.49) + 1 членов. • В доказанной нами теореме получена более точная, чем ранее, оценка числа членов минимального комитета в классе систем линейных неравенств, зависящая от векторов ах,... ,ат,Ь и оператора Ф. А именно, в доказательстве теоремы для системы (6.52) находится минимальный среди комитетов, построенных из решений МСП, индексы которых содержат индексы МСП системы (6.51), образующие в (?(6.5i) цепь. Можно показать, что полученная оценка точна в классе систем (6.49), для которых система (6.52) не обладает другими МСП, кроме тех, все индексы которых содержат некоторые ин-, дексы МСП системы (6.51). Изображенная на рис. 6.2 система неравенств вида (6.52) обладает МСП с индексом J$, содержащим в качестве собственного подмножества индекс 1з МСП соответствующей ей системы (6.51). Поэтому, по теореме 6.20, минимальный комитет изображенной системы имеет не более 7, членов. Видно, что минимальный комитет изображенной системы содержит ровно 7 членов (он состоит из решений МСП с индексами Hi- •• 1 ^5) Jii J&t J9)) х °тя минимальный комитет системы (6.51) содержит 9 членов.
Раздел 6.4. Минимальный комитет
267
Рис. 6.2: Пример системы неоднородных неравенств
О классификации минимальных комитетов В предыдущем параграфе была установлена связь между существованием у системы включений (6.46) комитета с заданным числом членов q и существованием в гиперграфе ее МСП подгиперграфа определенного вида, а именно, подгиперграфа, вершины которого образуют (q — 1, [(q — 1)/2])-симплекс. Видно, что при q = 3 такой подгиперграф определяется единственным образом, однако с ростом q число попарно неизоморфных подгиперграфов, удовлетворяющих этому свойству, быстро растет. Не трудно видеть, что свойства комитета как обобщенного решения системы (6.46) зависят от того, какой именно подгиперграф ему соответствует. Из этих соображений целесообразно провести перечисление минимальных комитетов с заданным числом членов, основываясь на понятии изоморфизма гиперграфов. Определение-6.11. Последовательность ( J i , . . . , Jq) индексов МСП системы (6.46) назовем g-комитетообразующей совокупностью (g-КОС), если найдется минимальный комитет системы (6.46) Q - (ж 1 ,... ,ж«), такой что х{ е D(Ji) = OjeJiD3 Д л я каждого i e N g . Из. доказательства теоремы (6.12) следует, что если число членов в минимальном комитете, разрешающем систему (6.46),
268
Глава 6. Метод комитетов
равно q, то понятия g-КОС и (q — 1, [(q - 1)/2])-симплекса совпадают. Далее будем рассматривать только те комитеты системы (6.46), которые состоят из решений ее МСП. При этом будем полагать, что два комитета Q\ и Q2, допускающие такую перенумерацию элементов, что соответствующие их члены являются решениями одних и тех же МСП, эквивалентны. В соответствии с этим предположением для классификации минимальных комитетов из q членов достаточно произвести перечисление всех попарно неизоморфных q-KOC. Пусть К = (Ji,... ,Jq) — q-KOC системы (6.46), и пусть L(K) = {Jjj,... , Jir}, где г < q, — множество индексов в К. Определение 6.12. Гиперграфом (графом) д-комитетообразующей совокупности К назовем подгиперграф G{K) подграф G(K)), порожденный в гиперграфе (графе) МСП системы (6.46) множеством вершин L(K). Рассмотрим несовместную систему включений; xeD'j/
(j6Nm/),
(6-53)
n
в которой, как в системе (6.46), Р'- € R . Пусть К' = (J{,... , J'g) — q-KOC системы (6.53). Определение 6.13. q-KOC К и К' называются изоморфными тогда и только тогда, когда изоморфны гиперграфы G(K) и В силу приведенного определения задача перечисления qКОС эквивалентна задаче перечисления попарно неизоморфных гиперграфов G(K). Поскольку граф произвольной 3-КОС — цикл длины 3, и, следовательно, все 3-КОС попарно изоморфны, то решим поставленную задачу в простейшем нетривиальном случае, когда q = 5. Обозначим через 5 множество всех систем произвольных включений вида (6.46), а через S произвольный элемент <S, конкретную систему (6.46). Обозначим через K(S) множество всех 5-КОС, которыми обладает система S, а через £(<S) = Usgs^'('S')- Д л я дальнейших рассуждений воспользуемся следующим очевидным предложением.
269
Раздел 6.4. Минимальный комитет
Предложение 6.2. Пусть G\ u G2 гиперграфы МСП, обладающие свойством:
(uCVGh
M = 3) =*• ueEGi
{г = 1,2),
(6.54)
и пусть Гх, Гг — графы, у которых VT{ = VGi, EYi совпадает с подмнооюеством двухэлементных ребер мнооюества EG{. Гиперграфы G\ и Gi изоморфны тогда и только тогда, когда изоморфны графы Гх' и Гг. Поскольку гиперграф произвольной 5-КОС удовлетворяет условию (6.54), то, в силу приведенного предложения 5-КОС К\ и Ki изоморфны тогда и только тогда, когда изоморфны их графы Т(Кг) и Т{К2). Теорема 6.21. Множество K{S) содероюит ровно 15 попарно неизоморфных элементов. Доказательство. По определению, 5-КОС содержит не менее 4 различных индексов. Если 5-КОС Ко содержит ровно 4 различных индекса, то ее граф определяется однозначно с точностью до изоморфизма, поэтому будем полагать, что Ко = (Jlt Ji, J2, J 3 , J4), и ее граф Г о = Г(ЛГо) = (V(K0),E(KQ)) следующего вида: V(K0) = {Л, J 2 , Js, Ji},
E(K0) = {{Л, J 2 }, {Ji, J 3 }, {JU
W-
Если К содержит 5 различных индексов, то Г (К) имеет 5 вершин и не содержит цикла длины 3. Известно [30], что существует ровно 14 попарно неизоморфных простых графов Гх,... ,Гх4 с 5-ю вершинами, не содержащих цикла длины 3. В силу предложения 6.2, соответственно, существует ровно 14 попарно неизоморфных гиперграфов (?х, • • • , Gu, обладающих этим же свойством и удовлетворяющих условию (6.54). Поскольку все они неизоморфны гиперграфу Go = G(KQ), TO число попарно неизоморфных 5-КОС не превосходит 15. Поэтому число попарно неизоморфных 5-КОС не превосходит 15.
270
Глава 6. Метод комитетов
Рассмотрим гиперграфы Go,-. • ,Gu- По теореме 6.11, для каждого к = 0,... , 14 существуют число т& 6 N и множет а к и е ч т о ства D\,... Dmki гиперграф G/. изоморфен гиперграфу МСП системы включений:
xeDJ- (i£N m J.
(6.55)
Поскольку гиперграфы Go,- • • , Gu не содержат циклов длины 3, то, по теореме (6.12), число членов минимального комитета, разрешающего систему (6.55) равно пяти, причем единственной 5-КОС системы (6.55) является К^, такая что G(Kk) — Gk для каждого к = 0,... ,14. По построению, Go,. • • , Gu попарно неизоморфны, поэтому Ко,...' ,Ки также попарно неизоморфны, по определению изоморфизма 5-КОС. Поэтому, число попарно неизоморфных 5-КОС равно 15. • Множество /C(<S) всех 5-КОС, по-доказанному, разбивается на 15 классов эквивалентности попарно изоморфных 5-КОС, по числу попарно неизоморфных простых графов, допустимых определением 5-КОС. Однако в практических задачах нас, как правило, будет интересовать число классов эквивалентности в множестве /С(<5') для некоторого подмножества <S' .множества всех систем включений. Естественно предположить, что при достаточно узком S' результат, справедливый для /С (), не будет справедливым для 1C(S'), Действительно, если Sc множество всех конечных систем линейных однородных неравенств на плоскости, тов K,(Sc) все элементы попарно изоморфны, поскольку граф каждой 5-КОС является простым циклом длины 5. Интересно, что уже для множества SQ всех конечных систем полиномиальных неравенств степени не выше 2 на плоскости результат теоремы 6.21 верен/ Теорема 6.22. Множество JC(SQ) codep^tcum ровно 15 попарно неизоморфных элементов.
Раздел 6.5. Методы поиска комитета...
6.5.
271
Методы поиска комитета системы линейных неравенств
Первыми методами построения комитетов систем линейных неравенств были, по видимому, итерационные методы обучения персептронов (распознающих автоматов) задаче дискриминантного анализа, описанные в работах [25, 36, 42, 40]. На сегодняшний день в классе методов построения комитета можно выделить три большие группы. В первую группу можно отнести методы, базирующиеся на применении к задаче поиска комитета системы линейных неравенств той или иной модификации известного метода линейной коррекции [25] решения совместной системы линейных неравенств, для которого доказана [40] теорема о сходимости его к решению указанной системы за конечное число шагов. Полученные методы также принято называть методами линейной коррекции- для построения комитета из q членов. К сожалению, для таких методов известны лишь некоторые достаточные условия [16], гарантирующие их сходимость к искомому комитету. К тому же как правило вопрос разрешимости конкретной системы комитетом из заданного числа членов требует отдельного изучения. Вторая большая группа методов основана на поиске решений всех МСП рассматриваемой системы неравенств методом свертывания, безусловной оптимизации или др. и решении затем системы) аналогичной (6.10). Достоинством этих методов является то, что они позволяют находить оптимальные комитеты, например, минимальный комитет исследуемой системы. Для этого на втором этапе необходимо найти оптимальное решение задачи (6.11). Недостатком этих методов является их большая трудоемкость. К третьей группе методов следует отнести эффективные конечношаговые алгоритмы, основанные на понижении размерности исходной задачи. Одним из основных представителей этой группы является метод проектирования на плоскость [18], осно-
272
Глава 6. Метод комитетов
ванный на принципе доказательства теоремы 6.6. Кроме указанных классов алгоритмов было предложено и программно реализовано много других: построения "грубых"комитетов, комитетов, минимально обобщающих материал обучения [24], комитетов старшинства [41] и др. Рассмотрим подробнее примеры характерных представителей для каждой из выделенных групп методов, Пусть задана несовместная система неравенств:
(ajtx)>0
(6.56)
n
над R , для которой выполнены условия теоремы 6.6. Не уменьшая общности, будем далее полагать, что |(а^|| = 1 и a,j ±сц Ф 0.
6.5.1. Метод линейной коррекции В работе [25] предложен естественный метод построения комитета Q = (ж 1 ,... , xq) системы (6.56), обобщающий идею метода линейной коррекции [40,42]. По аналогии с (6.7) определим ф у н к ц и и ipj : R n •-»• {—1,1} так:
—1,
(UJ,X) < 0.
Зафиксируем параметр е > 0. Для произвольных у\... , yq € R n и j e N m определим числа щ = X^f=i <Л?(УО и gj = И ^ + 1.. Пусть {a,j,yl) < {a,j,y2) < ... < {aj,yq). Определим операторы Tj : R n x ^ -> R n x ? следующего вида. Пусть w = [(у 1 ) 3 ",.. • , (уд)т]т е Rnxq, где у 1 ,... , yq элементы R n , w,
TjW=< У
если rij > 0,
если rij < 0.
273
Раздел 6.5. Методы поиска комитета... Задавшись произвольным WQ E RnXq, Wk=T((k_1)
рассмотрим процесс
(mod m)+l)Wk-l
(kGN).
По построению операторов Tj, если последовательность {г%} 1 7 q T T стабилизируется на элементе w = [(у ) ,... ,(y ) ] , то Q = 1 (у ,... ,уч) — комитет системы (6.56). Как упоминалось ранее, для приведенного алгоритма теоремы, родственной теореме Но-викова [40], нет, известны лишь некоторые достаточные условия на систему (6.56) и начальное приближение гоо, при которых построенная последовательность {wi} стабилизируется. Например, в работе [15] приводится достаточное условие, при котором алгоритм сходится за m шагов.
6.5.2.
Точный метод поиска минимального комитета
Метод, описанный, например, в книге [24], находит минимальный комитет системы (6.56) и состоит из трех этапов. На первом этапе находятся все минимальные несовместные подсистемы (ШШ) рассматриваемой системы методом полного фундаментального свертывания [33]. Поскольку система (6.56) несовместна, то конус решений двойственной ей системы: ща\ + «2^2 + . • • + umam « I , . . . ,um
— 0 >
0
С ф {0}, по теореме Карвера, поэтому он содержит фундаментальные элементы. В силу результатов [33], вектора u 1 , . . . ,u5 коэффициентов свертывания полной фундаментальной свертки
3=1
системы (6.56) и только они являются фундаментальными элементами конуса С. Следовательно, множество {1ц,... ,LS} индексов МНП системы (6.56) определяется как [33]: Li = О Х > 0}.
274
Глава 6. Метод комитетов
На втором этапе по известным индексам МНП находятся все индексы 1\,... ,1Р МСП системы (6.56) из условий:
(Vt€Ne)
М£.Ь,,
(Vi € Np) (Vj е (N m \ I*)) (3t e N e ) : . L* С Ji U { # , например, методом построения сокращенной ДНФ [16]. На третьем этапе каждому индексу Jj ставится в соответствие вектор сг\е {—1,1}"% такой что о1* = < _ '.
. . * ,и
решается задача целочисленного линейного программирования: >
^
>
|
(6.57)
Пусть Г = [z\i...,zp]T — оптимальный вектор задачи (6.57), и yi,... ,ур — решения соответствующих МСП системы (6.56), тогда, по построению,
Z\
Z2
.
Zp
минимальный комитет системы (6.56). Вопрос оценки сложности последнего алгоритма до, сих пор остается открытым. По видимому [5, 33], в общем случае задача поиска всех МСП системы (6.56) и указанная задача ЦЛП являются NP-полными. 6.5.3.
Метод проектирования на плоскость
Метод проектирования [24] основан на принципе доказательства критерия существования комитета системы (6.56) (теорема 6.6) и состоит из двух этапов: 1. нахождения подходящего оператора Ф : R n —у R 2 и построения системы (Ф^,у)>0
(jeNm);
(6.58)
Список литературы к главе 6
275
, 2. построения минимального комитета системы (6.58) 1 Р Q' = (у ) • • •\У )- После этого комитет исходной системы получается из Q' по правилу: Q = (Ф*?/1,... , Ф*ур): Основными достоинствами этого метода; обусловившими его активное применение Для решения конкретных задач дискриминантного анализа, являются малая вычислительная сложность и то, что получаемый в результате комитет Q содержит не более т членов, что соответствует оценке числа членов минимального комитета системы (6.56). Для систем неоднородных линейных неравенств существует модификация описанного метода в соответствии с результатами теоремы 6.20.
Список литературы к главе 6 [1] ВАПНИК В.Н., ЧЕРВОНБНКИС А.Я. Теория распознавания обра, зов. -Москва: Наука.1974. [2] ГАЙНАНОВ Д.Н. О графах максимальных совместных подсистем ., . несовместцых систем линейных неравенств. -Москва, 1981. ^46 с. Деп.ВИНИТИ, JY? 229-81,, [3] ГАЙНАНОВ Д.Н., НОВОКШЕНОВ В.А., ТЯГУНОВ Л.И. О графах, порождаемых несовместными системами линейных неравенств. "// Мат.заметки. -т.Зз! вып.2 -1983, -С.293-300. [4] ГОФМАН А . Д Ж . , К У Н Г.У. О системах различных представителей.// Линейные неравенства и смежные вопросы. -Москва: изд.иностр.лит. -1959. -С.302-310. [5] Г Э Р Й М., ДЖОНСОН Д . Вычислительные машины и труднбре1 шаемые задачи. -Москва: Мир,1962.-416 с. [6] ЕМЕЛИЧВВ В.А.,
МЕЛЬНИКОВ О.И., САРВАНОВ В.И., Т Ы Ш К Е -
ВИЧ ' Р.И. Лекции по теории графов. -М.: Наука. 1990. -384 с. [7] ЕРЕМИН И.И., МАЗУРОВ В Л . Д . Вопросы оптимизации и распознавания образов. -Свердловск: УНЦ АН СССР. -1979. -64 с. [8] ЕРЕМИН И!Й., МАЗУРОВ В Л . Д . Нестационарные процессы математического программирования. -Москва: Наука. -1979. [9] ЖУРАВЛЕВ Ю.И. Об алгебраическом подходе к решению задач распознавания или классификации// Проблемы кибернетики. вып.ЗЗ. -1978. -С.5-68.
276
Глава 6. Метод комитетов
[10] ЖУРАВЛЕВ Ю.И. Корректные алгебры над множествами некорректных алгоритмов.ЫП// Кибернетика. -1977. -№4 -С.14-21, 1977. -№6. -С.21-27, 1978. -№2 -С.35-43. • [11] ЗУЕВ Ю.А. Метод повышения надежности классификации при наличии нескольких классификаторов, основанный на принципе монотонности// ЖВМ и МФ. -1981. -Т.21. №1. -С.157-167. [12] ЗУЕВ Ю.А. Вероятностная модель комитета классификаторов// ЖВМ и МФ. -1986. -Т.26. -№2. -С.276-292. [13] ЗУЕВ Ю.А. Наихудший случай для принятия решения большинством голосов// ЖВМ и МФ. -1989. -Т.29. -№8.-0.1256-1257. [14] КАЗАНЦЕВ B.C. Задачи классификации и их программное обеспечение.- Москва,- Наука.- 1990, 136 с. [15] КРИВОНОГОВ А.И. Некоторые модификации комитетных алгоритмов в распознавании образов// Методы математического программирования и приложения. -Свердловск: УНЦ АН СССР. 1979. -С.49-55. [16] КРИВОНОГОВ А.И. Некоторые вопросы обоснования комитетных алгоритмов// Классификация и оптимизация в задачах управления. -Свердловск: УНЦ АН СССР. -1981. -С.39-51. [17] МАЗУРОВ В Л . Д . О комитете системы выпуклых неравенств. Труды ICM-66. -Москва: МГУ,-1966 -Ж 14, С.41. [18] МАЗУРОВ В Л . Д . О построении комитета системы выпуклых неравенств // Кибернетика. -#2.. -1967. -С.56-59. [19] МАЗУРОВ В Л . Д . Комитеты систем неравенств и задача распознавания// Кибернетика. -1971. -№3. -С. 140-146. [20] МАЗУРОВ В Л . Д . Несовместные системы неравенств в задачах распознавания// Метод комитетов, в распознавании образов. Свердловск: УНЦ АН СССР, 1974. -С.3-9. [21] МАЗУРОВ В Л . Д . , КАЗАНЦЕВ B.C., БЕЛЕЦКИЙ Н.Г. Пакет КВАЗАР прикладных программ распознавания образов, информационные материалы по математическому обеспечению. Свердловск: УНЦ АН СССР, 1979. [22] МАЗУРОВ В Л . Д . Математические образов.- Свердловск: УрГУ, 1982.
методы
распознавания
Список литературы к главе 6
277
[23] МАЗУРОВ В Л . Д . Линейная оптимизация и моделирование .Свердловск: УрГУ.1986. [24] МАЗУРОВ В Л . Д . Метод комитетов в задачах оптимизации и классификации. Наука. Москва. 1990. [2,5] НИЛЬСОН Н. Обучающиеся машины.-Москва: Мир.1968. [26] РЯЗАНОВ В.В. Комитетный синтез алгоритмов распознавания и .. классификации// ЖВМ и МФ. -1981. -Т.21. -№6. -С.1533-1543. [27] РЯЗАНОВ В.В. О синтезе классифицирующих алгоритмов на конечных множествах алгоритмов классификации (таксономии)// ЖВМ и МФ. -1982. -Т.22. -№2. -С.429-440. [28] ТЯГУНОВ Л.И. О выделении последовательности максимальных совместных подсистем несовместной системы линейных неравенств.// Математические методы планирования и управления в больших системах. -Свердловск: УНЦ АН СССР, -1973, С.152-^ 162. (Деп. в ВИНИТИ, №7467-73.) [29] ФАНЬ Ц З И О системах линейных неравенств.// Линейные неравенства и смежные вопросы. -Москва: изд.иностр.лит. -1959. С.214-262. [30] ХАРАРИ Ф. Теория графов. Мир. Москва. 1973. [31] ХАЧАЙ М.Ю. О существовании комитета большинства.// Дискретная математика. -1997. -т.9, вып.З. С. 82-95. [32] ХАЧАЙ М.Ю. Об оценке числа членов минимального комитета системы линейных неравенств.// ЖВМ и МФ. -1997. -т.37, №11. С.1399-1404. [33] ЧЕРНИКОВ С.Н. Линейные неравенства. -Москва: Наука, 1968. [34] ABLOW C M , KAYLOR D.J Inconsistent homogenous linear inequalities// Bull.Amer.Math.Soc. -1965. -v.71. №5. [35] ABLOW C M , KAYLOR D.J A committee solution of the pattern recognition problem// IEEE Trans. -1965. -v.IT-11. -№3. -p.453-455. [36] BLAH A S. The convergence of one groop a correction training procedures.//Kybernetica, 1969, v.5, №2.
278
Глава 6. Метод комитетов
[37] KHACHAI M . Y U . , RYBIN A.I. A New Estimate of the Number of Members in a Minimum Committee of a Linear Inequalities System.// Pattern Recognition and Image Analysis. -1998. -v.8. -№4. -p.491-496.
• • • • ! .
[38] MAZUROV V L . D . Duality in Pattern Recognition and Operation Research.// Pattern Recognition and Image Research.- 1991. -v.l,' №4. -p.376-384. [39] MAZUROV V L . D . Generalized Existence in Nonequilibrium Models of Choice in Modeling Complex Systems.// Pattern Recognition and; Image Research.- 1995. -v.5, №1. -p.7-12. [40] NoviKOFF A.B.J. On convergence proofs for perceptrons.- Proc. of Symposium of Mathematical Theory of Automata. N.Y:: "Polytechnika", 1962. [41] OSBORNE M.L The Seniority Logic: A Logic for a Committee Machine.// IEEE Trans. Сотр., -1977. -v.C-26, -№12, -p,1302-1306. [42] ROSENBLATT F. Principles "D.e.:Spattan", 1962.
of
Neurodinamics.
-Wash.: '
Иван Иванович Еремин, Владимир Данилович Мазуров, Владимир Дмитриевич Скарин, Михаил Юрьевич Хачай МАТЕМАТИЧЕСКИЕ М Е Т О Д Ы В ЭКОНОМИКЕ
Редакторы И. И. Еремин и Вл. Д. Мазуров Оригинал-макет подготовлен М. Ю. Хачаем Лицензия ЛР № 064283 от 08.11.95 г. Подписано в печать 04.04.2000. Формат 60Х90'/16. Бумага офсетная. Гарнитура «Times». Печать офсетная. Усл. печ. л. 17,5. Тираж 500 экз. Заказ № 1755. ООО «У-Фактория». 620142, г. Екатеринбург, ул. Большакова, 77. Отпечатано с готовых диапозитивов в издательско-полиграфическом комплексе «Звезда». 614600, г. Пермь, ГСП-131, ул. Дружбы, 34.
66
Глава 2. Линейное программирование
max (с, х)
Ати > с, и > О
х >О
Ах<Ь,
min (b, и)
(*)
Т (с, ж) - (Ах -Ь, и)
=
(Ь, и) + (с- Ати,
=
(Ь, и) - (Ати - с, х)
(•)
шах (Ь, и)
х)
II (с, х) + (Ь- Ах, и)
4min (с, х) Ах >Ъ, х > О
т
А и < с, и > О
Рис. 2.3: Схема перехода к двойственной задаче
2.3.5.
Двойственность, вытекающая из анализа теоремы Фаркаша — Минковского
Пусть a — оптимальное значение разрешимой задачи max {(с, х)\Ах < b, x > 0},
(2.21)
66
Глава 2. Линейное программирование
max (с, х)
Ати > с, и > О
х >О
Ах<Ь,
min (b, и)
(*)
Т (с, ж) - (Ах -Ь, и)
=
(Ь, и) + (с- Ати,
=
(Ь, и) - (Ати - с, х)
(•)
шах (Ь, и)
х)
II (с, х) + (Ь- Ах, и)
4min (с, х) Ах >Ъ, х > О
т
А и < с, и > О
Рис. 2.3: Схема перехода к двойственной задаче
2.3.5.
Двойственность, вытекающая из анализа теоремы Фаркаша — Минковского
Пусть a — оптимальное значение разрешимой задачи max {(с, х)\Ах < b, x > 0},
(2.21)
66
Глава 2. Линейное программирование
max (с, х)
Ати > с, и > О
х >О
Ах<Ь,
min (b, и)
(*)
Т (с, ж) - (Ах -Ь, и)
=
(Ь, и) + (с- Ати,
=
(Ь, и) - (Ати - с, х)
(•)
шах (Ь, и)
х)
II (с, х) + (Ь- Ах, и)
4min (с, х) Ах >Ъ, х > О
т
А и < с, и > О
Рис. 2.3: Схема перехода к двойственной задаче
2.3.5.
Двойственность, вытекающая из анализа теоремы Фаркаша — Минковского
Пусть a — оптимальное значение разрешимой задачи max {(с, х)\Ах < b, x > 0},
(2.21)