The New Sudoku Players' Forum

[tarek]

There is a problem reading from file under windows...

Tester works fine ... However ER,EP & ED can't read from file.

tarek

[gsf]

There is a problem reading from file under windows...

Tester works fine ... However ER,EP & ED can't read from file.

I just checked it on my xp box and it worked
make sure you are pointing to the new SudokuExplainer.jar from my site (all one line)

Code: Select all

java -Xrs -Xmx500m -cp SudokuExplainer.jar diuf.sudoku.test.ED .4.8.6.2.9..3.5.6.6..2.15..764952318.3.7642952..1836743.65.7...41.638.52...4.9.36


prints

Code: Select all

6.6/4.2/2.6


[gsf]

There is a problem reading from file under windows...

Tester works fine ... However ER,EP & ED can't read from file.

tarek

aha
I misinterpreted can't read from file
ER, EP and ED take 81 char puzzle strings as arguments -- not in files
and there is no output log file argument

also, looking at the code its pretty clear that the *.*999... ratings we have seen are artifacts
of the java floating point representation/formatting
so the ER, EP and ED rating output now works around that (just reposted) and only tenths
will be retained

[tarek]

thanx,

got it working now....

just tested it on the Golden Nugget....

Results: 11.9/11.9/11.3

tarek

[m_b_metcalf]

misled because a difference in pearl rating made you think it was a different puzzle?
if so, you're right, that shouldn't happen when computed by the same program
but
do I recall seeing two isomorphic puzzles with different ERs?

Excuse the late reply - I've been away (to darkest Westchester County). Yes, I was misled for that reason, and yes, JPF has several times in the first series identified isomorphs with 8.x and 8.y ratings (x /= y; I can't remember the values of x and y and don't want to search for them).

anyway, just to be sure the referee does the isomorphism checks first
besides, in searching it is much more efficient to weed out the isomorphs before checking with SE

Yes, I do that for my own but not for those posted by other players (must put that on the to-do list).

Congratulations on finding a way out the pearl-rating dilema. I look forward to trying out the new version of the game. As a side effect, I have tried searching specifically for ultra Pearls, but for this pattern it produces only isomorphs .

Regards,

Mike Metcalf

[gsf]

Congratulations on finding a way out the pearl-rating dilema. I look forward to trying out the new version of the game. As a side effect, I have tried searching specifically for ultra Pearls, but for this pattern it produces only isomorphs .

thanks
all players should make sure they can generate ER/EP/ED
I hope to retool the next game (0014) for ER/EP/ED
and all submissions will be required to contain ER/EP/ED

for comparison here are the sorted/uniqed ER/EP/ED for the current game (0013)

Code: Select all

