Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

1.1k questions

1.3k answers

1.7k comments

557 users

0 votes

Hello,

I think there are errors in the solution of task 1 of exam 2021.04.06.

My guesses are:

(D1,R1') is not a CPO.

(D6,R6') is not a complete lattice but a lattice.

Am I right?

in * TF "Emb. Sys. and Rob." by (440 points)
edited by

1 Answer

0 votes
 
Best answer

Yes, you are right. A CPO requires that all directed subsets M have a supremum and that there is a minimal element. In a complete lattice, we must have sup(M) and inf(M) for every subset M. Hence, every complete lattice is also a CPO.

Considering (D1,R1'), it is not a CPO since the entire set does not have a supremum, and the same holds for every infinite subset (since it is a total order, every subset is a directed one). It is a lattice since it is a total order. It is not a complete lattice for the same reasons why it is not a CPO.

(D6,R6') is not a CPO since it does not have a minimal element. However, all directed subsets have a supremum, so if we would add a minimal element, we would obtain a CPO. It is a lattice since it is a total order. It is not a complete lattice for the same reasons why it is not a CPO.

The solutions have been fixed meanwhile.
by (170k points)
selected by

Related questions

0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
asked Jan 15, 2023 in * TF "Emb. Sys. and Rob." by lu (460 points)
0 votes
1 answer
0 votes
1 answer
asked Jan 11, 2023 in * TF "Emb. Sys. and Rob." by piskandar (220 points)
Imprint | Privacy Policy
...