proof np completeness done, graphic is missing