Максимальное множество
Cтраница 2
Доказать, что фильтр D над / есть ультрафильтр тогда и только тогда, когда D является максимальным множеством в множестве всех фильтров над /, упорядоченном по включению. [16]
Для этого множество вершин стянутого графа с помощью алгоритма, описанного в [69], разбивается на бикомпоненты - максимальные множества взаимодостижимых вершин. Вершины в этих подмножествах взаимодостижимы, и, кроме того, при добавлении к каждому подмножеству любых не принадлежащих ему вершин полученное при этом подмножество не обладает свойством взаимодостижимости, в отличие от такого, например, подмножества, как a, d, Ъ, так как, хотя вершины a, d, Ъ взаимодостижимы, они не образуют бикомпоненты, поскольку добавление к ним вершины е или с или вместе е и с дает новые подмножества взаимодостижимых вершин. [18]
С точки зрения качественной теории ЗФДУ, множество W ( o) очень интересно, так как оно является максимальным множеством, на котором отображение T ( t, а) взаимно однозначно. Однако, по-видимому, сказать многое о свойствах W ( a) очень трудно. Действительно, без более точного описания способа выбора ф - а из Va нельзя надеяться на плодотворность обсуждения таких топологических свойств W ( a), как связность. [19]
Если Г - совокупность свойств, состоящая из свойств включения и исключения конечного типа в множестве V, то семейство всех Г - подмножеств имеет максимальные множества. [20]
Если Г) - совокупность свойств, состоящая из свойств включения и исключения конечного типа в множестве V, то семейство всех Г - подмножеств имеет максимальные множества. [21]
В том случае, когда в а не зафиксировано значение ни одного формального параметра, тип, представленный модулем Тг, называется исходным родовым типом, объединяющим некоторое максимальное множество типов данных со сходным поведением. [22]
Для данного е, в зависимости от того, какой вид канала рассматривается, максимальное множество может существовать и быть единственным, может не существовать, или же может существовать несколько максимальных множеств, причем число их элементов может быть различным. [23]
M ( U) - множество возможных разбиений процедур U обработки данных на модули; R ( D) - множество возможных разбиений множества информационных элементов D на информационные массивы; Р рт, т 1, М - множество синтезируемых модулей для разбиения в; В Ьг, г 1ЯХ - множество синтезируемых информационных массивов для разбиения х; rj ( Pm) и г / ( Ьг) - уровни типовости, соответственно, m - го модуля и r - го информационного массива, определяемые как мощность максимального множества задач, для которых все процедуры ( информационные элементы), входящие в модуль ( информационный массив), являются общими. [24]
Максимальное множество алгебраически независимых элементов поля L над К называется базисом трансцендентности поля L над К. Мощность базиса трансцендентности поля L над К не зависит от выбора базиса трансцендентности и называется степенью трансцендентности поля L над К. [25]
Эти списки множеств Е можно затем использовать для ограничения поиска путем элиминации тех ветвлений, которые позже оказываются бесполезными. Вообще непрактично хранить все максимальные множества Е любого уровня стоимости. [26]
Две строки матрицы назовем похожими, если совпадают множества чисел, встречающихся в этих строках. Найти коли честно строк в максимальном множестве попарно непохожих строк заданной матрицы. [27]
Это получается при помощи исключения для каждого Q всех конечных множеств Т tt, не удовлетворяющих Q. С другой стороны, можно искать максимальные множества, для элементов которых никакое условна Q не выполняется. [28]
Это получается при помощи исключения для каждого Q всех конечных множеств T tt, не удовлетворяющих Q. С другой стороны, можно искать максимальные множества, для элементов которых никакое условие Q не выполняется. [29]
F, U), следовательно, существуют множества мощности п, трансцендентные над U. По лемме 5.4.5 ( и) максимальное множество X должно быть бесконечным. [30]
Страницы: 1 2 3 4