theoretical problem in computational geometry