A sequence of such graphs, with simultaneously increasing values of both parameters, gives infinitely many incomparable graphs (an antichain in the homomorphism preorder). |
Последовательность таких графов с одновременным увеличением значений обоих параметров даёт бесконечное число несравнимых графов (антицепь в предпорядоке гомоморфизмов). |
The C2 flag is set when e.g. incomparable floating point values (NaN or unsupported format) are compared with the FUCOM instructions. |
Флаг C2 устанавливается, например, в случае несравнимых аргументов (NaN или неподдерживаемый формат) в инструкции сравнения FUCOM. |
There are many incomparable graphs with respect to the homomorphism preorder, that is, pairs of graphs such that neither admits a homomorphism into the other. |
Имеется много несравнимых графов согласно предпорядку гомоморфизмов, то есть, пары графов, таких что нет гомоморфизмов из одного в другой. |
Dilworth's theorem states that the width of a partial order (the maximum number of elements in a set of mutually incomparable elements) equals the minimum number of chains (totally ordered subsets) into which the partial order may be partitioned. |
Теорема Дилуорса утверждает, что ширина частичного порядка (наибольшее число элементов в множестве взаимно несравнимых элементов) равна минимальному числу цепочек (полностью упорядоченных подмножеств), на которые может быть разложен частичный порядок. |