Mathos
banner
mathos1234.bsky.social
Mathos
@mathos1234.bsky.social
Interested in mathematical and other puzzles.

"If you cannot solve the proposed problem do not let this failure afflict you too much but try to find consolation with some easier success, try to solve first some related problem" -- G Polya
And one which the computer says can only be solved by brute force. I disagree.

sudokupad.app/bgwryrf3cb
Human vs Machine 2 by Mathos (Sven's SudokuPad v0.587.0)
sudokupad.app
February 28, 2025 at 5:42 PM
And one with non standard regions

sudokupad.app/l58oja5ymx
Regions by Mathos (Sven's SudokuPad v0.587.0)
sudokupad.app
February 28, 2025 at 5:42 PM
Thermometers II by Mathos (Sven's SudokuPad v0.587.0)
sudokupad.app
February 28, 2025 at 5:42 PM
Yesterday, I said "tomorrow" ... and the answer is a/b/c = 10/2/2025.
February 10, 2025 at 11:13 AM
(4/4)

If I were being interviewed, I would feel much safer using the direct approach than the assume and solve approach.
January 9, 2025 at 1:08 PM
(3/4)
January 9, 2025 at 1:08 PM
(2/4)
January 9, 2025 at 1:08 PM
PS (1/4)

Here is another example where the direct approach seems far safer…

Simplify

√(11+√120)
January 9, 2025 at 1:08 PM
(5/5)
January 8, 2025 at 10:41 AM
(4/5)
January 8, 2025 at 10:41 AM
(3/5)
January 8, 2025 at 10:41 AM
(2/5)

Mostly, in the videos I have seen, they do the simplification by assuming the form of the likely answer – eg that it will be r+s√n for some integers r,s and then solving for these integers.
www.youtube.com/watch?v=naGk...
There is a direct way, which seems neater to me…
I got this asked as a Cambridge interview question and I didn't have a f**** clue
YouTube video by blackpenredpen
www.youtube.com
January 8, 2025 at 10:41 AM
Reposted by Mathos
That may be ok for a conversational partner, but it's a really bad thing for search and retrieval, let alone for conducting scientific analysis.

So yeah, you typed the same query I did and got a different result. That hardly a rousing endorsement of an information system.
December 31, 2024 at 7:39 PM