Оставшееся множество

Cтраница 2

Простейшие альтерниро - [ IMAGE ] Простейший. [16]

Назовем связную диаграмму зацепления нераспадающейся, если при выкидывании из соответствующего графа ( тени зацепления) одной вершины оставшееся множество является связным. [17]

В этом параграфе мы рассмотрим идею селекции обучающей последовательности: исключение из обучающей последовательности нескольких элементов с тем, чтобы с помощью оставшегося множества найти функцию, доставляющую меньшую гарантированную величину среднему риску. Заметим, что для задачи распознавания образов селекция обучающей последовательности не имеет смысла: решения, получаемые минимизацией эмпирического риска по всей обучающей выборке и по обучающей подвыборке, полученной исключением минимального числа элементов ( для того, чтобы подвыборка могла быть разделена безошибочно), достигаются на одном и том же множестве решающих правил. Это обстоятельство является следствием того, что функция потерь ( a - Fix, а)) 2 в задаче распознавания образов принимает только два значения: ноль и единица. [19]

Пусть М0 - произвольное наибольшее независимое множество вершин, так что М0 Ро - Поскольку никакая пара вершин множества М0 ребром не соединена, то оставшееся множество р - Ро вершин образует такое вершинное покрытие графа G, что а. С другой стороны, если N0 - наименьшее вершинное покрытие графа G, то никакую пару остальных р-а 0 вершин графа G нельзя соединить ребром, поэтому множество V - N0 независимо. Отсюда Ро р-а, и первое равенство доказано. [20]

Так как эти множества не пересекаются и в сумме дают все выборочное пространство Rm, достаточно определить любые k из этих множеств, так как оставшееся множество однозначно определяется ими. [21]

Оставшееся множество В есть также система промежутков, оно разделяется на две части BI и В2, сравнимых по мере. [22]

Мы включаем счетные множества Т п также в Тс. Оставшееся множество 7 - Тс состоит из двусторонних предельных точек, в которых колебания т обращаются в нуль; отсюда следует общее утверждение. [23]

Оставшееся множество S невыполнимо тогда и только тогда, когда и S невыполнимо. [24]

Если литера L чистая в S, то вычеркнем все основные дизъюнкты, содержащие L. Оставшееся множество S невыполнимо тогда и только тогда, когда и S невыполнимо. [25]

Очевидно, не имеет смысла анализировать множества y - f y ( jPy) с мощностью, большей, чем число свободных выходных шин у ПЛМ Р - подсхемы. Среди оставшихся множеств в первую очередь просматриваются те, для которых значение Nj Yjf ] Y ( PY) минимально. Процедура заканчивается, когда либо все выходы ПЛМ Р - подсхемы будут заняты, либо число B ( Y) не может быть уменьшено. [26]

После удаления из 31 всех концевых, полосообразных, круговых и кольцевых областей вместе с их границами на 31 останется конечное число областей, каждая из которых ограничена конечным числом кусочно-аналитических кривых, составленных из траекторий и их предельных концевых точек из С. Однако это оставшееся множество совпадает с Ф, которое представляет собой / - множество. Это доказывает утверждения ( 5) и ( 6), и доказательство теоремы 3.5 завершено. [27]

В результате этого процесса происходит исключение соответствующих гипотез. При необходимости процедура повторяется для оставшегося множества гипотез до его стабилизации. [28]

Группа GSL ( 2, Fg) действует на двумерной плоскости над полем F. Если выбросить из этой плоскости начало координат, то на оставшемся множестве X группа G действует транзитив-но. [29]

Было порождено много не относящихся к делу и лишних дизъюнктов. Так как тавтология истинна в любой интерпретации, то, если мы вычеркиваем тавтологию из невыполнимого множества дизъюнктов, оставшееся множество все еще должно быть невыполнимо. Следовательно, тавтология есть не относящийся к делу дизъюнкт и не должна порождаться. Если же она порождается, то ( за исключением очень немногих случаев) ее следует вычеркнуть. Иначе она может взаимодействовать с другими дизъюнктами и производить другие нежелаемые лишние дизъюнкты. Далее дизъюнкты Р, Q, - Р и - Q порождаются неоднократно. [30]

Страницы: 1 2 3