Особине релације
| vreme | memorija | ulaz | izlaz |
|---|---|---|---|
| 1 s | 64 Mb | standardni izlaz | standardni ulaz |
Релација на скупу од \(N\) елемената може се представити квадратном логичком матрицом величине \(N \times N\).
Испитати да ли је релација дата матрицом
- рефлексивна
- симетрична
- антисиметрична
- транзитивна
Напомена
Релација \(\rho\) је рефлексивна на скупу \(S\) ако и само ако је \((\forall{x \in S})(x\rho x)\), тј. ако и само ако је сваки елемент у релацији са собом. На пример, релација “бити подударан” је рефлексивна на скупу тачака у равни, а релација “бити мањи” није рефлексивна на скупу целих бројева.
Релација \(\rho\) је симетрична на скупу \(S\) ако и само ако је \((\forall{x \in S})(\forall{y \in S})(x\rho y \iff y \rho x)\), тј. ако и само ако редослед елемената у релацији није битан. На пример, релација “бити исте парности” је симетрична на скупу целих бројева, а релација “бити мањи” није симетрична на скупу целих бројева.
Релација \(\rho\) је антисиметрична на скупу \(S\) ако и само ако је \((\forall{x \in S})(\forall{y \in S})(x\rho y \land y \rho x \implies x = y)\), тј. ако и само не постоје два различита елемента који су међусобно у релацији у оба смера. На пример, релација “бити дељив” је антисиметрична на скупу природних бројева, а релација “бити исте парности” није антисиметрична на скупу целих бројева.
Релација \(\rho\) је транзитивна на скупу \(S\) ако и само ако је \((\forall{x \in S})(\forall{y \in S})(\forall{z \in S})(x\rho y \land y \rho z \implies x \rho z)\), тј. ако и само кад год је један леемент у релацији са другим, а други са трећим, онда је и први елемент у релацији са трећим. На пример, релација “бити дељив” је транзитивна на скупу природних бројева, а релација “бити бољи” није транзитивна на скупу \(\{папир, камен, маказе\}\) у познатој игри (папир је бољи од камена а камен од маказа, али папир није бољи од маказа).
Улаз
У првом реду стандардног улаза налази се број \(N\), број елемената скупа (\(1 \leq N \leq 10\)). У наредних \(N\) редова налази се низ од \(N\) нула или јединица. Нула у реду \(i\) на месту \(j\) значи да \(i\)-ти елемент није у релацији са \(j\)-тим, а јединица значи да јесте.
Излаз
У свакој од 4 линије излаз треба исписати реч da или
ne. Исписане речи су редом одговори на питања да ли је
релација која је задата матрицом рефлексивна, симетрична, антисиметрична
и транзитивна.
Пример
Улаз
3 1 1 0 1 1 0 1 1 1
Излаз
da ne ne da
Morate biti ulogovani kako biste poslali zadatak na evaluaciju.