题 STCON，找到在一个图中的有向路径。类似的，类 L 是一阶逻辑带有交换传递闭包。在向二阶逻辑增加了传递闭包的时候，我们得到 PSPACE。
算法.计算图的传递闭包的有效算法可见于 here 。最简单的技术是Floyd-Warshall算法。