An acyclic graph (or a tree structure) enables certain automatic layout algorithms. These algorithms are predictable by the user and are less distracting -- the key goal of any mindmap software is to not distract.
There's probably a semantic element of a hierarchy of ideas, too, but I am only equipped to comment on the math and not the psychology. :)
There's probably a semantic element of a hierarchy of ideas, too, but I am only equipped to comment on the math and not the psychology. :)