No new 17s within {-3+3}

Everything about Sudoku that doesn't fit in one of the other sections

No new 17s within {-3+3}

Postby dobrichev » Mon Jun 20, 2016 10:47 am

A task for neighborhood search for new 17-given puzzles at {-3/+3} from the known 49157 ones finished with no new puzzles found.
dobrichev
2016 Supporter
 
Posts: 1295
Joined: 24 May 2010

Re: No new 17s within {-3+3}

Postby champagne » Tue Jun 21, 2016 10:59 am

I have an ongoing scan of the 27+6+3 field with the same goal, but with little hope that a new 17 will come. The end of the task is not expected before 3 months.

I am also working on a new process to scan the catalog an to try to establish if we have the full list of 17.

I am currently finishing a morph of the catalog in an appropriate form for what I intend to code.
After that I'll be ready to open a thread explaining in details what is planned and showing some statistics giving some credibility to the idea, but the final code will not be ready before several weeks and the feasibility of the project will only be seen at that moment.
champagne
2017 Supporter
 
Posts: 5445
Joined: 02 August 2007
Location: France Brittany

Re: No new 17s within {-3+3}

Postby champagne » Tue Jun 21, 2016 2:23 pm

Mladen, one question

How long did it take to run that vicinity search
champagne
2017 Supporter
 
Posts: 5445
Joined: 02 August 2007
Location: France Brittany

Re: No new 17s within {-3+3}

Postby dobrichev » Tue Jun 21, 2016 2:52 pm

The search took about 49 CPU years. It has been started at the beginning of 2015 and with some gaps several machines did the job.
The source code is here - https://github.com/dobrichev/sudoku14plus3
dobrichev
2016 Supporter
 
Posts: 1295
Joined: 24 May 2010

Re: No new 17s within {-3+3}

Postby champagne » Tue Jun 21, 2016 2:58 pm

Just to compare, It seems to me that the proof that no 16 exists took about 3 second per solution grid, which is

5472730538*3 /3600 /24 /365= 521 core.years.
champagne
2017 Supporter
 
Posts: 5445
Joined: 02 August 2007
Location: France Brittany

Re: No new 17s within {-3+3}

Postby coloin » Thu Jun 23, 2016 2:50 pm

Well done ... no mean feat.

Currently I am background generating box9plus13s ...... in a while i will apply the gridchecker removeredunant command ....
If any new 4plus13s appear i will let you know !!

3 more box9-plus 12s found [152 total]
currently 4 million ED box9-plus13s .....

Mladen - coding a gridchecker {-1+1} on these but leave the central box would be a useful function for me to let rip with ...

C
Last edited by coloin on Mon Jul 04, 2016 10:51 pm, edited 1 time in total.
coloin
 
Posts: 1539
Joined: 05 May 2005

Re: No new 17s within {-3+3}

Postby champagne » Sun Jul 03, 2016 11:50 pm

champagne wrote:Just to compare, It seems to me that the proof that no 16 exists took about 3 second per solution grid, which is

5472730538*3 /3600 /24 /365= 521 core.years.


I refreshed that value.

In Gary McGuire's article, it is written

computation actually took only about 800 processor-years

What is missing is the processor speed.
So the average run time per grid seems to be between 4 and 5 seconds using a processor likely in the range 3-4 Ghz.

Blue tried to extend the Gary McGuire process to the search of 17 clue puzzles. In a pm, he announced an average 20 seconds per solution grid, which seems very low compared to the above data for the proof that no 16 exists.
champagne
2017 Supporter
 
Posts: 5445
Joined: 02 August 2007
Location: France Brittany


Return to General