Polynomiálně velké FBDD pro problém Exactly half-d-hyperclique

Abstrakt

Zkonstruujeme polynomiální FBDD pro problém Exactly half-d-hyperclique.

Klíčová slova

• Polynomial-size
• binary
• decision
• diagrams
• Exactly
• half-d-hyperclique
• problem
• reading
• input
• twice