Added NP hardness proof for circle merge