you searching - example of cook reduction in computational theory