Qual è la migliore app iOS per risolvere sudoku, kakuro e altri puzzle logici?

Tre modi di interpretare la tua domanda, il più semplice prima:

Per definizione, un sudoku corretto ha una sola soluzione, quindi sì, in linea di principio può essere dedotto.

Si può costruire un sudoku improprio che ha più di una soluzione. Allora no, ovviamente bisogna indovinare, ma quello non è un vero sudoku.

Per risolverli in pratica? Come qualcuno che ha fatto ragionevolmente bene nelle competizioni di sudoku, penso di essere qualificato per rispondere.

Per la maggior parte dei livelli di difficoltà, qualsiasi cosa al di sotto di "male" o "estremamente difficile", non paga indovinare. Si può dedurre tutto più facilmente di quanto non si possa risalire alle cattive ipotesi.
Devi potenzialmente trovarlo falso e fare un backtracking - se scrivi solo "5" in una probabile casella senza alcun modo di riprenderlo, è probabile che tu ottenga un puzzle fallito.

Questo dipende da ciò che la tua app di puzzle fa con i cattivi indovinelli, naturalmente. Alcune applicazioni segnalano immediatamente i cattivi indovinelli e alcune ti permettono di tornare indietro più facilmente di altre. Per quelle vale la pena indovinare più facilmente. Anche in questo caso, si vuole guardare tutto ciò che si può fare con i quadrati a 2 vie prima di indovinare. Questo è leggermente diverso dalla tua domanda - hai chiesto se era necessario indovinare, non se era conveniente.

E poi ci sono livelli di difficoltà più alti. Lì si arriva a situazioni in cui nessuna logica superficiale sui quadrati a 2 e 3 vie fa alcun progresso. Bisogna testare un'ipotesi. Quindi no, a volte bisogna tirare a indovinare. Io stesso, scelgo un probabile quadrato a 2 vie e lo provo in entrambi i modi, facendo una particolare notazione a matita in ogni quadrato che deduco da ogni indovinello, in modo da poter fare marcia indietro se trovo una contraddizione.

Ora che ho detto sia "sì" che "no", sento il bisogno di risolvere il paradosso. Il fatto è che "indovinare" è un altro modo di dire "fare un'ipotesi e testarla".
Generare un'ipotesi, testarla e fare marcia indietro è la nostra vecchia amica prova per contraddizione, e la prova per contraddizione fa parte della logica. Quindi "indovinare" è una parte della deduzione logica, quindi "sì e no" non è davvero una contraddizione.

tl;dr: sì e no, e indovinare non è necessariamente l'opposto della logica.