floyd-cycle-finding

7calore

1risposta

Come implementare l'algoritmo Hare e Tortoise di Floyd in Agda?

Voglio tradurre il seguente codice Haskell in Agda: import Control.Arrow (first) import Control.Monad (join) safeTail :: [a] -> [a] safeTail [] = [] safeTail (_:xs) = xs floyd :: [a] -> [a] ->

haskell functional-programming agda theorem-proving floyd-cycle-finding 2016-02-17

---

43calore

3risposta

Algoritmo di rilevamento loop elenco collegato

Ho letto alcune domande dell'intervista online su come troveremmo se ci fosse un ciclo in una lista collegata, e la soluzione (algoritmo di ricerca del ciclo di Floyd) è di avere due puntatori, uno è

algorithm linked-list floyd-cycle-finding 2011-09-13

---