floyd-cycle-finding

0Hitze

1Antwort

Erkennung einer Schleife in einer verketteten Liste ohne Algorithmus zur Erkennung von Floyd-Zyklen

In einem Interview wurde ich gebeten, den Schleifenknoten in der verknüpften Liste zu ermitteln und die Anzahl der Knoten in der Schleife zu zählen. Da ich den Flyod-Algorithmus nicht kannte, versucht

algorithm floyd-cycle-finding 2016-05-15

---

7Hitze

1Antwort

Wie implementiert man Floyds Hare and Tortoise-Algorithmus in Agda?

Ich möchte folgendes Haskell-Code in Agda übersetzen: us import Control.Arrow (first) import Control.Monad (join) safeTail :: [a] -> [a] safeTail [] = [] safeTail (_:xs) = xs floyd :: [a] -> [

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

---