.. (לתיקייה המכילה) | ||
Q1.B: If X & Y share only a single parent, are they siblings? | |
Yes. If X & Y share at least a single parent (either father or mother), they are considered to be siblings. Note that this should influence the rest of the question as well (such as 1C). |
Q1.B: Should sibling(X,X) fail? | |
Yes. |
General: Can the same answer be returned twice (or more) by a query? | |
Yes, as long as the answer is *correct*. |
Q1: General definitions and clarifications | |
* No one is its own sibling. * No one is its own cousin. * You may assume the input will not include anyone who is its own mother / father. * Cousins are two people who have parents that are siblings. * You may assume no brother & sister has a mutual child. * regarding degree(X,Y,N): You may assume X & Y are in the same subtree (meaning, they have a common ancestor). |
Q2: What parameters must be concrete and what can be a variable? | |
To make your life easier, you can make the following assumptions: canonical(L,S) - L must be concrete, S must be a variable. cardinality(S,N) - S must be concrete, N can be either concrete or a variable. intersect(S1,S2,S3) - S1 & S2 must be concrete. S3 must be a variable. union(S1,S2,S3) - S1 & S2 must be concrete. S3 must be a variable. subset(S1,S2) - S1 & S2 must be concrete. seq(S1,S2) - S1 & S2 must be concrete. complement(S1,S2,S3) - S1 & S2 must be concrete, S3 must be a variable. symmetricDifference(S1,S2,S3) - S1 & S2 must be concrete, S3 must be a variable. cartesianProduct(S1,S2,S3) - S1 & S2 must be concrete, S3 must be a variable. powerSet(S1,S2) - S1 must be concrete, S2 must be a variable. All concrete objects mentioned above can be non-canonical representations of sets. |
Q2: seq(X,Y) & subset(X,Y) : Should the following queries fail? | |
No. Both queries should succeed. As explained in the exercise, the objects you receive as input might not be canonical representations of sets. However, your query should answer according to the relation between the canonical sets these lists represent. These relations are not "sub-list" and "list-equal" but rather "sub-set" and "set-equal". Make sure you understand the difference. |
Should we submit a printed copy of the wet part? | |
Yes. Please add a printed copy of the wet part to the dry part's submission. There's no need to add examples. |
Clarifications regarding degree(X,Y,N) | |
You should expect simple input! You can make the following assumptions: 1. X & Y have a common ancestor. 2. Let Z be the common ancestor of X & Y, which is closer to them than any other common ancestor. Then, you may assume there's no other path from X to Y except the one that passes through Z. |
What should I submit? | |
Your printed submission (to the course cell) should contain: Everything! Print out the entire solution. Please try to print on both sides. Your electronic submission (to the Webcourse) should contain: Only the solutions for questions 1-3 in part 1. These solutions should be submitted in the manner explained in the PDF. |
Q3: What parameters are variables and what are concrete objects? | |
Bag & MaxWeight are concrete objects. Result is a variable. |