100000002020000030000104000005602400000040000001708500000506000070000040900000003 # 1.2/1.2/1.2
700000009060000020000908000009102800000030000002405100000803000070000060800000001 # 1.5/1.2/1.2
100000002020000030000401000005607800000040000004902500000806000070000010400000003 # 1.7/1.2/1.2
100000002020000030000104000002506700000010000008709400000802000040000060500000001 # 2.0/1.2/1.2
100000006090000010000704000005908400000040000003207500000509000020000080600000004 # 2.3/1.2/1.2
100000002030000010000405000004602700000050000007304500000807000070000050800000006 # 2.5/1.2/1.2
100000002080000010000706000004302700000060000007801600000504000020000090900000008 # 2.6/1.2/1.2
100000002020000030000405000002607400000080000009304500000902000030000010600000008 # 2.8/1.2/1.2
500000002010000040000307000009203600000040000008109400000406000020000010400000005 # 3.0/1.2/1.2
400000003060000080000705000007602100000010000005408900000107000040000030800000006 # 3.2/1.2/1.2
100000002030000040000501000006207800000080000005906100000805000020000090400000003 # 3.4/1.2/1.2
100000002030000040000506000006104700000020000005608900000905000020000010300000004 # 3.8/1.2/1.2
100000002030000040000506000007103600000080000005209800000805000020000010300000004 # 4.0/1.2/1.2
100000002020000030000304000005601400000050000007208600000409000040000060300000009 # 4.2/1.2/1.2
100000005050000040000409000006801900000030000008507200000902000090000010400000003 # 4.5/1.2/1.2
100000002030000040000501000006708100000010000007209800000804000020000090300000004 # 4.6/1.2/1.2
100000002050000040000506000006701800000060000007308500000905000080000010200000004 # 5.2/1.2/1.2
100000009020000030000401000005607800000040000004902500000806000090000010400000003 # 5.6/1.2/1.2
100000002030000010000304000004506700000020000008709400000905000070000060200000003 # 5.7/1.2/1.2
100000008020000060000904000003208500000010000009307400000509000080000010200000006 # 6.2/1.2/1.2
300000006060000080000901000007102900000030000009405100000704000020000070800000003 # 6.5/1.2/1.2
100000007070000040000409000006208900000030000003507200000902000090000010400000008 # 6.6/1.2/1.2
100000007070000030000405000006201400000030000004507200000602000080000010300000008 # 6.7/1.2/1.2
400000001090000020000605000006409700000060000007203500000807000020000010900000004 # 6.8/1.2/1.2
100000007070000040000409000006201900000030000008507200000906000090000020400000003 # 6.9/1.2/1.2
100000007050000040000602000006801900000030000009507200000908000030000010400000009 # 7.0/1.2/1.2
100000002030000010000706000004302700000060000007801600000504000020000090900000003 # 7.1/1.2/1.2
100000007070000040000409000006201900000030000008507200000902000090000010400000008 # 7.2/1.2/1.2
100000002030000040000506000005104700000080000006203900000807000020000010400000003 # 7.2/2.0/2.0
400000003030000090000605000008906500000070000005201700000807000020000040900000002 # 7.3/1.2/1.2
100000008080000060000304000005908400000040000001207500000509000020000040600000003 # 7.4/1.2/1.2
200000004080000090000704000004203700000050000007609500000506000020000010100000003 # 7.5/1.2/1.2
100000008020000060000504000003608900000050000004103700000407000080000010200000006 # 7.6/1.2/1.2
300000008080000090000604000004102700000030000007406500000705000050000040900000003 # 7.7/1.2/1.2
300000006060000020000908000005102800000030000009405100000801000050000070800000003 # 7.8/1.2/1.2
300000008080000090000605000006102500000030000007506400000407000040000020900000003 # 7.9/1.2/1.2
700000006060000020000908000003102800000030000009405100000804000050000070200000005 # 8.2/1.2/1.2
100000008030000090000704000004308700000020000007901200000502000080000010900000003 # 8.3/1.2/1.2
100000002030000090000405000006302700000080000005901400000607000080000010900000003 # 8.4/7.2/2.6
100000005050000080000409000004801700000030000009507200000902000040000010600000003 # 8.5/1.2/1.2
100000002030000090000706000006302700000080000005901400000504000080000010900000003 # 8.5/7.2/2.6
400000002030000040000507000006701800000060000009308500000905000010000030200000001 # 8.6/1.2/1.2
100000002030000010000204000005406700000080000009302500000709000060000030200000006 # 8.7/1.2/1.2
100000002030000090000706000008402700000050000005901800000804000020000010900000003 # 8.8/1.2/1.2
100000002030000090000706000006302800000080000005901400000504000020000010900000003 # 8.9/2.0/2.0
100000002030000040000506000005207800000030000004109600000408000020000090600000003 # 8.9/2.6/2.6
100000002030000090000706000007302400000080000005901800000504000020000010900000003 # 9.0/2.0/2.0
100000002030000090000705000008302700000080000005901800000608000020000010900000003 # 9.1/2.0/2.0
100000002030000040000506000006701800000060000009308500000807000040000030200000001 # 9.2/9.2/9.0
100000008030000090000402000006308700000050000002906400000504000080000010900000003 # 9.3/1.2/1.2
100000002030000040000506000005601700000080000006304800000709000020000030400000001 # 9.3/9.3/3.0
500000002010000090000307000007203600000040000008109400000406000020000010900000005 # 9.4/9.4/3.0
100000006050000080000309000009801700000030000002507400000702000080000010600000005 # 9.5/9.5/3.0
300000002010000090000807000004306700000050000007901500000405000020000010900000003 # 9.6/1.2/1.2
300000002010000090000807000007306400000050000008901500000405000020000010900000003 # 9.7/9.7/3.0
100000006050000080000409000003801700000030000009507200000902000080000010600000005 # 9.8/1.2/1.2
300000002010000090000607000004203700000050000006109800000405000020000010900000003 # 9.8/7.1/3.0
100000002030000040000506000005702600000080000008105900000908000040000010200000003 # 9.9/9.9/7.9
300000002010000090000604000005203700000050000004109600000508000020000010900000003 # 10.1/7.2/3.0
300000002010000090000607000004203700000050000006109500000408000020000010900000003 # 10.4/7.2/3.0
100000002030000040000506000007201800000080000005304600000709000020000030400000001 # 10.5/10.5/3.0
100000002070000060000809000004102500000030000009706800000504000020000070600000001 # 10.6/10.6/6.7


