# Collective Problem Solving on Piazza

Some of the problem solving tasks we will approach collectively through Piazza. Because we have 50+ students we have to be careful that we don't have information overload. Therefore, try to find the optimal solutions for the claims and only post when you think you have found the optimum. Test your defense with your partner before you post on Piazza. Also only post on Piazza, if you Given is a claim family with a stronger relation: c1 => c2 means that c1 is stronger than c2 and c1!=c2. => is logical implication. Intuitively, c1 is "harder" to defend than c2. We also say that c2 is weaker than c1. Our objective is to find the strongest claim in a claim family. Given is a claim family c(q in Q) where q ranges over a finite set of numbers Q with a minimum element qmin and a maximum element qmax. We assume that c(qmax) is true and c(qmin) is false. We define a derived claim: c-min() = (Exists q in Q: c(q)) and (ForAll q' HSR(n,k,q')) if q HSR(7,2,4) The first claim on Piazza: HSR(25,2,9)