NAG C Library Function Document

nag_best_subset_given_size (h05abc)

1
Purpose

Given a set of m features and a scoring mechanism for any subset of those features, nag_best_subset_given_size (h05abc) selects the best n subsets of size p using a direct communication branch and bound algorithm.

2
Specification

#include <nag.h>
#include <nagh.h>
void  nag_best_subset_given_size (Integer mincr, Integer m, Integer ip, Integer nbest, Integer *la, double bscore[], Integer bz[],
void (*f)(Integer m, Integer drop, Integer lz, const Integer z[], Integer la, const Integer a[], double score[], Nag_Comm *comm, Integer *info),
Integer mincnt, double gamma, const double acc[], Nag_Comm *comm, NagError *fail)

3
Description

Given Ω=xi:i,1im, a set of m unique features and a scoring mechanism f S  defined for all S Ω  then nag_best_subset_given_size (h05abc) is designed to find So1 Ω , So1 = p , an optimal subset of size p. Here So1 denotes the cardinality of So1, the number of elements in the set.
The definition of the optimal subset depends on the properties of the scoring mechanism, if
fSi fSj , for all ​ Sj Ω ​ and ​ Si Sj (1)
then the optimal subset is defined as one of the solutions to
maximize SΩ fS   subject to   S = p  
else if
f Si fSj , for all ​ Sj Ω ​ and ​ Si Sj (2)
then the optimal subset is defined as one of the solutions to
minimize S Ω fS   subject to   S = p .  
If neither of these properties hold then nag_best_subset_given_size (h05abc) cannot be used.
As well as returning the optimal subset, So1, nag_best_subset_given_size (h05abc) can return the best n solutions of size p. If Soi denotes the ith best subset, for i=1,2,,n-1, then the i+1th best subset is defined as the solution to either
maximize S Ω - Soj : j , 1ji fS   subject to   S = p  
or
minimize S Ω - Soj : j,1ji fS   subject to   S = p  
depending on the properties of f.
The solutions are found using a branch and bound method, where each node of the tree is a subset of Ω. Assuming that (1) holds then a particular node, defined by subset Si, can be trimmed from the tree if fSi < f^Son  where f^Son  is the nth highest score we have observed so far for a subset of size p, i.e., our current best guess of the score for the nth best subset. In addition, because of (1) we can also drop all nodes defined by any subset Sj where SjSi, thus avoiding the need to enumerate the whole tree. Similar short cuts can be taken if (2) holds. A full description of this branch and bound algorithm can be found in Ridout (1988).
Rather than calculate the score at a given node of the tree nag_best_subset_given_size (h05abc) utilizes the fast branch and bound algorithm of Somol et al. (2004), and attempts to estimate the score where possible. For each feature, xi, two values are stored, a count ci and μ^i, an estimate of the contribution of that feature. An initial value of zero is used for both ci and μ^i. At any stage of the algorithm where both f S  and f S - xi  have been calculated (as opposed to estimated), the estimated contribution of the feature xi is updated to
ciμ^i + f S - f S - xj ci+1  
and ci is incremented by 1, therefore at each stage μ^i is the mean contribution of xi observed so far and ci is the number of observations used to calculate that mean.
As long as cik, for the user-supplied constant k, then rather than calculating f S - xi  this function estimates it using f^ S - xi = f S - γ μ^i  or f^ S - γ μ^i  if f S  has been estimated, where γ is a user-supplied scaling factor. An estimated score is never used to trim a node or returned as the optimal score.
Setting k=0 in this function will cause the algorithm to always calculate the scores, returning to the branch and bound algorithm of Ridout (1988). In most cases it is preferable to use the fast branch and bound algorithm, by setting k>0, unless the score function is iterative in nature, i.e., f S  must have been calculated before f S - xi  can be calculated.
nag_best_subset_given_size (h05abc) is a direct communication version of nag_best_subset_given_size_revcomm (h05aac).

4
References

Narendra P M and Fukunaga K (1977) A branch and bound algorithm for feature subset selection IEEE Transactions on Computers 9 917–922
Ridout M S (1988) Algorithm AS 233: An improved branch and bound algorithm for feature subset selection Journal of the Royal Statistics Society, Series C (Applied Statistics) (Volume 37) 1 139–147
Somol P, Pudil P and Kittler J (2004) Fast branch and bound algorithms for optimal feature selection IEEE Transactions on Pattern Analysis and Machine Intelligence (Volume 26) 7 900–912