[tarek]

gsf,

if the first placement was via a Naked single with no higher rated technique used before that.... would the EP score be 2.3 ?!

I'm asking that because I couldn't see an EP score of 2.3 in the list you just submitted...

It is a problem because direct pointing & direct hidden pairs (both rated less than Naked singles) lead to a hidden single following that.....

an EP of 2.3 would happen only if the ED was 2.3 ...

tarek

[gsf]

if the first placement was via a Naked single with no higher rated technique used before that.... would the EP score be 2.3 ?!

I'm asking that because I couldn't see an EP score of 2.3 in the list you just submitted...

It is a problem because direct pointing & direct hidden pairs (both rated less than Naked singles) lead to a hidden single following that.....

an EP of 2.3 would happen only if the ED was 2.3 ...

I'm not sure about all of the SE nuances, especially w.r.t. lower ratings
all I did was instrument the solver
the solver loop (before my instrumentation) keeps a running max difficulty
ED is the max difficulty at the first placement/elimination
EP is the max difficulty at the first placement
ER is the (standard) max difficulty after the last placement/elimination leading to a solution

this means that ER >= EP >= ED

I'm fairly sure the added ED/EP tests in the solver loop did not add any artifacts/reorderings

[m_b_metcalf]

all players should make sure they can generate ER/EP/ED
I hope to retool the next game (0014) for ER/EP/ED
and all submissions will be required to contain ER/EP/ED

