Perfect Constraints Are Tractable