vertex cover polynomial