[Cs5500] Fwd: Repair SCG Court

[Karl Lieberherr]

How to repair SCG Court regarding strengthening not working:

The problem with strengthening is at the SCG Court level and correctly
repairing it will solve it for all playgrounds.

Here I address the technical issues. The managerial issues are in a
separate mail.

In project 5 we added features to the playground configuration file:

2 examples:
"proposedClaimMustBeNew:" *s <proposedClaimMustBeNew> boolean
// proposed claims must be different from previously proposed claims
"strengthening:" *s <strengthening> boolean
 // strengthening is allowed.

I forgot an important feature: MinOrMax which says
whether we have a minimization or maximization problem.
As far as I can tell we can not infer this feature
from the presence or absence of other features.
So we need to add it as a separate feature.

Here is a quick analysis.

ForAllExists claims can be min or max:
Example for max: MMG
Example for min: HSR, Generalized BFS

ExistsForAll claims can be min or max:
Example for max: HSR negated
Example for min: MMG negated

New feature:

"minOrMax:" *s <minOrMax> MinOrMax
MinOrMax = MinProblem | MaxProblem.
MinProblem = "minimization".
MaxProblem = "maximization".

What are the implications of the new feature?

If minOrMax is set to minimization and we have
a ForAllExists protocol, we must choose ForAllExistsMin
which is a subclass of ForAllExists.

A crucial method is:

boolean strengthenP(Claim oldClaim, Claim strengthenedClaim);

in ProtocolI.

The implementation for minimization is:
strengthenedClaim.getQuality() < oldClaim.getQuality();
The implementation for maximization is:
strengthenedClaim.getQuality() > oldClaim.getQuality();

==============
We have been on the right track with ForAllExistsMin
and ForAllExistsMax but strengthenP is not properly
handled by those classes.

For tonight's tournament we need, as a hack, ForAllExistsMin
working properly. Adding the minOrMax feature
we can do tomorrow.

-- Karl
-------------- next part --------------
HTML attachment scrubbed and removed