|  | // This file is part of Eigen, a lightweight C++ template library | 
|  | // for linear algebra. | 
|  | // | 
|  | // Copyright (C) 2012 Désiré Nuentsa-Wakam <desire.nuentsa_wakam@inria.fr> | 
|  | // Copyright (C) 2015 Gael Guennebaud <gael.guennebaud@inria.fr> | 
|  | // | 
|  | // This Source Code Form is subject to the terms of the Mozilla | 
|  | // Public License v. 2.0. If a copy of the MPL was not distributed | 
|  | // with this file, You can obtain one at http://mozilla.org/MPL/2.0/. | 
|  |  | 
|  | #ifndef EIGEN_INCOMPLETE_CHOlESKY_H | 
|  | #define EIGEN_INCOMPLETE_CHOlESKY_H | 
|  |  | 
|  | #include <vector> | 
|  | #include <list> | 
|  |  | 
|  | namespace Eigen { | 
|  | /** | 
|  | * \brief Modified Incomplete Cholesky with dual threshold | 
|  | * | 
|  | * References : C-J. Lin and J. J. Moré, Incomplete Cholesky Factorizations with | 
|  | *              Limited memory, SIAM J. Sci. Comput.  21(1), pp. 24-45, 1999 | 
|  | * | 
|  | * \tparam Scalar the scalar type of the input matrices | 
|  | * \tparam _UpLo The triangular part that will be used for the computations. It can be Lower | 
|  | *               or Upper. Default is Lower. | 
|  | * \tparam _OrderingType The ordering method to use, either AMDOrdering<> or NaturalOrdering<>. Default is AMDOrdering<int>, | 
|  | *                       unless EIGEN_MPL2_ONLY is defined, in which case the default is NaturalOrdering<int>. | 
|  | * | 
|  | * \implsparsesolverconcept | 
|  | * | 
|  | * It performs the following incomplete factorization: \f$ S P A P' S \approx L L' \f$ | 
|  | * where L is a lower triangular factor, S is a diagonal scaling matrix, and P is a | 
|  | * fill-in reducing permutation as computed by the ordering method. | 
|  | * | 
|  | * \b Shifting \b strategy: Let \f$ B = S P A P' S \f$  be the scaled matrix on which the factorization is carried out, | 
|  | * and \f$ \beta \f$ be the minimum value of the diagonal. If \f$ \beta > 0 \f$ then, the factorization is directly performed | 
|  | * on the matrix B. Otherwise, the factorization is performed on the shifted matrix \f$ B + (\sigma+|\beta| I \f$ where | 
|  | * \f$ \sigma \f$ is the initial shift value as returned and set by setInitialShift() method. The default value is \f$ \sigma = 10^{-3} \f$. | 
|  | * If the factorization fails, then the shift in doubled until it succeed or a maximum of ten attempts. If it still fails, as returned by | 
|  | * the info() method, then you can either increase the initial shift, or better use another preconditioning technique. | 
|  | * | 
|  | */ | 
|  | template <typename Scalar, int _UpLo = Lower, typename _OrderingType = AMDOrdering<int> > | 
|  | class IncompleteCholesky : public SparseSolverBase<IncompleteCholesky<Scalar,_UpLo,_OrderingType> > | 
|  | { | 
|  | protected: | 
|  | typedef SparseSolverBase<IncompleteCholesky<Scalar,_UpLo,_OrderingType> > Base; | 
|  | using Base::m_isInitialized; | 
|  | public: | 
|  | typedef typename NumTraits<Scalar>::Real RealScalar; | 
|  | typedef _OrderingType OrderingType; | 
|  | typedef typename OrderingType::PermutationType PermutationType; | 
|  | typedef typename PermutationType::StorageIndex StorageIndex; | 
|  | typedef SparseMatrix<Scalar,ColMajor,StorageIndex> FactorType; | 
|  | typedef Matrix<Scalar,Dynamic,1> VectorSx; | 
|  | typedef Matrix<RealScalar,Dynamic,1> VectorRx; | 
|  | typedef Matrix<StorageIndex,Dynamic, 1> VectorIx; | 
|  | typedef std::vector<std::list<StorageIndex> > VectorList; | 
|  | enum { UpLo = _UpLo }; | 
|  | enum { | 
|  | ColsAtCompileTime = Dynamic, | 
|  | MaxColsAtCompileTime = Dynamic | 
|  | }; | 
|  | public: | 
|  |  | 
|  | /** Default constructor leaving the object in a partly non-initialized stage. | 
|  | * | 
|  | * You must call compute() or the pair analyzePattern()/factorize() to make it valid. | 
|  | * | 
|  | * \sa IncompleteCholesky(const MatrixType&) | 
|  | */ | 
|  | IncompleteCholesky() : m_initialShift(1e-3),m_analysisIsOk(false),m_factorizationIsOk(false) {} | 
|  |  | 
|  | /** Constructor computing the incomplete factorization for the given matrix \a matrix. | 
|  | */ | 
|  | template<typename MatrixType> | 
|  | IncompleteCholesky(const MatrixType& matrix) : m_initialShift(1e-3),m_analysisIsOk(false),m_factorizationIsOk(false) | 
|  | { | 
|  | compute(matrix); | 
|  | } | 
|  |  | 
|  | /** \returns number of rows of the factored matrix */ | 
|  | Index rows() const { return m_L.rows(); } | 
|  |  | 
|  | /** \returns number of columns of the factored matrix */ | 
|  | Index cols() const { return m_L.cols(); } | 
|  |  | 
|  |  | 
|  | /** \brief Reports whether previous computation was successful. | 
|  | * | 
|  | * It triggers an assertion if \c *this has not been initialized through the respective constructor, | 
|  | * or a call to compute() or analyzePattern(). | 
|  | * | 
|  | * \returns \c Success if computation was successful, | 
|  | *          \c NumericalIssue if the matrix appears to be negative. | 
|  | */ | 
|  | ComputationInfo info() const | 
|  | { | 
|  | eigen_assert(m_isInitialized && "IncompleteCholesky is not initialized."); | 
|  | return m_info; | 
|  | } | 
|  |  | 
|  | /** \brief Set the initial shift parameter \f$ \sigma \f$. | 
|  | */ | 
|  | void setInitialShift(RealScalar shift) { m_initialShift = shift; } | 
|  |  | 
|  | /** \brief Computes the fill reducing permutation vector using the sparsity pattern of \a mat | 
|  | */ | 
|  | template<typename MatrixType> | 
|  | void analyzePattern(const MatrixType& mat) | 
|  | { | 
|  | OrderingType ord; | 
|  | PermutationType pinv; | 
|  | ord(mat.template selfadjointView<UpLo>(), pinv); | 
|  | if(pinv.size()>0) m_perm = pinv.inverse(); | 
|  | else              m_perm.resize(0); | 
|  | m_L.resize(mat.rows(), mat.cols()); | 
|  | m_analysisIsOk = true; | 
|  | m_isInitialized = true; | 
|  | m_info = Success; | 
|  | } | 
|  |  | 
|  | /** \brief Performs the numerical factorization of the input matrix \a mat | 
|  | * | 
|  | * The method analyzePattern() or compute() must have been called beforehand | 
|  | * with a matrix having the same pattern. | 
|  | * | 
|  | * \sa compute(), analyzePattern() | 
|  | */ | 
|  | template<typename MatrixType> | 
|  | void factorize(const MatrixType& mat); | 
|  |  | 
|  | /** Computes or re-computes the incomplete Cholesky factorization of the input matrix \a mat | 
|  | * | 
|  | * It is a shortcut for a sequential call to the analyzePattern() and factorize() methods. | 
|  | * | 
|  | * \sa analyzePattern(), factorize() | 
|  | */ | 
|  | template<typename MatrixType> | 
|  | void compute(const MatrixType& mat) | 
|  | { | 
|  | analyzePattern(mat); | 
|  | factorize(mat); | 
|  | } | 
|  |  | 
|  | // internal | 
|  | template<typename Rhs, typename Dest> | 
|  | void _solve_impl(const Rhs& b, Dest& x) const | 
|  | { | 
|  | eigen_assert(m_factorizationIsOk && "factorize() should be called first"); | 
|  | if (m_perm.rows() == b.rows())  x = m_perm * b; | 
|  | else                            x = b; | 
|  | x = m_scale.asDiagonal() * x; | 
|  | x = m_L.template triangularView<Lower>().solve(x); | 
|  | x = m_L.adjoint().template triangularView<Upper>().solve(x); | 
|  | x = m_scale.asDiagonal() * x; | 
|  | if (m_perm.rows() == b.rows()) | 
|  | x = m_perm.inverse() * x; | 
|  | } | 
|  |  | 
|  | /** \returns the sparse lower triangular factor L */ | 
|  | const FactorType& matrixL() const { eigen_assert("m_factorizationIsOk"); return m_L; } | 
|  |  | 
|  | /** \returns a vector representing the scaling factor S */ | 
|  | const VectorRx& scalingS() const { eigen_assert("m_factorizationIsOk"); return m_scale; } | 
|  |  | 
|  | /** \returns the fill-in reducing permutation P (can be empty for a natural ordering) */ | 
|  | const PermutationType& permutationP() const { eigen_assert("m_analysisIsOk"); return m_perm; } | 
|  |  | 
|  | protected: | 
|  | FactorType m_L;              // The lower part stored in CSC | 
|  | VectorRx m_scale;            // The vector for scaling the matrix | 
|  | RealScalar m_initialShift;   // The initial shift parameter | 
|  | bool m_analysisIsOk; | 
|  | bool m_factorizationIsOk; | 
|  | ComputationInfo m_info; | 
|  | PermutationType m_perm; | 
|  |  | 
|  | private: | 
|  | inline void updateList(Ref<const VectorIx> colPtr, Ref<VectorIx> rowIdx, Ref<VectorSx> vals, const Index& col, const Index& jk, VectorIx& firstElt, VectorList& listCol); | 
|  | }; | 
|  |  | 
|  | // Based on the following paper: | 
|  | //   C-J. Lin and J. J. Moré, Incomplete Cholesky Factorizations with | 
|  | //   Limited memory, SIAM J. Sci. Comput.  21(1), pp. 24-45, 1999 | 
|  | //   http://ftp.mcs.anl.gov/pub/tech_reports/reports/P682.pdf | 
|  | template<typename Scalar, int _UpLo, typename OrderingType> | 
|  | template<typename _MatrixType> | 
|  | void IncompleteCholesky<Scalar,_UpLo, OrderingType>::factorize(const _MatrixType& mat) | 
|  | { | 
|  | using std::sqrt; | 
|  | eigen_assert(m_analysisIsOk && "analyzePattern() should be called first"); | 
|  |  | 
|  | // Dropping strategy : Keep only the p largest elements per column, where p is the number of elements in the column of the original matrix. Other strategies will be added | 
|  |  | 
|  | // Apply the fill-reducing permutation computed in analyzePattern() | 
|  | if (m_perm.rows() == mat.rows() ) // To detect the null permutation | 
|  | { | 
|  | // The temporary is needed to make sure that the diagonal entry is properly sorted | 
|  | FactorType tmp(mat.rows(), mat.cols()); | 
|  | tmp = mat.template selfadjointView<_UpLo>().twistedBy(m_perm); | 
|  | m_L.template selfadjointView<Lower>() = tmp.template selfadjointView<Lower>(); | 
|  | } | 
|  | else | 
|  | { | 
|  | m_L.template selfadjointView<Lower>() = mat.template selfadjointView<_UpLo>(); | 
|  | } | 
|  |  | 
|  | Index n = m_L.cols(); | 
|  | Index nnz = m_L.nonZeros(); | 
|  | Map<VectorSx> vals(m_L.valuePtr(), nnz);         //values | 
|  | Map<VectorIx> rowIdx(m_L.innerIndexPtr(), nnz);  //Row indices | 
|  | Map<VectorIx> colPtr( m_L.outerIndexPtr(), n+1); // Pointer to the beginning of each row | 
|  | VectorIx firstElt(n-1); // for each j, points to the next entry in vals that will be used in the factorization | 
|  | VectorList listCol(n);  // listCol(j) is a linked list of columns to update column j | 
|  | VectorSx col_vals(n);   // Store a  nonzero values in each column | 
|  | VectorIx col_irow(n);   // Row indices of nonzero elements in each column | 
|  | VectorIx col_pattern(n); | 
|  | col_pattern.fill(-1); | 
|  | StorageIndex col_nnz; | 
|  |  | 
|  |  | 
|  | // Computes the scaling factors | 
|  | m_scale.resize(n); | 
|  | m_scale.setZero(); | 
|  | for (Index j = 0; j < n; j++) | 
|  | for (Index k = colPtr[j]; k < colPtr[j+1]; k++) | 
|  | { | 
|  | m_scale(j) += numext::abs2(vals(k)); | 
|  | if(rowIdx[k]!=j) | 
|  | m_scale(rowIdx[k]) += numext::abs2(vals(k)); | 
|  | } | 
|  |  | 
|  | m_scale = m_scale.cwiseSqrt().cwiseSqrt(); | 
|  |  | 
|  | for (Index j = 0; j < n; ++j) | 
|  | if(m_scale(j)>(std::numeric_limits<RealScalar>::min)()) | 
|  | m_scale(j) = RealScalar(1)/m_scale(j); | 
|  | else | 
|  | m_scale(j) = 1; | 
|  |  | 
|  | // TODO disable scaling if not needed, i.e., if it is roughly uniform? (this will make solve() faster) | 
|  |  | 
|  | // Scale and compute the shift for the matrix | 
|  | RealScalar mindiag = NumTraits<RealScalar>::highest(); | 
|  | for (Index j = 0; j < n; j++) | 
|  | { | 
|  | for (Index k = colPtr[j]; k < colPtr[j+1]; k++) | 
|  | vals[k] *= (m_scale(j)*m_scale(rowIdx[k])); | 
|  | eigen_internal_assert(rowIdx[colPtr[j]]==j && "IncompleteCholesky: only the lower triangular part must be stored"); | 
|  | mindiag = numext::mini(numext::real(vals[colPtr[j]]), mindiag); | 
|  | } | 
|  |  | 
|  | FactorType L_save = m_L; | 
|  |  | 
|  | RealScalar shift = 0; | 
|  | if(mindiag <= RealScalar(0.)) | 
|  | shift = m_initialShift - mindiag; | 
|  |  | 
|  | m_info = NumericalIssue; | 
|  |  | 
|  | // Try to perform the incomplete factorization using the current shift | 
|  | int iter = 0; | 
|  | do | 
|  | { | 
|  | // Apply the shift to the diagonal elements of the matrix | 
|  | for (Index j = 0; j < n; j++) | 
|  | vals[colPtr[j]] += shift; | 
|  |  | 
|  | // jki version of the Cholesky factorization | 
|  | Index j=0; | 
|  | for (; j < n; ++j) | 
|  | { | 
|  | // Left-looking factorization of the j-th column | 
|  | // First, load the j-th column into col_vals | 
|  | Scalar diag = vals[colPtr[j]];  // It is assumed that only the lower part is stored | 
|  | col_nnz = 0; | 
|  | for (Index i = colPtr[j] + 1; i < colPtr[j+1]; i++) | 
|  | { | 
|  | StorageIndex l = rowIdx[i]; | 
|  | col_vals(col_nnz) = vals[i]; | 
|  | col_irow(col_nnz) = l; | 
|  | col_pattern(l) = col_nnz; | 
|  | col_nnz++; | 
|  | } | 
|  | { | 
|  | typename std::list<StorageIndex>::iterator k; | 
|  | // Browse all previous columns that will update column j | 
|  | for(k = listCol[j].begin(); k != listCol[j].end(); k++) | 
|  | { | 
|  | Index jk = firstElt(*k); // First element to use in the column | 
|  | eigen_internal_assert(rowIdx[jk]==j); | 
|  | Scalar v_j_jk = numext::conj(vals[jk]); | 
|  |  | 
|  | jk += 1; | 
|  | for (Index i = jk; i < colPtr[*k+1]; i++) | 
|  | { | 
|  | StorageIndex l = rowIdx[i]; | 
|  | if(col_pattern[l]<0) | 
|  | { | 
|  | col_vals(col_nnz) = vals[i] * v_j_jk; | 
|  | col_irow[col_nnz] = l; | 
|  | col_pattern(l) = col_nnz; | 
|  | col_nnz++; | 
|  | } | 
|  | else | 
|  | col_vals(col_pattern[l]) -= vals[i] * v_j_jk; | 
|  | } | 
|  | updateList(colPtr,rowIdx,vals, *k, jk, firstElt, listCol); | 
|  | } | 
|  | } | 
|  |  | 
|  | // Scale the current column | 
|  | if(numext::real(diag) <= 0) | 
|  | { | 
|  | if(++iter>=10) | 
|  | return; | 
|  |  | 
|  | // increase shift | 
|  | shift = numext::maxi(m_initialShift,RealScalar(2)*shift); | 
|  | // restore m_L, col_pattern, and listCol | 
|  | vals = Map<const VectorSx>(L_save.valuePtr(), nnz); | 
|  | rowIdx = Map<const VectorIx>(L_save.innerIndexPtr(), nnz); | 
|  | colPtr = Map<const VectorIx>(L_save.outerIndexPtr(), n+1); | 
|  | col_pattern.fill(-1); | 
|  | for(Index i=0; i<n; ++i) | 
|  | listCol[i].clear(); | 
|  |  | 
|  | break; | 
|  | } | 
|  |  | 
|  | RealScalar rdiag = sqrt(numext::real(diag)); | 
|  | vals[colPtr[j]] = rdiag; | 
|  | for (Index k = 0; k<col_nnz; ++k) | 
|  | { | 
|  | Index i = col_irow[k]; | 
|  | //Scale | 
|  | col_vals(k) /= rdiag; | 
|  | //Update the remaining diagonals with col_vals | 
|  | vals[colPtr[i]] -= numext::abs2(col_vals(k)); | 
|  | } | 
|  | // Select the largest p elements | 
|  | // p is the original number of elements in the column (without the diagonal) | 
|  | Index p = colPtr[j+1] - colPtr[j] - 1 ; | 
|  | Ref<VectorSx> cvals = col_vals.head(col_nnz); | 
|  | Ref<VectorIx> cirow = col_irow.head(col_nnz); | 
|  | internal::QuickSplit(cvals,cirow, p); | 
|  | // Insert the largest p elements in the matrix | 
|  | Index cpt = 0; | 
|  | for (Index i = colPtr[j]+1; i < colPtr[j+1]; i++) | 
|  | { | 
|  | vals[i] = col_vals(cpt); | 
|  | rowIdx[i] = col_irow(cpt); | 
|  | // restore col_pattern: | 
|  | col_pattern(col_irow(cpt)) = -1; | 
|  | cpt++; | 
|  | } | 
|  | // Get the first smallest row index and put it after the diagonal element | 
|  | Index jk = colPtr(j)+1; | 
|  | updateList(colPtr,rowIdx,vals,j,jk,firstElt,listCol); | 
|  | } | 
|  |  | 
|  | if(j==n) | 
|  | { | 
|  | m_factorizationIsOk = true; | 
|  | m_info = Success; | 
|  | } | 
|  | } while(m_info!=Success); | 
|  | } | 
|  |  | 
|  | template<typename Scalar, int _UpLo, typename OrderingType> | 
|  | inline void IncompleteCholesky<Scalar,_UpLo, OrderingType>::updateList(Ref<const VectorIx> colPtr, Ref<VectorIx> rowIdx, Ref<VectorSx> vals, const Index& col, const Index& jk, VectorIx& firstElt, VectorList& listCol) | 
|  | { | 
|  | if (jk < colPtr(col+1) ) | 
|  | { | 
|  | Index p = colPtr(col+1) - jk; | 
|  | Index minpos; | 
|  | rowIdx.segment(jk,p).minCoeff(&minpos); | 
|  | minpos += jk; | 
|  | if (rowIdx(minpos) != rowIdx(jk)) | 
|  | { | 
|  | //Swap | 
|  | std::swap(rowIdx(jk),rowIdx(minpos)); | 
|  | std::swap(vals(jk),vals(minpos)); | 
|  | } | 
|  | firstElt(col) = internal::convert_index<StorageIndex,Index>(jk); | 
|  | listCol[rowIdx(jk)].push_back(internal::convert_index<StorageIndex,Index>(col)); | 
|  | } | 
|  | } | 
|  |  | 
|  | } // end namespace Eigen | 
|  |  | 
|  | #endif |