초록
연속 시간 모델의 수학적 모델은 ODEs로 제공됨
공간 복잡성은 정밀도와 관련이 있음
FPSPACE의 대수적 특성을 증명하고 제안함
연속 ODEs를 사용하여 FPSPACE의 대수적 특성을 증명
이론적 및 응용과학 분야에 유용한 암시적 복잡성의 대수적 특성에 대한 논의
PTIME 및 PSPACE에 대한 ODEs의 효율적 해법
이상적인 반복 트릭을 사용하여 이산 ODE를 연속 ODE로 시뮬레이션
튜링 머신 구성의 인코딩
통계
공간 복잡성은 정밀도와 관련이 있음
FPSPACE의 대수적 특성을 증명하고 제안함
연속 ODEs를 사용하여 FPSPACE의 대수적 특성을 증명
인용구
"공간 복잡성은 정밀도와 관련이 있음"
"연속 ODEs를 사용하여 FPSPACE의 대수적 특성을 증명"