Hacker News new | past | comments | ask | show | jobs | submit login

What applications would be best suited to use this? I can't think of anything apart from scientific work that would benefit from such a specialized design.



None. The point of the paper was the proof technique, which was later extended to include a large family of constrained motion planning problems (i.e., problems that previously were of an unknown computational complexity could be easily mapped to the framework, thereby proving that they were PSPACE-complete).




Consider applying for YC's W25 batch! Applications are open till Nov 12.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: