An algorithm for computing some Heegaard Floer homologies (Q974064)

Heegaard Floer homology and knot Floer homology are both obtained by applying Lagrangian Floer homology to a symplectic setup associated to a Heegaard diagram. As such, the theory is defined by counting 0-dimensional components of certain moduli spaces of holomorphic disks. In the present article, the authors specify a class of Heegaard diagrams they call nice. They prove that every closed, oriented 3-manifold (with or without a knot) can be described by a nice Heegaard diagram and that for nice Heegaard diagrams the differential of both of the hat-version of Heegaard Floer homology and of the hat-version of knot Floer homology is a combinatorial object. So, there is an algorithmic way to compute the hat-version of Heegaard Floer homology of every closed, oriented 3-manifold and an algorithmic way to compute the hat-version of knot Floer homology.