gsf, sorry for being thick, but the URL for the modified version of SE points to SudokuExplainer.jar (http://www.research.att.com/~gsf/sudoku/SudokuExplainer.jar) but gives me SudokuExplainer.zip. I have always simply downloaded the .jar file before. What am I doing wrong or missing?

Thanks,

Mike Metcalf

[g.r.emlin]

::: game 0013 idle -- with no further entries the game will close at 2008-01-25+20:00:00-0000 :::

Code: Select all

game 0013 2008-01-22+16:15:00-0000 duration 2d03h dealer coloin index 960 (open) 4 players

    1.2/2    1.5/2    1.7/2    2.0/2    2.29/2   2.3/2    2.5/2    2.6/2    2.8/2    3.0/2   
    3.2/2    3.4/2    3.8/2    4.0/2    4.2/2    4.4/2    4.5/2    4.6/2    5.2/2    5.6/2   
    5.7/2    6.2/2    6.5/2    6.6/2    6.69/2   6.7/2    6.8/2    6.9/2    7.0/2    7.1/2   
    7.2/3    7.3/2    7.4/2    7.5/2    7.6/2    7.7/2    7.8/2    7.9/2    8.2/2    8.3/2   
    8.4/13   8.5/13   8.6/2    8.7/2    8.8/2    8.9/4    9.0/3    9.1/3    9.2/99   9.3/99
    9.4/99   9.5/99   9.6/2    9.7/99   9.8/13   9.9/99   10.1/13  10.4/13  10.5/99  10.6/99

       submitter  entries  score  response  notes
     -----------  -------  -----  --------  -----
          coloin        1    -19         0  dealer
     m_b_metcalf       21    617     9m26s  weak-pearl*2,strong-pearl*2,highest-rating,dup-puzzle*4
         TTHsieh       18   1008    14m32s  weak-pearl*2,premature-entry,strong-pearl*3,dup-rating
             gsf       20   1139    15m44s  strong-pearl*2,weak-pearl*5,last-entry
     -----------  -------
               4       60


[gsf]

gsf, sorry for being thick, but the URL for the modified version of SE points to SudokuExplainer.jar (http://www.research.att.com/~gsf/sudoku/SudokuExplainer.jar) but gives me SudokuExplainer.zip. I have always simply downloaded the .jar file before. What am I doing wrong or missing?

no problem
.jar files are .zip files
maybe your browser is making that leap?
I double checked and the actual name posted is SudokuExplainer.jar
you may be able to just rename it back to .jar
it should have size 296589 and md5 sum 99218dabfe914fd23197a33798cfb326

[g.r.emlin]

::: game 0013 closed (idle for 1d00h) -- preliminary results :::

Code: Select all

game 0013 2008-01-22+16:15:00-0000 duration 2d03h dealer coloin index 960 (idle) 4 players

    1.2/2    1.5/2    1.7/2    2.0/2    2.29/2   2.3/2    2.5/2    2.6/2    2.8/2    3.0/2   
    3.2/2    3.4/2    3.8/2    4.0/2    4.2/2    4.4/2    4.5/2    4.6/2    5.2/2    5.6/2   
    5.7/2    6.2/2    6.5/2    6.6/2    6.69/2   6.7/2    6.8/2    6.9/2    7.0/2    7.1/2   
    7.2/3    7.3/2    7.4/2    7.5/2    7.6/2    7.7/2    7.8/2    7.9/2    8.2/2    8.3/2   
    8.4/13   8.5/13   8.6/2    8.7/2    8.8/2    8.9/4    9.0/3    9.1/3    9.2/99   9.3/99
    9.4/99   9.5/99   9.6/2    9.7/99   9.8/13   9.9/99   10.1/13  10.4/13  10.5/99  10.6/99

       submitter  entries  score  response  notes
     -----------  -------  -----  --------  -----
          coloin        1    -19         0  dealer
     m_b_metcalf       21    617     9m26s  weak-pearl*2,strong-pearl*2,highest-rating,dup-puzzle*4
         TTHsieh       18   1008    14m32s  weak-pearl*2,premature-entry,strong-pearl*3,dup-rating
             gsf       20   1139    15m44s  strong-pearl*2,weak-pearl*5,last-entry
     -----------  -------
               4       60


[gsf]

::: more :::

Code: Select all

500000004060000090000704000004203700000050000007609500000906000030000010100000009 4.59/2
100000002030000040000509000009701800000060000007308500000805000060000010200000004 9.19/2


[m_b_metcalf]

no problem
.jar files are .zip files
maybe your browser is making that leap?
I double checked and the actual name posted is SudokuExplainer.jar
you may be able to just rename it back to .jar
it should have size 296589 and md5 sum 99218dabfe914fd23197a33798cfb326

The file is, indeed, that length (the original, however, is 352268). If I change the .zip extension to .jar it doesn't execute because of a manifest file problem. If I unzip both files, overwrite the old with the new, zip the result and change the extension, the result is 310304 bytes and also doesn't execute. I'm using XP professional and WinZip. I'm sure the solution's only a click away.

Regards,

Mike Metcalf

[gsf]

The file is, indeed, that length (the original, however, is 352268). If I change the .zip extension to .jar it doesn't execute because of a manifest file problem.

what is the manifest problem error message?
tarek, how do you run the .jar on windows?