Polynomial time algorithms are known for determining whether the derived graph of a formula _ 10-voltage graph contains any directed cycles .
Polynomial time algorithms are directed for determining whether the derived graph of a formula _ 10-voltage graph contains any known cycles .