본 논문은 관측 데이터를 바탕으로 가설적인 인과 모델을 검증하는 문제를 다룬다. 인과 모델은 조건부 독립 관계(CI)를 가정하며, 기존에는 모든 CI를 검증하는 것이 필요했지만, 이는 계산적으로 비효율적이다. 따라서 본 논문에서는 숨겨진 변수를 포함하는 인과 그래프에 대해 c-component local Markov property (C-LMP)를 제시하고, 이를 통해 CI 검증에 필요한 CI의 수를 줄인다. C-LMP를 이용하더라도 여전히 많은 CI를 검증해야 할 수 있으므로, 본 논문은 다항 시간 간격으로 이러한 CI들을 나열하는 다항 지연 알고리즘을 개발한다. 실제 데이터와 합성 데이터를 이용한 실험을 통해 알고리즘의 실용성을 보여준다.