SHOGUN
3.2.1
|
abstract template base for CG based solvers to the solution of shifted linear systems of the form \((A+\sigma)x=b\) for several values of \(\sigma\) simultaneously, using only as many matrix-vector operations as the solution of a single system requires. This class adds another interface to the basic iterative linear solver that takes the shifts, \(\sigma\), and also weights, \(\alpha\), and returns the summation \(\sum_{i} \alpha_{i}x_{i}\), where \(x_{i}\) is the solution of the system \((A+\sigma_{i})x_{i}=b\).
Reference: Beat Jegerlehner, Krylov space solvers for shifted linear systems, 1996.
Definition at line 34 of file IterativeShiftedLinearFamilySolver.h.
Public Member Functions | |
CIterativeShiftedLinearFamilySolver () | |
CIterativeShiftedLinearFamilySolver (bool store_residuals) | |
virtual | ~CIterativeShiftedLinearFamilySolver () |
virtual SGVector< T > | solve (CLinearOperator< T > *A, SGVector< T > b)=0 |
virtual SGVector< ST > | solve_shifted_weighted (CLinearOperator< T > *A, SGVector< T > b, SGVector< ST > shifts, SGVector< ST > weights)=0 |
virtual const char * | get_name () const |
void | set_iteration_limit (index_t iteration_limit) |
const index_t | get_iteration_limit () const |
void | set_relative_tolerence (float64_t relative_tolerence) |
const float64_t | get_relative_tolerence () const |
void | set_absolute_tolerence (float64_t absolute_tolerence) |
const float64_t | get_absolute_tolerence () const |
SGVector< float64_t > | get_residuals () const |
virtual CSGObject * | shallow_copy () const |
virtual CSGObject * | deep_copy () const |
virtual bool | is_generic (EPrimitiveType *generic) const |
template<class T > | |
void | set_generic () |
template<> | |
void | set_generic () |
template<> | |
void | set_generic () |
template<> | |
void | set_generic () |
template<> | |
void | set_generic () |
template<> | |
void | set_generic () |
template<> | |
void | set_generic () |
template<> | |
void | set_generic () |
template<> | |
void | set_generic () |
template<> | |
void | set_generic () |
template<> | |
void | set_generic () |
template<> | |
void | set_generic () |
template<> | |
void | set_generic () |
template<> | |
void | set_generic () |
template<> | |
void | set_generic () |
template<> | |
void | set_generic () |
void | unset_generic () |
virtual void | print_serializable (const char *prefix="") |
virtual bool | save_serializable (CSerializableFile *file, const char *prefix="", int32_t param_version=Version::get_version_parameter()) |
virtual bool | load_serializable (CSerializableFile *file, const char *prefix="", int32_t param_version=Version::get_version_parameter()) |
DynArray< TParameter * > * | load_file_parameters (const SGParamInfo *param_info, int32_t file_version, CSerializableFile *file, const char *prefix="") |
DynArray< TParameter * > * | load_all_file_parameters (int32_t file_version, int32_t current_version, CSerializableFile *file, const char *prefix="") |
void | map_parameters (DynArray< TParameter * > *param_base, int32_t &base_version, DynArray< const SGParamInfo * > *target_param_infos) |
void | set_global_io (SGIO *io) |
SGIO * | get_global_io () |
void | set_global_parallel (Parallel *parallel) |
Parallel * | get_global_parallel () |
void | set_global_version (Version *version) |
Version * | get_global_version () |
SGStringList< char > | get_modelsel_names () |
void | print_modsel_params () |
char * | get_modsel_param_descr (const char *param_name) |
index_t | get_modsel_param_index (const char *param_name) |
void | build_gradient_parameter_dictionary (CMap< TParameter *, CSGObject * > *dict) |
virtual void | update_parameter_hash () |
virtual bool | parameter_hash_changed () |
virtual bool | equals (CSGObject *other, float64_t accuracy=0.0, bool tolerant=false) |
virtual CSGObject * | clone () |
Public Attributes | |
SGIO * | io |
Parallel * | parallel |
Version * | version |
Parameter * | m_parameters |
Parameter * | m_model_selection_parameters |
Parameter * | m_gradient_parameters |
ParameterMap * | m_parameter_map |
uint32_t | m_hash |
Protected Member Functions | |
void | compute_zeta_sh_new (const SGVector< ST > &zeta_sh_old, const SGVector< ST > &zeta_sh_cur, const SGVector< ST > &shifts, const T &beta_old, const T &beta_cur, const T &alpha, SGVector< ST > &zeta_sh_new) |
void | compute_beta_sh (const SGVector< ST > &zeta_sh_new, const SGVector< ST > &zeta_sh_cur, const T &beta_cur, SGVector< ST > &beta_sh) |
void | compute_alpha_sh (const SGVector< ST > &zeta_sh_cur, const SGVector< ST > &zeta_sh_old, const SGVector< ST > &beta_sh_old, const T &beta_old, const T &alpha, SGVector< ST > &alpha_sh) |
virtual TParameter * | migrate (DynArray< TParameter * > *param_base, const SGParamInfo *target) |
virtual void | one_to_one_migration_prepare (DynArray< TParameter * > *param_base, const SGParamInfo *target, TParameter *&replacement, TParameter *&to_migrate, char *old_name=NULL) |
virtual void | load_serializable_pre () throw (ShogunException) |
virtual void | load_serializable_post () throw (ShogunException) |
virtual void | save_serializable_pre () throw (ShogunException) |
virtual void | save_serializable_post () throw (ShogunException) |
Protected Attributes | |
index_t | m_max_iteration_limit |
float64_t | m_relative_tolerence |
float64_t | m_absolute_tolerence |
SGVector< float64_t > | m_residuals |
bool | m_store_residuals |
default constructor
Definition at line 19 of file IterativeShiftedLinearFamilySolver.cpp.
CIterativeShiftedLinearFamilySolver | ( | bool | store_residuals | ) |
one arg constructor
Definition at line 26 of file IterativeShiftedLinearFamilySolver.cpp.
|
virtual |
destructor
Definition at line 32 of file IterativeShiftedLinearFamilySolver.cpp.
|
inherited |
Builds a dictionary of all parameters in SGObject as well of those of SGObjects that are parameters of this object. Dictionary maps parameters to the objects that own them.
dict | dictionary of parameters to be built. |
Definition at line 1174 of file SGObject.cpp.
|
virtualinherited |
Creates a clone of the current object. This is done via recursively traversing all parameters, which corresponds to a deep copy. Calling equals on the cloned object always returns true although none of the memory of both objects overlaps.
Definition at line 1291 of file SGObject.cpp.
|
protected |
compute \(\alpha^{\sigma}_{n}\) as \(\alpha_{n}\frac{\zeta^{\sigma} _{n}\beta^{\sigma}_{n-1}}{\zeta^{\sigma}_{n-1}\beta_{n-1}}\)
zeta_sh_cur | \(\zeta^{\sigma}_{n}\) shifted params |
zeta_sh_old | \(\zeta^{\sigma}_{n-1}\) shifted params |
beta_sh_old | \(\beta^{\sigma}_{n-1}\), shifted params |
beta_old | \(\beta_{n-1}\), non-shifted |
alpha | \(\alpha_{n}\), non-shifted |
alpha_sh | \(\alpha^{\sigma}_{n}\), to be computed |
Definition at line 79 of file IterativeShiftedLinearFamilySolver.cpp.
|
protected |
compute \(\beta^{\sigma}_{n}\) as \(\beta_{n}\frac{\zeta^{\sigma}_{n+1}} {\zeta^{\sigma}_{n}}\)
zeta_sh_new | \(\zeta^{\sigma}_{n+1}\) shifted params |
zeta_sh_cur | \(\zeta^{\sigma}_{n}\) shifted params |
beta_cur | \(\beta_{n}\), non-shifted |
beta_sh | \(\beta^{\sigma}_{n}\), to be computed |
Definition at line 59 of file IterativeShiftedLinearFamilySolver.cpp.
|
protected |
compute \(\zeta^{\sigma}_{n+1}\) as \(\frac{\zeta^{\sigma}_{n} \zeta^{\sigma}_{n-1}\beta_{n-1}}{\beta_{n}\alpha_{n}(\zeta^{\sigma}_{n-1} -\zeta^{\sigma}_{n})+\zeta^{\sigma}_{n-1}\beta_{n-1}(1-\sigma\beta_{n}})\) [see Jergerlehner, eq 2.44]
zeta_sh_old | \(\zeta^{\sigma}_{n-1}\) shifted params |
zeta_sh_cur | \(\zeta^{\sigma}_{n}\) shifted params |
shifts | \(\sigma\) shifts |
beta_old | \(\beta_{n-1}\), non-shifted |
beta_cur | \(\beta_{n}\), non-shifted |
alpha | \(\alpha\) non-shifted |
zeta_sh_new | \(\zeta^{\sigma}_{n+1}\) to be computed |
Definition at line 37 of file IterativeShiftedLinearFamilySolver.cpp.
|
virtualinherited |
A deep copy. All the instance variables will also be copied.
Definition at line 126 of file SGObject.h.
Recursively compares the current SGObject to another one. Compares all registered numerical parameters, recursion upon complex (SGObject) parameters. Does not compare pointers!
May be overwritten but please do with care! Should not be necessary in most cases.
other | object to compare with |
accuracy | accuracy to use for comparison (optional) |
tolerant | allows linient check on float equality (within accuracy) |
Definition at line 1195 of file SGObject.cpp.
|
inherited |
Definition at line 82 of file IterativeLinearSolver.h.
|
inherited |
|
inherited |
|
inherited |
|
inherited |
Definition at line 58 of file IterativeLinearSolver.h.
|
inherited |
Definition at line 1066 of file SGObject.cpp.
|
inherited |
Returns description of a given parameter string, if it exists. SG_ERROR otherwise
param_name | name of the parameter |
Definition at line 1090 of file SGObject.cpp.
|
inherited |
Returns index of model selection parameter with provided index
param_name | name of model selection parameter |
Definition at line 1103 of file SGObject.cpp.
|
virtual |
Reimplemented from CIterativeLinearSolver< T, T >.
Reimplemented in CCGMShiftedFamilySolver.
Definition at line 72 of file IterativeShiftedLinearFamilySolver.h.
|
inherited |
Definition at line 70 of file IterativeLinearSolver.h.
Definition at line 88 of file IterativeLinearSolver.h.
|
virtualinherited |
If the SGSerializable is a class template then TRUE will be returned and GENERIC is set to the type of the generic.
generic | set to the type of the generic if returning TRUE |
Definition at line 234 of file SGObject.cpp.
|
inherited |
maps all parameters of this instance to the provided file version and loads all parameter data from the file into an array, which is sorted (basically calls load_file_parameter(...) for all parameters and puts all results into a sorted array)
file_version | parameter version of the file |
current_version | version from which mapping begins (you want to use Version::get_version_parameter() for this in most cases) |
file | file to load from |
prefix | prefix for members |
Definition at line 639 of file SGObject.cpp.
|
inherited |
loads some specified parameters from a file with a specified version The provided parameter info has a version which is recursively mapped until the file parameter version is reached. Note that there may be possibly multiple parameters in the mapping, therefore, a set of TParameter instances is returned
param_info | information of parameter |
file_version | parameter version of the file, must be <= provided parameter version |
file | file to load from |
prefix | prefix for members |
Definition at line 480 of file SGObject.cpp.
|
virtualinherited |
Load this object from file. If it will fail (returning FALSE) then this object will contain inconsistent data and should not be used!
file | where to load from |
prefix | prefix for members |
param_version | (optional) a parameter version different to (this is mainly for testing, better do not use) |
Definition at line 311 of file SGObject.cpp.
|
protectedvirtualinherited |
Can (optionally) be overridden to post-initialize some member variables which are not PARAMETER::ADD'ed. Make sure that at first the overridden method BASE_CLASS::LOAD_SERIALIZABLE_POST is called.
ShogunException | Will be thrown if an error occurres. |
Reimplemented in CWeightedDegreePositionStringKernel, CKernel, CList, CAlphabet, CLinearHMM, CGaussianKernel, CInverseMultiQuadricKernel, CCircularKernel, and CExponentialKernel.
Definition at line 995 of file SGObject.cpp.
|
protectedvirtualinherited |
Can (optionally) be overridden to pre-initialize some member variables which are not PARAMETER::ADD'ed. Make sure that at first the overridden method BASE_CLASS::LOAD_SERIALIZABLE_PRE is called.
ShogunException | Will be thrown if an error occurres. |
Reimplemented in CDynamicArray< T >, CDynamicArray< float64_t >, CDynamicArray< float32_t >, CDynamicArray< int32_t >, CDynamicArray< char >, CDynamicArray< bool >, and CDynamicObjectArray.
Definition at line 990 of file SGObject.cpp.
|
inherited |
Takes a set of TParameter instances (base) with a certain version and a set of target parameter infos and recursively maps the base level wise to the current version using CSGObject::migrate(...). The base is replaced. After this call, the base version containing parameters should be of same version/type as the initial target parameter infos. Note for this to work, the migrate methods and all the internal parameter mappings have to match
param_base | set of TParameter instances that are mapped to the provided target parameter infos |
base_version | version of the parameter base |
target_param_infos | set of SGParamInfo instances that specify the target parameter base |
Definition at line 677 of file SGObject.cpp.
|
protectedvirtualinherited |
creates a new TParameter instance, which contains migrated data from the version that is provided. The provided parameter data base is used for migration, this base is a collection of all parameter data of the previous version. Migration is done FROM the data in param_base TO the provided param info Migration is always one version step. Method has to be implemented in subclasses, if no match is found, base method has to be called.
If there is an element in the param_base which equals the target, a copy of the element is returned. This represents the case when nothing has changed and therefore, the migrate method is not overloaded in a subclass
param_base | set of TParameter instances to use for migration |
target | parameter info for the resulting TParameter |
Definition at line 884 of file SGObject.cpp.
|
protectedvirtualinherited |
This method prepares everything for a one-to-one parameter migration. One to one here means that only ONE element of the parameter base is needed for the migration (the one with the same name as the target). Data is allocated for the target (in the type as provided in the target SGParamInfo), and a corresponding new TParameter instance is written to replacement. The to_migrate pointer points to the single needed TParameter instance needed for migration. If a name change happened, the old name may be specified by old_name. In addition, the m_delete_data flag of to_migrate is set to true. So if you want to migrate data, the only thing to do after this call is converting the data in the m_parameter fields. If unsure how to use - have a look into an example for this. (base_migration_type_conversion.cpp for example)
param_base | set of TParameter instances to use for migration |
target | parameter info for the resulting TParameter |
replacement | (used as output) here the TParameter instance which is returned by migration is created into |
to_migrate | the only source that is used for migration |
old_name | with this parameter, a name change may be specified |
Definition at line 824 of file SGObject.cpp.
|
virtualinherited |
Definition at line 200 of file SGObject.cpp.
|
inherited |
prints all parameter registered for model selection and their type
Definition at line 1042 of file SGObject.cpp.
|
virtualinherited |
prints registered parameters out
prefix | prefix for members |
Definition at line 246 of file SGObject.cpp.
|
virtualinherited |
Save this object to file.
file | where to save the object; will be closed during returning if PREFIX is an empty string. |
prefix | prefix for members |
param_version | (optional) a parameter version different to (this is mainly for testing, better do not use) |
Definition at line 252 of file SGObject.cpp.
|
protectedvirtualinherited |
Can (optionally) be overridden to post-initialize some member variables which are not PARAMETER::ADD'ed. Make sure that at first the overridden method BASE_CLASS::SAVE_SERIALIZABLE_POST is called.
ShogunException | Will be thrown if an error occurres. |
Reimplemented in CKernel.
Definition at line 1005 of file SGObject.cpp.
|
protectedvirtualinherited |
Can (optionally) be overridden to pre-initialize some member variables which are not PARAMETER::ADD'ed. Make sure that at first the overridden method BASE_CLASS::SAVE_SERIALIZABLE_PRE is called.
ShogunException | Will be thrown if an error occurres. |
Reimplemented in CKernel, CDynamicArray< T >, CDynamicArray< float64_t >, CDynamicArray< float32_t >, CDynamicArray< int32_t >, CDynamicArray< char >, CDynamicArray< bool >, and CDynamicObjectArray.
Definition at line 1000 of file SGObject.cpp.
|
inherited |
set absolute tolerence
Definition at line 76 of file IterativeLinearSolver.h.
|
inherited |
Definition at line 41 of file SGObject.cpp.
|
inherited |
Definition at line 46 of file SGObject.cpp.
|
inherited |
Definition at line 51 of file SGObject.cpp.
|
inherited |
Definition at line 56 of file SGObject.cpp.
|
inherited |
Definition at line 61 of file SGObject.cpp.
|
inherited |
Definition at line 66 of file SGObject.cpp.
|
inherited |
Definition at line 71 of file SGObject.cpp.
|
inherited |
Definition at line 76 of file SGObject.cpp.
|
inherited |
Definition at line 81 of file SGObject.cpp.
|
inherited |
Definition at line 86 of file SGObject.cpp.
|
inherited |
Definition at line 91 of file SGObject.cpp.
|
inherited |
Definition at line 96 of file SGObject.cpp.
|
inherited |
Definition at line 101 of file SGObject.cpp.
|
inherited |
Definition at line 106 of file SGObject.cpp.
|
inherited |
Definition at line 111 of file SGObject.cpp.
|
inherited |
set generic type to T
|
inherited |
|
inherited |
set the parallel object
parallel | parallel object to use |
Definition at line 180 of file SGObject.cpp.
|
inherited |
set the version object
version | version object to use |
Definition at line 221 of file SGObject.cpp.
|
inherited |
set maximum iteration limit
Definition at line 47 of file IterativeLinearSolver.h.
|
inherited |
set relative tolerence
Definition at line 64 of file IterativeLinearSolver.h.
|
virtualinherited |
A shallow copy. All the SGObject instance variables will be simply assigned and SG_REF-ed.
Reimplemented in CGaussianKernel.
Definition at line 117 of file SGObject.h.
|
pure virtual |
abstract solve method for solving real linear systems which computes the solution for non-shifted linear system in CG iteration
A | the linear operator of the system |
b | the vector of the system |
Implements CIterativeLinearSolver< T, T >.
Implemented in CCGMShiftedFamilySolver.
|
pure virtual |
abstract method that solves the shifted family of linear systems, multiples each solution vector with a weight, computes a summation over all the shifts and returns the final solution vector
A | the linear operator of the system |
b | the vector of the system |
shifts | the shifts of the shifted system |
weights | the weights to be multiplied with each solution for each shift |
Implemented in CCGMShiftedFamilySolver.
|
inherited |
unset generic type
this has to be called in classes specializing a template class
Definition at line 241 of file SGObject.cpp.
|
virtualinherited |
Updates the hash of current parameter combination
Definition at line 187 of file SGObject.cpp.
|
inherited |
io
Definition at line 473 of file SGObject.h.
|
protectedinherited |
absolute tolerence
Definition at line 108 of file IterativeLinearSolver.h.
|
inherited |
parameters wrt which we can compute gradients
Definition at line 488 of file SGObject.h.
|
inherited |
Hash of parameter values
Definition at line 494 of file SGObject.h.
|
protectedinherited |
iteration limit for conjugate gradient
Definition at line 102 of file IterativeLinearSolver.h.
|
inherited |
model selection parameters
Definition at line 485 of file SGObject.h.
|
inherited |
map for different parameter versions
Definition at line 491 of file SGObject.h.
|
inherited |
parameters
Definition at line 482 of file SGObject.h.
|
protectedinherited |
relative tolerence
Definition at line 105 of file IterativeLinearSolver.h.
the residuals
Definition at line 111 of file IterativeLinearSolver.h.
|
protectedinherited |
whether to store the residuals
Definition at line 114 of file IterativeLinearSolver.h.
|
inherited |
parallel
Definition at line 476 of file SGObject.h.
|
inherited |
version
Definition at line 479 of file SGObject.h.