33 #ifndef CLASSIC_LEXSMALLERIMAGE_SEARCH_H_ 34 #define CLASSIC_LEXSMALLERIMAGE_SEARCH_H_ 36 #include <permlib/search/classic/backtrack_search.h> 37 #include <permlib/predicate/lex_smaller_image_predicate.h> 46 template<
class BSGSIN,
class TRANSRET>
49 typedef typename BacktrackSearch<BSGSIN,TRANSRET>::PERM PERM;
65 template<
class InputIteratorZ,
class InputIteratorO>
66 void construct(InputIteratorZ zerosBegin, InputIteratorZ zerosEnd, InputIteratorO onesBegin, InputIteratorO onesEnd);
69 template<
class BSGSIN,
class TRANSRET>
74 template<
class BSGSIN,
class TRANSRET>
75 template<
class InputIteratorZ,
class InputIteratorO>
89 #endif // -- CLASSIC_LEXSMALLERIMAGE_SEARCH_H_ virtual unsigned int limit() const
limit of recursion depth in backtrack search
Definition: lex_smaller_image_predicate.h:126
coset-type predicate for group elements that map one set of zeros and ones to a lex-smaller set (w...
Definition: lex_smaller_image_predicate.h:49
searching in a group with classical backtracking
Definition: backtrack_search.h:50
BSGSIN m_bsgs
main BSGS to search in
Definition: base_search.h:91
bool m_limitInitialized
true iff other m_limit variables have been initialized
Definition: base_search.h:108
coset representative search for a lex-smaller set images
Definition: lex_smaller_image_search.h:47
void construct(SubgroupPredicate< PERM > *pred, bool addPredRefinement)
initializes the search
Definition: backtrack_search.h:188
unsigned int m_limitLevel
maximal backtrack level
Definition: base_search.h:112
unsigned int m_limitBase
number of base points that correspond to maximal backtrack level m_limitLevel
Definition: base_search.h:110
LexSmallerImageSearch(const BSGSIN &bsgs, unsigned int pruningLevelDCM)
constructor
Definition: lex_smaller_image_search.h:70
void construct(InputIteratorZ zerosBegin, InputIteratorZ zerosEnd, InputIteratorO onesBegin, InputIteratorO onesEnd)
initializes search
Definition: lex_smaller_image_search.h:76
Definition: abstract_bsgs.h:49