Android (sistema operativo): ¿Cuántas combinaciones tiene el desbloqueo de puntos de Android 9?

(EDIT: Gracias a Yoyo Zhou por señalar un fallo en este modelo -- Anders tiene el resultado final de la discusión en la nueva versión de su respuesta.)

Me ha gustado el Haskell de la respuesta de Anders, pero la pantalla de desbloqueo de Android (al menos en mi teléfono con Froyo) sigue siendo más permisiva de lo que él supone. De hecho, también es posible seguir un punto con un punto a un movimiento de caballo, sin haber tocado ningún otro punto. El número de patrones disponibles se convierte en 766752.

Es fácil demostrar el movimiento de caballo si lo hace lentamente - sólo tiene que alejarse del disco oscuro alrededor de cada punto cercano.

Por otro lado, si hago un movimiento de torre o de alfil de longitud 2, rellena el punto intermedio como si lo hubiera tocado. (Con la retroalimentación táctil, está claro que en realidad no he tocado el punto, así que no creo que un toque más hábil permita evitarlo). So those are the only unavailable moves.

This variant of Anders's code computes the result:

  1. import qualified Data.Set as S 
  2. import Control.Monad(guard) 
  3. points = [(row, col) | row <- [0..2], col <- [0..2]] 
  4. adjacentButtons (x, y) = do (x', y') <- points 
  5. guard $ 1 `elem` [abs $ x' - x, abs $ y' - y] 
  6. return (x', y') 
  7. extensions pattern = 
  8. map (: pattern) . S.toList $ 
  9. S.difference (S.fromList $ adjacentButtons =<< pattern) (S.fromList pattern) 
  10. search pattern found = foldr search (pattern : found) $ extensions pattern 
  11. valid pattern = length pattern >= 4 
  12. main = print . length . filter valid . foldr search [] $ map (:[]) points 

This compares to the number of patterns of length >= 4 that you could make from 9 points with no restrictions on which you can reach from where:

  1. > sum . drop 4 $ scanl (*) 1 [9,8..1] 
  2. 985824 

so in fact exactly 2/9 of that class of patterns are unavailable.

Anders' answer is a better upper bound on how many patterns could be practical to use, though -- I find that the knight's-move takes far too much care to execute when I just want to unlock my phone.