5
Arguments

1:     mincr IntegerInput
On entry: flag indicating whether the scoring function f is increasing or decreasing.
mincr=1
fSi fSj , i.e., the subsets with the largest score will be selected.
mincr=0
fSi fSj , i.e., the subsets with the smallest score will be selected.
For all SjΩ and SiSj.
Constraint: mincr=0 or 1.
2:     m IntegerInput
On entry: m, the number of features in the full feature set.
Constraint: m2.
3:     ip IntegerInput
On entry: p, the number of features in the subset of interest.
Constraint: 1ipm.
4:     nbest IntegerInput
On entry: n, the maximum number of best subsets required. The actual number of subsets returned is given by la on final exit. If on final exit lanbest then fail.code= NE_TOO_MANY is returned.
Constraint: nbest1.
5:     la Integer *Output
On exit: the number of best subsets returned.
6:     bscore[nbest] doubleOutput
On exit: holds the score for the la best subsets returned in bz.
7:     bz[m-ip×nbest] IntegerOutput
Note: where BZi,j appears in this document, it refers to the array element bz[j-1×m-ip+i-1].
On exit: the jth best subset is constructed by dropping the features specified in BZi,j, for i=1,2,,m-ip and j=1,2,,la, from the set of all features, Ω. The score for the jth best subset is given in bscore[j-1].
8:     f function, supplied by the userExternal Function
f must evaluate the scoring function f.
The specification of f is:
void  f (Integer m, Integer drop, Integer lz, const Integer z[], Integer la, const Integer a[], double score[], Nag_Comm *comm, Integer *info)
1:     m IntegerInput
On entry: m=Ω, the number of features in the full feature set.
2:     drop IntegerInput
On entry: flag indicating whether the intermediate subsets should be constructed by dropping features from the full set (drop=1) or adding features to the empty set (drop=0). See score for additional details.
3:     lz IntegerInput
On entry: the number of features stored in z.
4:     z[dim] const IntegerInput
On entry: z[i-1], for i=1,2,,lz, contains the list of features which, along with those specified in a, define the subsets whose score is required. See score for additional details.
5:     la IntegerInput
On entry: if la>0, the number of subsets for which a score must be returned.
If la=0, the score for a single subset should be returned. See score for additional details.
6:     a[la] const IntegerInput
On entry: a[j-1], for j=1,2,,la, contains the list of features which, along with those specified in z, define the subsets whose score is required. See score for additional details.
7:     score[maxla,1] doubleOutput
On exit: the value fSj , for j=1,2,,la, the score associated with the jth subset. Sj is constructed as follows:
drop=1
Sj is constructed by dropping the features specified in the first lz elements of z and the single feature given in a[j-1] from the full set of features, Ω. The subset will therefore contain m-lz-1 features.
drop=0
Sj is constructed by adding the features specified in the first lz elements of z and the single feature specified in a[j-1] to the empty set, . The subset will therefore contain lz+1 features.
In both cases the individual features are referenced by the integers 1 to m with 1 indicating the first feature, 2 the second, etc., for some arbitrary ordering of the features, chosen by you prior to calling nag_best_subset_given_size (h05abc). For example, 1 might refer to the first variable in a particular set of data, 2 the second, etc..
If la=0, the score for a single subset should be returned. This subset is constructed by adding or removing only those features specified in the first lz elements of z. If lz=0, this subset will either be Ω or .
8:     comm Nag_Comm *
Pointer to structure of type Nag_Comm; the following members are relevant to f.
userdouble *
iuserInteger *
pPointer 
The type Pointer will be void *. Before calling nag_best_subset_given_size (h05abc) you may allocate memory and initialize these pointers with various quantities for use by f when called from nag_best_subset_given_size (h05abc) (see Section 3.3.1.1 in How to Use the NAG Library and its Documentation).
9:     info Integer *Input/Output
On entry: info=0.
On exit: set info to a nonzero value if you wish nag_best_subset_given_size (h05abc) to terminate with fail.code= NE_USER_STOP.
Note: f should not return floating-point NaN (Not a Number) or infinity values, since these are not handled by nag_best_subset_given_size (h05abc). If your code inadvertently does return any NaNs or infinities, nag_best_subset_given_size (h05abc) is likely to produce unexpected results.
9:     mincnt IntegerInput
On entry: k, the minimum number of times the effect of each feature, xi, must have been observed before f S - xi  is estimated from f S  as opposed to being calculated directly.
If k=0 then f S - xi  is never estimated. If mincnt<0 then k is set to 1.
10:   gamma doubleInput
On entry: γ, the scaling factor used when estimating scores. If gamma<0 then γ=1 is used.
11:   acc[2] const doubleInput
On entry: a measure of the accuracy of the scoring function, f.
Letting ai = ε1 fSi + ε2 , then when confirming whether the scoring function is strictly increasing or decreasing (as described in mincr), or when assessing whether a node defined by subset Si can be trimmed, then any values in the range fSi ± ai  are treated as being numerically equivalent.
If 0acc[0]1 then ε1=acc[0], otherwise ε1=0.
If acc[1]0 then ε2=acc[1], otherwise ε2=0.
In most situations setting both ε1 and ε2 to zero should be sufficient. Using a nonzero value, when one is not required, can significantly increase the number of subsets that need to be evaluated.
12:   comm Nag_Comm *
The NAG communication argument (see Section 3.3.1.1 in How to Use the NAG Library and its Documentation).
13:   fail NagError *Input/Output
The NAG error argument (see Section 3.7 in How to Use the NAG Library and its Documentation).

