|
|
Post by Lars Ericson on Jul 9, 2015 19:05:41 GMT -8
From Server I see 3 repositories: games.ggp.org/base, dresden and stanford
From dropdown menu I don't see HunterBig in any of these, is there another repository or should I look harder at one of the lists?
|
|
|
|
Post by alandau on Jul 9, 2015 21:41:28 GMT -8
|
|
|
|
Post by Lars Ericson on Jul 10, 2015 6:28:46 GMT -8
In the description it says "it is impossible to reach 100 points". However the .kif has (scoremap 48 100). Would either propnet analysis or answer set programming on the GDL factor this item out?
|
|
|
|
Post by Steve Draper on Jul 10, 2015 10:00:46 GMT -8
HunterBig CAN (I think) reach 100 (the comment is incorrect - it's just a cut&paste error from the Hunter rules this was based on I suspect). Simple Hunter cannot.
In Hunter the 100 value goal is connected in the propnet because it is possible to produce an input state in which one can transition to 100-value goal. However, that input-state is actually not reachable in a legal game path from the initial state. In general inferring that is (I think) equivalent to the halting problem. However, in restricted cases it would actually be fairly easy to see. In this case specifically it is easy to prove that the capture count can only increase by at most one per turn, and since it starts at 0 and there are only 14 turns one cannot reach a capture of 15 required for the 100 goal (hunter this is, not hunterBig). It's pretty easy to spot monotonic sequence patterns (counters) in the propnet, so both of the necessary facts (there are 14 turns, and captures cannot increase by more than 1) are readily determined. However, this is not a very general analysis and would only work for a few simple games.
|
|
|
|
Post by bertrand on Jul 11, 2015 1:49:01 GMT -8
Steve is right, the comment is incorrect, it's a copy & paste typo. I actually saw someone getting 100 points during the last qualifier.
As for why it is hidden, our "games in development" take some time before we expose them publicly, but we try them in "real-life" settings. It is not an issue if someone actually finds them though.
|
|
