NAG Library Routine Document
h05aaf
(best_subset_given_size_revcomm)
1
Purpose
Given a set of $m$ features and a scoring mechanism for any subset of those features, h05aaf selects the best $n$ subsets of size $p$ using a reverse communication branch and bound algorithm.
2
Specification
Fortran Interface
Subroutine h05aaf ( 
irevcm,
mincr,
m,
ip,
nbest,
drop,
lz,
z,
la,
a,
bscore,
bz,
mincnt,
gamma,
acc,
icomm,
licomm,
rcomm,
lrcomm,
ifail) 
Integer, Intent (In)  :: 
mincr,
m,
ip,
nbest,
mincnt,
licomm,
lrcomm  Integer, Intent (Inout)  :: 
irevcm,
drop,
lz,
z(mip),
la,
a(max(nbest,m)),
bz(mip,nbest),
icomm(licomm),
ifail  Real (Kind=nag_wp), Intent (In)  :: 
gamma,
acc(2)  Real (Kind=nag_wp), Intent (Inout)  :: 
bscore(max(nbest,m)),
rcomm(lrcomm) 

C Header Interface
#include nagmk26.h
void 
h05aaf_ (
Integer *irevcm,
const Integer *mincr,
const Integer *m,
const Integer *ip,
const Integer *nbest,
Integer *drop,
Integer *lz,
Integer z[],
Integer *la,
Integer a[],
double bscore[],
Integer bz[],
const Integer *mincnt,
const double *gamma,
const double acc[],
Integer icomm[],
const Integer *licomm,
double rcomm[],
const Integer *lrcomm,
Integer *ifail) 

3
Description
Given $\Omega =\left\{{x}_{\mathrm{i}}:i\in \mathbb{Z},1\le i\le m\right\}$, a set of $m$ unique features and a scoring mechanism $f\left(S\right)$ defined for all $S\subseteq \Omega $ then h05aaf is designed to find ${S}_{o1}\subseteq \Omega ,\left{S}_{o1}\right=p$, an optimal subset of size $p$. Here $\left{S}_{o1}\right$ denotes the cardinality of ${S}_{o1}$, the number of elements in the set.
The definition of the optimal subset depends on the properties of the scoring mechanism, if
then the optimal subset is defined as one of the solutions to
else if
then the optimal subset is defined as one of the solutions to
If neither of these properties hold then h05aaf cannot be used.
As well as returning the optimal subset,
${S}_{o1}$,
h05aaf can return the best
$n$ solutions of size
$p$. If
${S}_{o\mathit{i}}$ denotes the
$\mathit{i}$th best subset, for
$\mathit{i}=1,2,\dots ,n1$, then the
$\left(i+1\right)$th best subset is defined as the solution to either
or
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
$\Omega $. Assuming that
(1) holds then a particular node, defined by subset
${S}_{i}$, can be trimmed from the tree if
$f\left({S}_{i}\right)<\hat{f}\left({S}_{on}\right)$ where
$\hat{f}\left({S}_{on}\right)$ is the
$n$th highest score we have observed so far for a subset of size
$p$, i.e., our current best guess of the score for the
$n$th best subset. In addition, because of
(1) we can also drop all nodes defined by any subset
${S}_{j}$ where
${S}_{j}\subseteq {S}_{i}$, 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
h05aaf utilizes the fast branch and bound algorithm of
Somol et al. (2004), and attempts to estimate the score where possible. For each feature,
${x}_{i}$, two values are stored, a count
${c}_{i}$ and
${\hat{\mu}}_{i}$, an estimate of the contribution of that feature. An initial value of zero is used for both
${c}_{i}$ and
${\hat{\mu}}_{i}$. At any stage of the algorithm where both
$f\left(S\right)$ and
$f\left(S\left\{{x}_{i}\right\}\right)$ have been calculated (as opposed to estimated), the estimated contribution of the feature
${x}_{i}$ is updated to
and
${c}_{i}$ is incremented by
$1$, therefore at each stage
${\hat{\mu}}_{i}$ is the mean contribution of
${x}_{i}$ observed so far and
${c}_{i}$ is the number of observations used to calculate that mean.
As long as ${c}_{i}\ge k$, for the usersupplied constant $k$, then rather than calculating $f\left(S\left\{{x}_{\mathrm{i}}\right\}\right)$ this routine estimates it using $\hat{f}\left(S\left\{{x}_{\mathrm{i}}\right\}\right)=f\left(S\right)\gamma {\hat{\mu}}_{i}$ or $\hat{f}\left(S\right)\gamma {\hat{\mu}}_{i}$ if $f\left(S\right)$ has been estimated, where $\gamma $ is a usersupplied scaling factor. An estimated score is never used to trim a node or returned as the optimal score.
Setting
$k=0$ in this routine 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\left(S\right)$ must have been calculated before
$f\left(S\left\{{x}_{i}\right\}\right)$ can be calculated.
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
Note: this routine uses
reverse communication. Its use involves an initial entry, intermediate exits and reentries, and a final exit, as indicated by the argument
irevcm. Between intermediate exits and reentries,
all arguments other than bscore must remain unchanged.
 1: $\mathbf{irevcm}$ – IntegerInput/Output

