/sci/ - Science & Math

>>15113370
Yeah but this is something that you can just solve with a constraint solver once the rules are properly encoded. Like just put this shit in prolog and let it run. That's what the field of AI was like some decades ago.

>>15113380
But if you're just going to run a brute force search, that doesn't require any intelligence. And the AI is called an intelligence.

>>15113370
> Only 60 people in the world have solved this puzzle.
That’s because only 60 people have tried. It’s an easy puzzle with no intellectual merit. If you want a real puzzle then do all the Advent of Code problems!

>Only 60 people
*61

That was trivial.

>>15113392
Are you in picrel?

>>15113386
It is not a brute force search if it takes into account all the given constraints during the search. And by the way how would you even define an "intelligent" solution to such a puzzle? There is no magic element to intelligence that makes you just know the solutions of puzzles without any reasoning behind it.

Are the people who claimed they solved this puzzle actually only using their brains, or just using their brains to write a computer algorithm to do it for them?

>>15113410
Regardless of whether you use a brute force search or not, you're still taking into account all the constraints of the puzzle am I right? Because otherwise you would not have a unique solution and you would possibly end up with a wrong solution.

"Intelligent solution" would be a solution which you were able to find as easily as possible. That's how I would define it. Something like picrelated as an illustration of my point. A dumb person would use the quartic formula or something to solve the equation in a complicated and robotic way. But a more intelligent person would realize that the problem can be reduced to something simpler and solved in a much easier way. How would you program a computer to do something like that?

>>15113458
is "there is a unique solution" part of the clues/puzzle?
>How would you program a computer to do something like that?
It depends. A constraint solver could start by listing the amount of possible numbers according to the current state of the puzzle, then start with the one that has the least number of possibilities (i.e. I see at least 1 square that you can fill in right at the start and know for sure that it's correct). But for some puzzles you can't know what's the easiest path to the solution without actually trying many solutions.

>>15113370
fun

>>15113370
mmm, challenge accepted. will post solution if/when I get it

>>15113370
I don't get it. It seems like A should be 1 or 2, and B should be 1,2, or 3.

If B is 3 then that forces a "region" of size 9 (WLOG the blue region in pic). But now A has to be 1, and its own region is stuck between the purple region of size 9, so A's own region must have size <9, contradiction.

If B is 2 or 1, then A must be the opposite, and we quickly get a contradiction based on regions as well. This exhausts all cases, so there is no solution

>>15114118
gib link

>>15115222
>If B is 3 then that forces a "region" of size 9 (WLOG the blue region in pic). But now A has to be 1, and its own region is stuck between the purple region of size 9
Why couldn't the cell a itself be part of the region that a points to (i.e. the purple region in your diag)?

>>15113370
"AI" doesn't exist. You can count on it that some corporate chimp is going to train a bot to solve this kind of puzzle at some point and declare some kind of imaginary victory, but no existing or even realistically conceivable iteration of current technologies can deal with this without being specifically trained to.

>>15115222
>If B is 2 or 1, then A must be the opposite,
not true

>>15115715
https://app.crackingthecryptic.com/sudoku/Hf9QqQMD7J

>>15113370
I'm confident I can solve that, but if a solution is already public, I'm not interested.

>>15113370
1. How do you know that only 60 people have solved it?
2. Is a solution already available? If so, this puzzle offers nothing to the intellectual flexer.

>>15113370
>Can an AI do depth first search?
Kek

>>15115722
>Why couldn't the cell a itself be part of the region that a points to (i.e. the purple region in your diag)?
Because if A is in region N then those are in region N+1.
>not true
Yes true, because the same number cannot appear twice in that row.

>>15115799
>>15116025

>>15115222
>If B is 3 then that forces a "region" of size 9 (WLOG the blue region in pic).
>But now A has to be 1
says who

>>15116025
d'oh, forgot the basic rules of sudoku while focusing on the weird shit

>>15115938
I think it's from here
https://logic-masters.de/Raetselportal/Raetsel/zeigen.php?id=000BD7
but when I follow the penpa+ link the UI looks different from what's in the OP

>>15115222
>WLOG
blue region could contain all 3 cells right of “B”. this changes everything. retard