computational problem