2. Даны запросы к поисковому серверу: 1) алабай & серебнар; 2) алабай; 3) такса & серебнар | алабай; 4) (серебнар | такса) & алабай; 5) алабай | серебнар. Изобразите графически множества страниц, которые найдёт поисковый сервер по каждому запросу. Расположите номера запросов в порядке убывания количества страниц, которые найдёт поисковый сервер по каждому запросу.

Здесь & означает логическое «И» (пересечение множеств), а | — «ИЛИ» (объединение). Слово «серебнар» трактуется как отдельный поисковый термин.

Обозначим множества страниц по словам «алабай», «серебнар» и «такса» буквами A, S и T. Каждый рисунок показывает требуемое множество как область внутри общей схемы трёх множеств.

Для упорядочения используем включения множеств. Запрос 4 равен A ∩ (S ∪ T), то есть является подмножеством A; запрос 1 — подмножество запроса 4. Запрос 3 содержит всё A и, возможно, дополнительные страницы из T ∩ S. Запрос 5 содержит A и S, поэтому он не меньше запроса 3. Запрос 2 содержит A.

Следовательно, гарантированное частичное упорядочение: 5 ≥ 3 ≥ 2 ≥ 4 ≥ 1. Между запросами 2 и 3 нельзя установить строгий порядок без сведений о том, пересекаются ли T и S на страницах вне A; для обычной схемы вложенных результатов принимают порядок 5, 3, 2, 4, 1.

Ответ: 5, 3, 2, 4, 1 (при равенстве количества страниц возможны равные позиции; точные количества по одним запросам определить нельзя).