{"version":"1.0","type":"link","title":"PSPACE - Newikis","description":"계산 복잡도 이론에서 PSPACE는 결정론적 튜링 기계나 비결정론적 튜링 기계가 시간은 얼마든지 쓸 수 있고, 공간은 다항 공간만 써서 풀 수 있는 판정 문제들의 집합이다. 사비치 정리에 따르면 PSPACE는 NSPACE와 같기 때문에 튜링 기계가 결정론적이든 비결정론적이든 상관 없다.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}