• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // This file is part of Eigen, a lightweight C++ template library
2 // for linear algebra.
3 //
4 // Copyright (C) 2012 Désiré Nuentsa-Wakam <desire.nuentsa_wakam@inria.fr>
5 //
6 // This Source Code Form is subject to the terms of the Mozilla
7 // Public License v. 2.0. If a copy of the MPL was not distributed
8 // with this file, You can obtain one at http://mozilla.org/MPL/2.0/.
9 
10 /*
11 
12  * NOTE: This file is the modified version of [s,d,c,z]panel_dfs.c file in SuperLU
13 
14  * -- SuperLU routine (version 2.0) --
15  * Univ. of California Berkeley, Xerox Palo Alto Research Center,
16  * and Lawrence Berkeley National Lab.
17  * November 15, 1997
18  *
19  * Copyright (c) 1994 by Xerox Corporation.  All rights reserved.
20  *
21  * THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY
22  * EXPRESSED OR IMPLIED.  ANY USE IS AT YOUR OWN RISK.
23  *
24  * Permission is hereby granted to use or copy this program for any
25  * purpose, provided the above notices are retained on all copies.
26  * Permission to modify the code and to distribute modified code is
27  * granted, provided the above notices are retained, and a notice that
28  * the code was modified is included with the above copyright notice.
29  */
30 #ifndef SPARSELU_PANEL_DFS_H
31 #define SPARSELU_PANEL_DFS_H
32 
33 namespace Eigen {
34 
35 namespace internal {
36 
37 template<typename IndexVector>
38 struct panel_dfs_traits
39 {
40   typedef typename IndexVector::Scalar StorageIndex;
panel_dfs_traitspanel_dfs_traits41   panel_dfs_traits(Index jcol, StorageIndex* marker)
42     : m_jcol(jcol), m_marker(marker)
43   {}
update_segreppanel_dfs_traits44   bool update_segrep(Index krep, StorageIndex jj)
45   {
46     if(m_marker[krep]<m_jcol)
47     {
48       m_marker[krep] = jj;
49       return true;
50     }
51     return false;
52   }
mem_expandpanel_dfs_traits53   void mem_expand(IndexVector& /*glu.lsub*/, Index /*nextl*/, Index /*chmark*/) {}
54   enum { ExpandMem = false };
55   Index m_jcol;
56   StorageIndex* m_marker;
57 };
58 
59 
60 template <typename Scalar, typename StorageIndex>
61 template <typename Traits>
dfs_kernel(const StorageIndex jj,IndexVector & perm_r,Index & nseg,IndexVector & panel_lsub,IndexVector & segrep,Ref<IndexVector> repfnz_col,IndexVector & xprune,Ref<IndexVector> marker,IndexVector & parent,IndexVector & xplore,GlobalLU_t & glu,Index & nextl_col,Index krow,Traits & traits)62 void SparseLUImpl<Scalar,StorageIndex>::dfs_kernel(const StorageIndex jj, IndexVector& perm_r,
63                    Index& nseg, IndexVector& panel_lsub, IndexVector& segrep,
64                    Ref<IndexVector> repfnz_col, IndexVector& xprune, Ref<IndexVector> marker, IndexVector& parent,
65                    IndexVector& xplore, GlobalLU_t& glu,
66                    Index& nextl_col, Index krow, Traits& traits
67                   )
68 {
69 
70   StorageIndex kmark = marker(krow);
71 
72   // For each unmarked krow of jj
73   marker(krow) = jj;
74   StorageIndex kperm = perm_r(krow);
75   if (kperm == emptyIdxLU ) {
76     // krow is in L : place it in structure of L(*, jj)
77     panel_lsub(nextl_col++) = StorageIndex(krow);  // krow is indexed into A
78 
79     traits.mem_expand(panel_lsub, nextl_col, kmark);
80   }
81   else
82   {
83     // krow is in U : if its supernode-representative krep
84     // has been explored, update repfnz(*)
85     // krep = supernode representative of the current row
86     StorageIndex krep = glu.xsup(glu.supno(kperm)+1) - 1;
87     // First nonzero element in the current column:
88     StorageIndex myfnz = repfnz_col(krep);
89 
90     if (myfnz != emptyIdxLU )
91     {
92       // Representative visited before
93       if (myfnz > kperm ) repfnz_col(krep) = kperm;
94 
95     }
96     else
97     {
98       // Otherwise, perform dfs starting at krep
99       StorageIndex oldrep = emptyIdxLU;
100       parent(krep) = oldrep;
101       repfnz_col(krep) = kperm;
102       StorageIndex xdfs =  glu.xlsub(krep);
103       Index maxdfs = xprune(krep);
104 
105       StorageIndex kpar;
106       do
107       {
108         // For each unmarked kchild of krep
109         while (xdfs < maxdfs)
110         {
111           StorageIndex kchild = glu.lsub(xdfs);
112           xdfs++;
113           StorageIndex chmark = marker(kchild);
114 
115           if (chmark != jj )
116           {
117             marker(kchild) = jj;
118             StorageIndex chperm = perm_r(kchild);
119 
120             if (chperm == emptyIdxLU)
121             {
122               // case kchild is in L: place it in L(*, j)
123               panel_lsub(nextl_col++) = kchild;
124               traits.mem_expand(panel_lsub, nextl_col, chmark);
125             }
126             else
127             {
128               // case kchild is in U :
129               // chrep = its supernode-rep. If its rep has been explored,
130               // update its repfnz(*)
131               StorageIndex chrep = glu.xsup(glu.supno(chperm)+1) - 1;
132               myfnz = repfnz_col(chrep);
133 
134               if (myfnz != emptyIdxLU)
135               { // Visited before
136                 if (myfnz > chperm)
137                   repfnz_col(chrep) = chperm;
138               }
139               else
140               { // Cont. dfs at snode-rep of kchild
141                 xplore(krep) = xdfs;
142                 oldrep = krep;
143                 krep = chrep; // Go deeper down G(L)
144                 parent(krep) = oldrep;
145                 repfnz_col(krep) = chperm;
146                 xdfs = glu.xlsub(krep);
147                 maxdfs = xprune(krep);
148 
149               } // end if myfnz != -1
150             } // end if chperm == -1
151 
152           } // end if chmark !=jj
153         } // end while xdfs < maxdfs
154 
155         // krow has no more unexplored nbrs :
156         //    Place snode-rep krep in postorder DFS, if this
157         //    segment is seen for the first time. (Note that
158         //    "repfnz(krep)" may change later.)
159         //    Baktrack dfs to its parent
160         if(traits.update_segrep(krep,jj))
161         //if (marker1(krep) < jcol )
162         {
163           segrep(nseg) = krep;
164           ++nseg;
165           //marker1(krep) = jj;
166         }
167 
168         kpar = parent(krep); // Pop recursion, mimic recursion
169         if (kpar == emptyIdxLU)
170           break; // dfs done
171         krep = kpar;
172         xdfs = xplore(krep);
173         maxdfs = xprune(krep);
174 
175       } while (kpar != emptyIdxLU); // Do until empty stack
176 
177     } // end if (myfnz = -1)
178 
179   } // end if (kperm == -1)
180 }
181 
182 /**
183  * \brief Performs a symbolic factorization on a panel of columns [jcol, jcol+w)
184  *
185  * A supernode representative is the last column of a supernode.
186  * The nonzeros in U[*,j] are segments that end at supernodes representatives
187  *
188  * The routine returns a list of the supernodal representatives
189  * in topological order of the dfs that generates them. This list is
190  * a superset of the topological order of each individual column within
191  * the panel.
192  * The location of the first nonzero in each supernodal segment
193  * (supernodal entry location) is also returned. Each column has
194  * a separate list for this purpose.
195  *
196  * Two markers arrays are used for dfs :
197  *    marker[i] == jj, if i was visited during dfs of current column jj;
198  *    marker1[i] >= jcol, if i was visited by earlier columns in this panel;
199  *
200  * \param[in] m number of rows in the matrix
201  * \param[in] w Panel size
202  * \param[in] jcol Starting  column of the panel
203  * \param[in] A Input matrix in column-major storage
204  * \param[in] perm_r Row permutation
205  * \param[out] nseg Number of U segments
206  * \param[out] dense Accumulate the column vectors of the panel
207  * \param[out] panel_lsub Subscripts of the row in the panel
208  * \param[out] segrep Segment representative i.e first nonzero row of each segment
209  * \param[out] repfnz First nonzero location in each row
210  * \param[out] xprune The pruned elimination tree
211  * \param[out] marker work vector
212  * \param  parent The elimination tree
213  * \param xplore work vector
214  * \param glu The global data structure
215  *
216  */
217 
218 template <typename Scalar, typename StorageIndex>
panel_dfs(const Index m,const Index w,const Index jcol,MatrixType & A,IndexVector & perm_r,Index & nseg,ScalarVector & dense,IndexVector & panel_lsub,IndexVector & segrep,IndexVector & repfnz,IndexVector & xprune,IndexVector & marker,IndexVector & parent,IndexVector & xplore,GlobalLU_t & glu)219 void SparseLUImpl<Scalar,StorageIndex>::panel_dfs(const Index m, const Index w, const Index jcol, MatrixType& A, IndexVector& perm_r, Index& nseg, ScalarVector& dense, IndexVector& panel_lsub, IndexVector& segrep, IndexVector& repfnz, IndexVector& xprune, IndexVector& marker, IndexVector& parent, IndexVector& xplore, GlobalLU_t& glu)
220 {
221   Index nextl_col; // Next available position in panel_lsub[*,jj]
222 
223   // Initialize pointers
224   VectorBlock<IndexVector> marker1(marker, m, m);
225   nseg = 0;
226 
227   panel_dfs_traits<IndexVector> traits(jcol, marker1.data());
228 
229   // For each column in the panel
230   for (StorageIndex jj = StorageIndex(jcol); jj < jcol + w; jj++)
231   {
232     nextl_col = (jj - jcol) * m;
233 
234     VectorBlock<IndexVector> repfnz_col(repfnz, nextl_col, m); // First nonzero location in each row
235     VectorBlock<ScalarVector> dense_col(dense,nextl_col, m); // Accumulate a column vector here
236 
237 
238     // For each nnz in A[*, jj] do depth first search
239     for (typename MatrixType::InnerIterator it(A, jj); it; ++it)
240     {
241       Index krow = it.row();
242       dense_col(krow) = it.value();
243 
244       StorageIndex kmark = marker(krow);
245       if (kmark == jj)
246         continue; // krow visited before, go to the next nonzero
247 
248       dfs_kernel(jj, perm_r, nseg, panel_lsub, segrep, repfnz_col, xprune, marker, parent,
249                    xplore, glu, nextl_col, krow, traits);
250     }// end for nonzeros in column jj
251 
252   } // end for column jj
253 }
254 
255 } // end namespace internal
256 } // end namespace Eigen
257 
258 #endif // SPARSELU_PANEL_DFS_H
259