En oberoende uppsättning i grafteori kan antingen vara en oberoende uppsättning av hörn eller en oberoende uppsättning kanter. Oberoende uppsättningar beaktas i grafer som täcker problem.
I en oriktad graf kallas uppsättningen av dess hörn , där , oberoende (eller i sig stabil ), om några två hörn i den inte är intill varandra, det vill säga inget par hörn är sammankopplade med en kant [1] [2] [3] , eller med andra ord, uppsättningen genererar en tom subgraf:
Det största antalet hörn i sådana uppsättningar kallas för vertexoberoendetalet (ibland bara oberoendetalet ) i grafen [1] , det vill säga om det finns en familj av alla oberoende uppsättningar av hörn , då [4] .
I en oriktad graf kallas uppsättningen av dess kanter , där , oberoende om inget par kanter är intill [1] [3] eller om uppsättningen genererar en tom subgraf:
Det största antalet kanter i sådana uppsättningar kallas grafens oberoende kantnummer , det vill säga om det finns en familj av alla oberoende uppsättningar kanter , då .
Uppsättningen av oberoende kanter kallas också en matchning [5] . Därför kallas en oberoende uppsättning som har ett kardinalnummer den största matchningen av grafen .