The fractional independence number is a graph parameter obtained
by relaxing the weights in the computation of the independence
number from 0 and 1 to real numbers in the interval
(Willis 2011).
For a graph with vertex set
and edge set
, it is defined by
|
(1)
|
where
is the weight on the
th graph vertex. This can be
computed using linear programming. A maximum
weighting can always be obtained using the weights
(Nemhauser and Trotter 1975, Willis 2011), so the
fractional independence number is an integer or half-integer.
|
(2)
| |||
|
(3)
|
where
is the independence number (Willis 2011, p. 12).
Values for special classes of graphs include
|
(4)
| |||
|
(5)
|
for
and
,
respectively, where
is a complete graph and
is a wheel graph (Willis 2011, p. 12). The singleton graph
has
.
A related quantity, also called the fractional independence number in some sources, is the fractional packing number or Rosenfeld number (Shannon 1956, Acín et al. 2017). It
imposes a constraint for every clique
, rather than only for every graph
edge:
|
(6)
|
The two quantities can differ: for the complete graph ,
while
.