실제 사례에서의 실용적 복잡성 검증