theory of np completeness - Search