Personal website Rudolf Adamkovič

Home / Computer science / Depth-first search (DFS)

Connection to logic

Depth-first search is analogous to the existential quantifier 1.

Footnotes:

1

Discovered after defining DFS and BFS symmetrically with “some” and “all”.

© 2025 Rudolf Adamkovič under GNU General Public License version 3.
Made with Emacs and secret alien technologies of yesteryear.