We give a generators-and-relations description of differential graded algebras recently introduced by Ozsváth and Szabó for the computation of knot Floer homology. We also compute the homology of these algebras and determine when they are formal.

中文翻译：

---

OZSVÁTH-SZABÓ 的考夫曼状态代数的生成元、关系和同源性

我们给出了 Ozsváth 和 Szabó 最近引入的用于计算结 Floer 同调性的微分分级代数的生成元和关系描述。我们还计算这些代数的同调性并确定它们何时是正式的。