6
Error Indicators and Warnings

NE_ALLOC_FAIL
Dynamic memory allocation failed.
See Section 2.3.1.2 in How to Use the NAG Library and its Documentation for further information.
NE_BAD_PARAM
On entry, argument value had an illegal value.
NE_INT
On entry, m=value.
Constraint: m2.
On entry, mincr=value.
Constraint: mincr=0 or 1.
On entry, nbest=value.
Constraint: nbest1.
NE_INT_2
On entry, ip=value and m=value.
Constraint: 1ipm.
NE_INTERNAL_ERROR
An internal error has occurred in this function. Check the function call and any array sizes. If the call is correct then please contact NAG for assistance.
See Section 2.7.6 in How to Use the NAG Library and its Documentation for further information.
NE_NO_LICENCE
Your licence key may have expired or may not have been installed correctly.
See Section 2.7.5 in How to Use the NAG Library and its Documentation for further information.
NE_REAL
On exit from f, score[value]=value, which is inconsistent with the score for the parent node. Score for the parent node is value.
NE_TOO_MANY
On entry, nbest=value.
But only value best subsets could be calculated.
NE_USER_STOP
A nonzero value for info has been returned: info=value.

7
Accuracy

The subsets returned by nag_best_subset_given_size (h05abc) are guaranteed to be optimal up to the accuracy of the calculated scores.

8
Parallelism and Performance

nag_best_subset_given_size (h05abc) is threaded by NAG for parallel execution in multithreaded implementations of the NAG Library.
Please consult the x06 Chapter Introduction for information on how to control and interrogate the OpenMP environment used within this function. Please also consult the Users' Note for your implementation for any additional implementation-specific information.

9
Further Comments

The maximum number of unique subsets of size p from a set of m features is N= m! m-p!p! . The efficiency of the branch and bound algorithm implemented in nag_best_subset_given_size (h05abc) comes from evaluating subsets at internal nodes of the tree, that is subsets with more than p features, and where possible trimming branches of the tree based on the scores at these internal nodes as described in Narendra and Fukunaga (1977). Because of this it is possible, in some circumstances, for more than N subsets to be evaluated. This will tend to happen when most of the features have a similar effect on the subset score.
If multiple optimal subsets exist with the same score, and nbest is too small to return them all, then the choice of which of these optimal subsets is returned is arbitrary.

10
Example

This example finds the three linear regression models, with five variables, that have the smallest residual sums of squares when fitted to a supplied dataset. The data used in this example was simulated.

10.1
Program Text

Program Text (h05abce.c)

10.2
Program Data

Program Data (h05abce.d)

10.3
Program Results

Program Results (h05abce.r)