champagne wrote:A question to blue?
Just considering the speed of a brute force with 34 given and the fact that in the process you applied to reduce the count some steps are not so easy (and likely doing part of the job of a brute force), is it really worht to do more than your 842724
IMO, applying directly the 842724 to the 44 till the end (checking validity of puzzles) could be the quickest process
It was definitely worth it. For timings on my machine, with 'fsss2' : the initial reduction from 44*842724 to 14760393 <band,pattern> cases, took about 100 seconds, but would save ~4200 hours of CPU time. (The 100s was so small, I didn't bother trying to shorten it). The 2nd reduction (with a "per puzzle" cost), would save ~1050 hours, at a cost of 2 hours. All in all, it gives about a 4:1 reduction, at very little cost.
champagne wrote:The check of the 3+4+27 has been finally relatively short, what would be the "size factor" for 4+4+27 and 3+5+27. At least for 4+4+27, it seems to me than we are still in the "feasible area"
Using the same kinds of reductions, the number of puzzles to be tested, goes from 1.3e+12, to 53.4e+12, based on a small sampling.
They're split pretty evenly between 4+4+27 and 3+5+27 (oddly enough).
With one extra clue, the time to test each puzzle drops to around 81% of what it was for 3+4+27 -- surprise !
The net effect, means around 33.4 times as much CPU time.
With Mladen's 16-core server, it would take ~110 days
I tested around 5.5e+9 puzzles (~a half & half mix), and got 51 results (below) ... 14 3+5+27's and 37 4+4+27's.
Those expanded to 1668 ED puzzles, none of which contained an 18
3+5+27
1472396852584761393691582744......1..8..67...............3...........4..........6
1472396852584761393691582745......1..8..67...............3...........5..........6
148279563257346189369158427.1..3......4...9.........5...2....7.....1.............
147239856258176394369458127..58..........1.4........6.....6.........7.........9..
147356289268179435359248167..1.....8...6...7......3.......84.........6...........
1472396852691583743584761297..91......3.....6..........2.....1......3............
1472368592684591373591782648.....9...1.3.........6.....7......6...8..............
1472398562581763943694581278.4..........67..5...........6.........3..2...........
147236589268159374359478126..6..4.....5....1........3.4............1.........5...
147236589268159374359478126..6..4.....5....3........1.4............1.........5...
147356289268179435359248167.9.........38.1...........48............9..........3..
147356289268179435359248167..3.........51.6.........4..1............3.9..........
147258639259346187368179245.84.....6...5.............15.....3.......4............
147258639259346187368179245.94.....6...5.............15.....3.......4............
4+4+27
1472563892581394673694781256...........31...4..........1.....5......2.9..........
1472563892581394673694781256...........31...4..........3.....5......2.9..........
1473562892681794353592481678....1......6.............4.9.........5.9...........1.
1472586392593461783681792458....1......6...........9..6............94..7.........
1472365892581793643694581275.1......7.............4....9.....4.....1.2...........
1472365892581793643694581277.1......5.............4....9.....4.....1.2...........
1472563892581397643694781257.1...........5.4...........2.8...........9..........3
1472563892581397643694781257.3...........5.4...........2.6...........9..........3
1472563892581397643694781257.3...........5.4...........2.6...........9..........7
14723658926845913735917826451.3............9...........76............3.........1.
14723658926845913735917826451.3............9...........96............3.........1.
1472398562694581373581762947.1.............6.........9.9.........4.........7..3..
1472398562694581373581762949.1.............6.........5.7.........6.........3..9..
1472586392593461783681792457.......1...6...........8....5..........8..........46.
1472563892581397643694781257.5.........6...4...........8....5.....3...........9..
1472563892581397643694781257.5.........6...4...........8....5.....7...........9..
1472563892581397643694781257.5.........6...4...........8....9.....7...........5..
1472365892584791363691582747.1...........3.........6...9...4..3......7...........
14735826925917643836824915748..........9.5...............41..........8.5.........
147239856258176394369458127.2.....3.....6.........7....3............17.8.........
147239856258176394369458127.2.....3.....8.........4....3............79.8.........
14725689326834915735917842661.............98............2.8..........7..........1
14725689326834915735917842661.............98............2.9..........7..........1
14725689326834915735917842663.............28............2.9..........6..........5
1473582692591764383682491757.1...........5...........4.8....5.....7.........2....
14723865925917638436845912741...........87............8..........36..4...........
1472398562581763943694581275............2...8....4.....86...........15...........
1472398562581763943694581275............2...9....4.....96...........15...........
1472398562581763943694581275............4...9....1.....91...........25...........
1472398562581763943694581275............4...9....2.....96...........15...........
1472398562581763943694581279............6...5....4.....36...........19...........
1472386952684591373591762848.1..........6.4............7..4......2....1..........
14723968526915837435847612971..........9....2...........2.........3..7......1....
1472398562581763943694581275......7....6.4.............84.......1..............3.
1472398562581763943694581275......7....6.4.............86.......1..............3.
1472398562581763943694581275......7....8.1.............86.......2..............3.
1472596832693481573581764297......6....9..........2....9.....3...4..........6....