I re-read the rules but maybe I missed it. How to the validators that have 4 options work? You can test the right or the left or the middle, but I don't understand how to test the two options in the middle. It's probably really obvious but I don't see it. Thank you.
Please explain validators with 4 options
Forum rules
Please DO NOT POST BUGS on this forum. Please report (and vote) bugs on : https://boardgamearena.com/bugs
Please DO NOT POST BUGS on this forum. Please report (and vote) bugs on : https://boardgamearena.com/bugs
Re: Please explain validators with 4 options
You just test the parameter of your code.
Per example with the lowest number (if b<yp, y<bp, or p<by):
Firstly, you are guarantee to have one number being the lowest. You can't have per example 232, because there would be no lowest number.
Then if you test let's said 314, in that code y<bp, so your test will said if y<bp in the real code or not.
If you got a green v, that mean yellow is the lowest.
If you got a red x, that mean yellow isn't the lowest. So either b<yp or p<by.
Per example with the lowest number (if b<yp, y<bp, or p<by):
Firstly, you are guarantee to have one number being the lowest. You can't have per example 232, because there would be no lowest number.
Then if you test let's said 314, in that code y<bp, so your test will said if y<bp in the real code or not.
If you got a green v, that mean yellow is the lowest.
If you got a red x, that mean yellow isn't the lowest. So either b<yp or p<by.
Re: Please explain validators with 4 options
I guess I'm not sure how to test the two options in the middle, is it one even number or two even numbers?
- turing.png (133.35 KiB) Viewed 128 times
Re: Please explain validators with 4 options
All criteria cards are "the same": they just tell you a short list of what the validation card associated to them could be.
This particular card tells you the validator is one of:
1) Give true if there are no even numbers, give false if there is any even number
2) Give true if there is exactly one even number, give false if there are 0, 2 or 3 even numbers
3) Give true if there are exactly two even numbers, give false if there are 0, 1 or 3 even numbers
4) Give true if there are exactly three even numbers, give false if there are 0, 1 or 2 even numbers
where "there are" refers to the code you try it with. Since you also know that the solution must give true in all validators, when you know which kind of number gives true in this validator you'll also know which kind of number the solution is. You don't get to choose which of 1-4 the validator is testing, that's decided by the setup of the challenge, the card only gives a hint of which one it could be.
So, if you try this validator with 123, two things can happen:
* You get true. You know this is case 2 above (because your trial code has one even number), and you know the solution has one and only one even number.
* You get false. You know this is case 1, 2 or 3 above, but not 2 (because that would have given true). In this case all the alternatives are exclusive, so you also know that the solution does not have one even number (because it if did it could not give true in any of the other possible cases).
In other cards the alternatives are not exclusive, and knowing that the verifier is not testing one of the options does not mean that option is not fulfilled by the code. For instance, if the alternatives are B=3 | Y=3 | P=3, knowing that the verifier does not test Y=3 doesn't tell you the solution doesn't have Y=3, because even with Y=3 it can still be true that B=3 or P=3.
This particular card tells you the validator is one of:
1) Give true if there are no even numbers, give false if there is any even number
2) Give true if there is exactly one even number, give false if there are 0, 2 or 3 even numbers
3) Give true if there are exactly two even numbers, give false if there are 0, 1 or 3 even numbers
4) Give true if there are exactly three even numbers, give false if there are 0, 1 or 2 even numbers
where "there are" refers to the code you try it with. Since you also know that the solution must give true in all validators, when you know which kind of number gives true in this validator you'll also know which kind of number the solution is. You don't get to choose which of 1-4 the validator is testing, that's decided by the setup of the challenge, the card only gives a hint of which one it could be.
So, if you try this validator with 123, two things can happen:
* You get true. You know this is case 2 above (because your trial code has one even number), and you know the solution has one and only one even number.
* You get false. You know this is case 1, 2 or 3 above, but not 2 (because that would have given true). In this case all the alternatives are exclusive, so you also know that the solution does not have one even number (because it if did it could not give true in any of the other possible cases).
In other cards the alternatives are not exclusive, and knowing that the verifier is not testing one of the options does not mean that option is not fulfilled by the code. For instance, if the alternatives are B=3 | Y=3 | P=3, knowing that the verifier does not test Y=3 doesn't tell you the solution doesn't have Y=3, because even with Y=3 it can still be true that B=3 or P=3.
Re: Please explain validators with 4 options
Thank you very much! that is much more clear now. I was assuming that by clicking on the green boxes (on the sides and middle) I was choosing which condition to test.
Thanks again!
Thanks again!