by tarek » Fri Feb 22, 2019 9:21 am
)
by Mathimagics » Fri Feb 22, 2019 9:32 am
m_b_metcalf wrote:That raises the question as to what is the purpose of generating puzzles at astonishingly impressive lightning speeds if only 0.1% of them can be solved by humans (see my previous post), and one doesn't know which ones, to boot?
by blue » Fri Feb 22, 2019 10:58 am
dobrichev wrote:2) Essentially SAT is a brute force approach to a problem so it shouldn't be viewed as an alternative of brute force.
Mathimagics wrote:SAT is still "brute force", I agree
by dobrichev » Fri Feb 22, 2019 12:33 pm
by Mathimagics » Fri Feb 22, 2019 1:12 pm
dobrichev wrote:The task is defined here.
by m_b_metcalf » Fri Feb 22, 2019 1:23 pm
Mathimagics wrote:I ask the latter question because, once I go there, it is highly unlikely that I would ever come back …
by Mathimagics » Fri Feb 22, 2019 3:35 pm
by m_b_metcalf » Sun Feb 24, 2019 5:22 pm
tarek wrote:2. High singles backdoor size
by tarek » Sun Mar 03, 2019 10:27 am
by Mathimagics » Mon Mar 04, 2019 5:20 am
by tarek » Mon Mar 04, 2019 7:54 am
Mathimagics wrote:Hi tarek!
Do I understand the terminology correctly - "singles Backdoor size 3" means adding 3 (particular) clues gives a singles-only puzzle?
by tarek » Fri Mar 08, 2019 5:08 pm
by Mathimagics » Fri Mar 08, 2019 7:46 pm
by tarek » Fri Mar 08, 2019 7:56 pm
by Mathimagics » Sun Mar 10, 2019 10:53 am
