Представление множеств массивами

Операции с множествами

Типизированная константа

Нетипизированная константа

Множество - это структурированный тип данных, поэтому его невозможно задать нетипизированной константой.

Задать множество как типизированную константу можно в разделе const:

<имя_константы>: set of <тип_элементов> =[<список_элементов>];

Например:

type cipher = set of '0'..'9';const odds: cipher = ['1','3','5','7','9']; vowels: set of 'a'..'z' = ['a','o','e','u','i'];

Все теоретико-множественные операции реализованы и в языке Pascal:

1) Пересечение двух множеств s1 и s2:	s:=s1*s2;
2) Объединение двух множеств s1 и s2:	s:=s1+s2;
3) Разность двух множеств s1 и s2 (все элементы, которые принадлежат множеству s1 и одновременно не принадлежат множеству s2)^5):	s:=s1-s2;
4) Проверка принадлежности элемента el множеству s (результат этой операции имеет тип boolean):	el in s
5) Обозначение для пустого множества:	[]
6) Создание множества из списка элементов:	s:=[e1,_,eN];
7) Проверка двух множеств на равенство или строгое включение (результат этих операций имеет тип boolean):	s1 = s2s1 > s2s1 < s2

Не существует никакой процедуры, позволяющей распечатать содержимое множества. Это приходится делать следующим образом:

{s: set of type1; k: type1}for k:= min_type1 to max_type1 do if k in s then write(k);

Одно из основных неудобств при работе с множествами - это ограничение размера всего лишь 256-ю элементами. Мы приведем здесь два очень похожих способа представления больших множеств массивами. Единственным условием является наличие некоторого внутреннего порядка среди представляемых элементов: без этого невозможно будет их перенумеровать.

Дата добавления: 2014-01-03