In de grafentheorie is een knopenbedekking of knopenoverdekking van een graaf G een verzameling C van knopen uit de graaf waarvoor geldt dat elke kant van G incident is aan minstens een knoop uit de verzameling C. Anders gezegd: elke kant van G heeft minstens een eindpunt in C. Men zegt dan dat C de kanten van G bedekt. Wikipedia