On initial entry: must be set to $0$.
On intermediate exit:
${\mathbf{irevcm}}=1$ and before reentry the scores associated with
la subsets must be calculated and returned in
bscore.
The
la subsets are constructed as follows:
 ${\mathbf{drop}}=1$
 The $j$th subset is constructed by dropping the features specified in the first lz elements of z and the single feature given in ${\mathbf{a}}\left(j\right)$ from the full set of features, $\Omega $. The subset will therefore contain ${\mathbf{m}}{\mathbf{lz}}1$ features.
 ${\mathbf{drop}}=0$
 The $j$th subset is constructed by adding the features specified in the first lz elements of z and the single feature specified in ${\mathbf{a}}\left(j\right)$ to the empty set, $\varnothing $. The subset will therefore contain ${\mathbf{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. The same ordering must be used in all calls to
h05aaf.
If
${\mathbf{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 ${\mathbf{lz}}=0$, this subset will either be $\Omega $ or $\varnothing $.
The score associated with the $j$th subset must be returned in ${\mathbf{bscore}}\left(j\right)$.
On intermediate reentry:
irevcm must remain unchanged.
On final exit: ${\mathbf{irevcm}}=0$, and the algorithm has terminated.
Constraint:
${\mathbf{irevcm}}=0$ or $1$.
Note: any values you return to h05aaf as part of the reverse communication procedure should not include floatingpoint NaN (Not a Number) or infinity values, since these are not handled by h05aaf. If your code inadvertently does return any NaNs or infinities, h05aaf is likely to produce unexpected results.
 2: $\mathbf{mincr}$ – IntegerInput

On entry: flag indicating whether the scoring function
$f$ is increasing or decreasing.
 ${\mathbf{mincr}}=1$
 $f\left({S}_{i}\right)\le f\left({S}_{j}\right)$, i.e., the subsets with the largest score will be selected.
 ${\mathbf{mincr}}=0$
 $f\left({S}_{i}\right)\ge f\left({S}_{j}\right)$, i.e., the subsets with the smallest score will be selected.
For all
${S}_{j}\subseteq \Omega $ and
${S}_{i}\subseteq {S}_{j}$.
Constraint:
${\mathbf{mincr}}=0$ or $1$.
 3: $\mathbf{m}$ – IntegerInput

On entry: $m$, the number of features in the full feature set.
Constraint:
${\mathbf{m}}\ge 2$.
 4: $\mathbf{ip}$ – IntegerInput

On entry: $p$, the number of features in the subset of interest.
Constraint:
$1\le {\mathbf{ip}}\le {\mathbf{m}}$.
 5: $\mathbf{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
${\mathbf{la}}\ne {\mathbf{nbest}}$ then
${\mathbf{ifail}}={\mathbf{53}}$ is returned.
Constraint:
${\mathbf{nbest}}\ge 1$.
 6: $\mathbf{drop}$ – IntegerInput/Output

On initial entry:
drop need not be set.
On intermediate exit:
flag indicating whether the intermediate subsets should be constructed by dropping features from the full set (
${\mathbf{drop}}=1$) or adding features to the empty set (
${\mathbf{drop}}=0$). See
irevcm for details.
On intermediate reentry:
drop must remain unchanged.
On final exit:
drop is undefined.
 7: $\mathbf{lz}$ – IntegerInput/Output

On initial entry:
lz need not be set.
On intermediate exit:
the number of features stored in
z.
On intermediate reentry:
lz must remain unchanged.
On final exit:
lz is undefined.
 8: $\mathbf{z}\left({\mathbf{m}}{\mathbf{ip}}\right)$ – Integer arrayInput/Output

On initial entry:
z need not be set.
On intermediate exit:
${\mathbf{z}}\left(\mathit{i}\right)$, for
$\mathit{i}=1,2,\dots ,{\mathbf{lz}}$, contains the list of features which, along with those specified in
a, define the subsets whose score is required. See
irevcm for additional details.
On intermediate reentry:
z must remain unchanged.
On final exit:
z is undefined.
 9: $\mathbf{la}$ – IntegerInput/Output

On initial entry:
la need not be set.
On intermediate exit:
if
${\mathbf{la}}>0$, the number of subsets for which a score must be returned.
If
${\mathbf{la}}=0$, the score for a single subset should be returned. See
irevcm for additional details.
On intermediate reentry:
la must remain unchanged.
On final exit: the number of best subsets returned.
 10: $\mathbf{a}\left(\mathrm{max}\phantom{\rule{0.125em}{0ex}}\left({\mathbf{nbest}},{\mathbf{m}}\right)\right)$ – Integer arrayInput/Output

On initial entry:
a need not be set.
On intermediate exit:
${\mathbf{a}}\left(\mathit{j}\right)$, for
$\mathit{j}=1,2,\dots ,{\mathbf{la}}$, contains the list of features which, along with those specified in
z, define the subsets whose score is required. See
irevcm for additional details.
On intermediate reentry:
a must remain unchanged.
On final exit:
a is undefined.
 11: $\mathbf{bscore}\left(\mathrm{max}\phantom{\rule{0.125em}{0ex}}\left({\mathbf{nbest}},{\mathbf{m}}\right)\right)$ – Real (Kind=nag_wp) arrayInput/Output

On initial entry:
bscore need not be set.
On intermediate exit:
bscore is undefined.
On intermediate reentry:
${\mathbf{bscore}}\left(j\right)$ must hold the score for the
$j$th subset as described in
irevcm.
On final exit: holds the score for the
la best subsets returned in
bz.
 12: $\mathbf{bz}\left({\mathbf{m}}{\mathbf{ip}},{\mathbf{nbest}}\right)$ – Integer arrayInput/Output

On initial entry:
bz need not be set.
On intermediate exit:
bz is used for storage between calls to
h05aaf.
On intermediate reentry:
bz must remain unchanged.
On final exit: the $j$th best subset is constructed by dropping the features specified in
${\mathbf{bz}}\left(\mathit{i},\mathit{j}\right)$, for $\mathit{i}=1,2,\dots ,{\mathbf{m}}{\mathbf{ip}}$ and $\mathit{j}=1,2,\dots ,{\mathbf{la}}$, from the set of all features, $\Omega $. The score for the $j$th best subset is given in ${\mathbf{bscore}}\left(j\right)$.
 13: $\mathbf{mincnt}$ – IntegerInput

On entry:
$k$, the minimum number of times the effect of each feature,
${x}_{i}$, must have been observed before
$f\left(S\left\{{x}_{i}\right\}\right)$ is estimated from
$f\left(S\right)$ as opposed to being calculated directly.
If $k=0$ then $f\left(S\left\{{x}_{i}\right\}\right)$ is never estimated. If ${\mathbf{mincnt}}<0$ then $k$ is set to $1$.
 14: $\mathbf{gamma}$ – Real (Kind=nag_wp)Input

On entry: $\gamma $, the scaling factor used when estimating scores. If ${\mathbf{gamma}}<0$ then $\gamma =1$ is used.
 15: $\mathbf{acc}\left(2\right)$ – Real (Kind=nag_wp) arrayInput

On entry: a measure of the accuracy of the scoring function,
$f$.
Letting
${a}_{i}={\epsilon}_{1}\leftf\left({S}_{i}\right)\right+{\epsilon}_{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
${S}_{i}$ can be trimmed, then any values in the range
$f\left({S}_{i}\right)\pm {a}_{i}$ are treated as being numerically equivalent.
If $0\le {\mathbf{acc}}\left(1\right)\le 1$ then ${\epsilon}_{1}={\mathbf{acc}}\left(1\right)$, otherwise ${\epsilon}_{1}=0$.
If ${\mathbf{acc}}\left(2\right)\ge 0$ then ${\epsilon}_{2}={\mathbf{acc}}\left(2\right)$, otherwise ${\epsilon}_{2}=0$.
In most situations setting both ${\epsilon}_{1}$ and ${\epsilon}_{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.
 16: $\mathbf{icomm}\left({\mathbf{licomm}}\right)$ – Integer arrayCommunication Array

On initial entry:
icomm need not be set.
On intermediate exit:
icomm is used for storage between calls to
h05aaf.
On intermediate reentry:
icomm must remain unchanged.
On final exit:
icomm is not defined. The first two elements,
${\mathbf{icomm}}\left(1\right)$ and
${\mathbf{icomm}}\left(2\right)$ contain the minimum required value for
licomm and
lrcomm respectively.
 17: $\mathbf{licomm}$ – IntegerInput

On entry: the length of the array
icomm. If
licomm is too small and
${\mathbf{licomm}}\ge 2$ then
${\mathbf{ifail}}={\mathbf{172}}$ is returned and the minimum value for
licomm and
lrcomm are given by
${\mathbf{icomm}}\left(1\right)$ and
${\mathbf{icomm}}\left(2\right)$ respectively.
Constraints:
 if ${\mathbf{mincnt}}=0\phantom{\rule{0ex}{0ex}}$, ${\mathbf{licomm}}\ge 2\times \mathrm{max}\phantom{\rule{0.125em}{0ex}}\left({\mathbf{nbest}},{\mathbf{m}}\right)+{\mathbf{m}}\left({\mathbf{m}}+2\right)+\left({\mathbf{m}}+1\right)\times \mathrm{max}\phantom{\rule{0.125em}{0ex}}\left({\mathbf{m}}{\mathbf{ip}},1\right)+27$;
 otherwise ${\mathbf{licomm}}\ge 2\times \mathrm{max}\phantom{\rule{0.125em}{0ex}}\left({\mathbf{nbest}},{\mathbf{m}}\right)+{\mathbf{m}}\left({\mathbf{m}}+3\right)+\left(2{\mathbf{m}}+1\right)\times \mathrm{max}\phantom{\rule{0.125em}{0ex}}\left({\mathbf{m}}{\mathbf{ip}},1\right)+25$.
 18: $\mathbf{rcomm}\left({\mathbf{lrcomm}}\right)$ – Real (Kind=nag_wp) arrayCommunication Array

On initial entry:
rcomm need not be set.
On intermediate exit:
rcomm is used for storage between calls to
h05aaf.
On intermediate reentry:
rcomm must remain unchanged.
On final exit:
rcomm is not defined.
 19: $\mathbf{lrcomm}$ – IntegerInput

On entry: the length of the array
rcomm. If
lrcomm is too small and
${\mathbf{licomm}}\ge 2$ then
${\mathbf{ifail}}={\mathbf{172}}$ is returned and the minimum value for
licomm and
lrcomm are given by
${\mathbf{icomm}}\left(1\right)$ and
${\mathbf{icomm}}\left(2\right)$ respectively.
Constraints:
 if ${\mathbf{mincnt}}=0$, ${\mathbf{lrcomm}}\ge 9+{\mathbf{nbest}}+{\mathbf{m}}\times \mathrm{max}\phantom{\rule{0.125em}{0ex}}\left({\mathbf{m}}{\mathbf{ip}},1\right)$;
 otherwise ${\mathbf{lrcomm}}\ge 8+{\mathbf{m}}+{\mathbf{nbest}}+{\mathbf{m}}\times \mathrm{max}\phantom{\rule{0.125em}{0ex}}\left({\mathbf{m}}{\mathbf{ip}},1\right)$.
 20: $\mathbf{ifail}$ – IntegerInput/Output

On initial entry:
ifail must be set to
$0$,
$1\text{ or}1$. If you are unfamiliar with this argument you should refer to
Section 3.4 in How to Use the NAG Library and its Documentation for details.
For environments where it might be inappropriate to halt program execution when an error is detected, the value
$1\text{ or}1$ is recommended. If the output of error messages is undesirable, then the value
$1$ is recommended. Otherwise, because for this routine the values of the output arguments may be useful even if
${\mathbf{ifail}}\ne {\mathbf{0}}$ on exit, the recommended value is
$1$.
When the value $\mathbf{1}\text{ or}1$ is used it is essential to test the value of ifail on exit.
On final exit:
${\mathbf{ifail}}={\mathbf{0}}$ unless the routine detects an error or a warning has been flagged (see
Section 6).
6
Error Indicators and Warnings
If on entry
${\mathbf{ifail}}=0$ or
$1$, explanatory error messages are output on the current error message unit (as defined by
x04aaf).
Errors or warnings detected by the routine:
 ${\mathbf{ifail}}=11$

On entry, ${\mathbf{irevcm}}=\u2329\mathit{\text{value}}\u232a$.
Constraint: ${\mathbf{irevcm}}=0$ or $1$.
 ${\mathbf{ifail}}=21$

On entry, ${\mathbf{mincr}}=\u2329\mathit{\text{value}}\u232a$.
Constraint: ${\mathbf{mincr}}=0$ or $1$.
 ${\mathbf{ifail}}=22$

mincr has changed between calls.
On intermediate entry,
${\mathbf{mincr}}=\u2329\mathit{\text{value}}\u232a$.
On initial entry,
${\mathbf{mincr}}=\u2329\mathit{\text{value}}\u232a$.
 ${\mathbf{ifail}}=31$

On entry, ${\mathbf{m}}=\u2329\mathit{\text{value}}\u232a$.
Constraint: ${\mathbf{m}}\ge 2$.
 ${\mathbf{ifail}}=32$

m has changed between calls.
On intermediate entry,
${\mathbf{m}}=\u2329\mathit{\text{value}}\u232a$.
On initial entry,
${\mathbf{m}}=\u2329\mathit{\text{value}}\u232a$.
 ${\mathbf{ifail}}=41$

On entry, ${\mathbf{ip}}=\u2329\mathit{\text{value}}\u232a$ and ${\mathbf{m}}=\u2329\mathit{\text{value}}\u232a$.
Constraint: $1\le {\mathbf{ip}}\le {\mathbf{m}}$.
 ${\mathbf{ifail}}=42$

ip has changed between calls.
On intermediate entry,
${\mathbf{ip}}=\u2329\mathit{\text{value}}\u232a$.
On initial entry,
${\mathbf{ip}}=\u2329\mathit{\text{value}}\u232a$.
 ${\mathbf{ifail}}=51$

On entry, ${\mathbf{nbest}}=\u2329\mathit{\text{value}}\u232a$.
Constraint: ${\mathbf{nbest}}\ge 1$.
 ${\mathbf{ifail}}=52$

nbest has changed between calls.
On intermediate entry,
${\mathbf{nbest}}=\u2329\mathit{\text{value}}\u232a$.
On initial entry,
${\mathbf{nbest}}=\u2329\mathit{\text{value}}\u232a$.
 ${\mathbf{ifail}}=53$

On entry, ${\mathbf{nbest}}=\u2329\mathit{\text{value}}\u232a$.
But only $\u2329\mathit{\text{value}}\u232a$ best subsets could be calculated.
 ${\mathbf{ifail}}=61$

drop has changed between calls.
On intermediate entry,
${\mathbf{drop}}=\u2329\mathit{\text{value}}\u232a$.
On initial entry,
${\mathbf{drop}}=\u2329\mathit{\text{value}}\u232a$.
 ${\mathbf{ifail}}=71$

lz has changed between calls.
On entry,
${\mathbf{lz}}=\u2329\mathit{\text{value}}\u232a$.
On previous exit,
${\mathbf{lz}}=\u2329\mathit{\text{value}}\u232a$.
 ${\mathbf{ifail}}=91$

la has changed between calls.
On entry,
${\mathbf{la}}=\u2329\mathit{\text{value}}\u232a$.
On previous exit,
${\mathbf{la}}=\u2329\mathit{\text{value}}\u232a$.
 ${\mathbf{ifail}}=111$

${\mathbf{bscore}}\left(\u2329\mathit{\text{value}}\u232a\right)=\u2329\mathit{\text{value}}\u232a$, which is inconsistent with the score for the parent node. Score for the parent node is $\u2329\mathit{\text{value}}\u232a$.
 ${\mathbf{ifail}}=131$

mincnt has changed between calls.
On intermediate entry,
${\mathbf{mincnt}}=\u2329\mathit{\text{value}}\u232a$.
On initial entry,
${\mathbf{mincnt}}=\u2329\mathit{\text{value}}\u232a$.
 ${\mathbf{ifail}}=141$

gamma has changed between calls.
On intermediate entry,
${\mathbf{gamma}}=\u2329\mathit{\text{value}}\u232a$.
On initial entry,
${\mathbf{gamma}}=\u2329\mathit{\text{value}}\u232a$.
 ${\mathbf{ifail}}=151$

${\mathbf{acc}}\left(1\right)$ has changed between calls.
On intermediate entry, ${\mathbf{acc}}\left(1\right)=\u2329\mathit{\text{value}}\u232a$.
On initial entry, ${\mathbf{acc}}\left(1\right)=\u2329\mathit{\text{value}}\u232a$.
 ${\mathbf{ifail}}=152$

${\mathbf{acc}}\left(2\right)$ has changed between calls.
On intermediate entry, ${\mathbf{acc}}\left(2\right)=\u2329\mathit{\text{value}}\u232a$.
On initial entry, ${\mathbf{acc}}\left(2\right)=\u2329\mathit{\text{value}}\u232a$.
 ${\mathbf{ifail}}=161$

icomm has been corrupted between calls.
 ${\mathbf{ifail}}=171$

On entry,
${\mathbf{licomm}}=\u2329\mathit{\text{value}}\u232a$,
${\mathbf{lrcomm}}=\u2329\mathit{\text{value}}\u232a$.
Constraint:
${\mathbf{licomm}}\ge \u2329\mathit{\text{value}}\u232a$,
${\mathbf{lrcomm}}\ge \u2329\mathit{\text{value}}\u232a$.
icomm is too small to return the required array sizes.
 ${\mathbf{ifail}}=172$

On entry,
${\mathbf{licomm}}=\u2329\mathit{\text{value}}\u232a$,
${\mathbf{lrcomm}}=\u2329\mathit{\text{value}}\u232a$.
Constraint:
${\mathbf{licomm}}\ge \u2329\mathit{\text{value}}\u232a$,
${\mathbf{lrcomm}}\ge \u2329\mathit{\text{value}}\u232a$.
The minimum required values for
licomm and
lrcomm are returned in
${\mathbf{icomm}}\left(1\right)$ and
${\mathbf{icomm}}\left(2\right)$ respectively.
 ${\mathbf{ifail}}=181$

rcomm has been corrupted between calls.
 ${\mathbf{ifail}}=99$
An unexpected error has been triggered by this routine. Please
contact
NAG.
See
Section 3.9 in How to Use the NAG Library and its Documentation for further information.
 ${\mathbf{ifail}}=399$
Your licence key may have expired or may not have been installed correctly.
See
Section 3.8 in How to Use the NAG Library and its Documentation for further information.
 ${\mathbf{ifail}}=999$
Dynamic memory allocation failed.
See
Section 3.7 in How to Use the NAG Library and its Documentation for further information.
7
Accuracy
The subsets returned by h05aaf are guaranteed to be optimal up to the accuracy of your calculated scores.
8
Parallelism and Performance
h05aaf 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 routine. Please also consult the
Users' Note for your implementation for any additional implementationspecific information.
The maximum number of unique subsets of size
$p$ from a set of
$m$ features is
$N=\frac{m!}{\left(mp\right)!p!}$. The efficiency of the branch and bound algorithm implemented in
h05aaf 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 (h05aafe.f90)
10.2
Program Data
Program Data (h05aafe.d)
10.3
Program Results
Program Results (h05aafe.r)