Str8ts Forum

Hi CL, Thanks a lot, that's a lot of material that will take some time to digest. After a brief scan of Knuth's work, I believe that Since I really like the visualization of the real-time growth of the solution-tree, I need breadth-first search, while Knuth's Algorithm X is depth-first. Knuth's algo...

@Leren: I understand this. In this regard my solver is certainly not yet at the level of yours. I have quite a few algorithms still on my todo list. But as my interest is mainly in the software engineering aspects, I have given higher priority to other features of the solver during the last weeks. M...

Hi Leren, You can see every single elimination explained in detail in the yellow pop-up boxes. However, the hone line search (at least the way I have implemented it) is just an (intelligent) exhaustive search of the row or column. So there is not much to explain on that one by the solver. Maybe the ...

Hi Leren, Welcome to this forum. Hone's explanation is completely correct. I use a number of CE algorithms, including high-low checks; BCA; x-wings/fishes; and optionally UR (not all cases covered yet though). Until a couple of weeks ago, I also used (as a last resort before chain trials) exhaustive...

Here is another solver, purely browser-based. https://is.gd/solverBeta1 It includes chain evaluation (including chain visualization) and finds all solutions. Currently, more chains than perhaps necessary are evaluated, I still have a number of missing algorithms on my todo-list that would avoid some...

Ok, das verstehe ich.
Das steht noch auf meiner Todo-Liste: den kleinstmöglichen Lösungsbaum zu finden

Hallo hone, beziehen sich die Rechenzeiten auf die 1-Clue- oder die 0-Clue-Version? Mein Web-Solver (den Link hast du ja) braucht für die 1-Clue-Version auf meinem Laptop dreieinhalb Sekunden für die Algorithmen. Mit dem ganzen UI dauert es ca 15 Sekunden bis der ganze Lösungsbaum aufgebaut ist. Die...

Nochmal zur Wahren Natur: - Welche Annahmen führen zu Widersprüchen (mit oder ohne weitere Unterannahmen) - Welche Annahmen führen zu einer Lösung (mit oder ohne weitere Unterannahmen) - Wie lange sind die Wege bis zu deren Ergebnis - Wie schwierig (von einem menschlichen Standpunkt aus) sind die We...

In der Tat zäh. Aber trotzdem findet der Solver alle 86 (oder so) Lösungen.
(Ja, ich weiß , deren gemeinsame Struktur zeigt er (noch) nicht).
Schönes Wochenende!
Robo

@Klaus: Du kannst im Menu unter "Retrieve" jetzt auch hone's 2016 xmax B1 finden