subgroup search for a stabilizer of an integer vector based on partition backtracking More...

Inheritance diagram for permlib::partition::VectorStabilizerSearch< BSGSIN, TRANSRET >:

Public Types
typedef RBase< BSGSIN, TRANSRET >::PERM	PERM

Public Types inherited from permlib::partition::RBase< BSGSIN, TRANSRET >
typedef BaseSearch< BSGSIN, TRANSRET >::PERM	PERM

typedef BaseSearch< BSGSIN, TRANSRET >::TRANS	TRANS

typedef Refinement< PERM > ::RefinementPtr	RefinementPtr

typedef RefinementFamily< PERM > ::PartitionPtr	PartitionPtr

typedef std::list< std::pair < PartitionPtr, RefinementPtr > >::const_iterator	PartitionIt

Public Types inherited from permlib::BaseSearch< BSGSIN, TRANSRET >
typedef BSGSIN::PERMtype	PERM

typedef BSGSIN::TRANStype	TRANS

typedef std::list< typename PERM::ptr >	PERMlistType

Public Member Functions
	VectorStabilizerSearch (const BSGSIN &bsgs, unsigned int pruningLevelDCM)
	constructor More...

template<class InputIterator >
void	construct (InputIterator begin, InputIterator end, unsigned int maxEntries)
	initializes search More...

Public Member Functions inherited from permlib::partition::RBase< BSGSIN, TRANSRET >
	RBase (const BSGSIN &bsgs, unsigned int pruningLevelDCM, bool stopAfterFirstElement=false)
	constructor More...

void	search (BSGS< PERM, TRANSRET > &groupK)
	perform search and store result in groupK

virtual BaseSearch< BSGSIN, TRANSRET >::PERM::ptr	searchCosetRepresentative (BSGS< PERM, TRANSRET > &groupK, BSGS< PERM, TRANSRET > &groupL)
	searches for a coset representative if one exists More...

Public Member Functions inherited from permlib::BaseSearch< BSGSIN, TRANSRET >
	BaseSearch (const BSGSIN &bsgs, unsigned int pruningLevelDCM, bool stopAfterFirstElement)
	constructor More...

virtual	~BaseSearch ()
	destructor

bool	minOrbit (unsigned long alpha, BSGS< PERM, TRANSRET > &groupK, unsigned int i, unsigned long beta_i) const
	finds minimal elements in an orbit More...

virtual PERM::ptr	searchCosetRepresentative ()
	searches for a coset representative if one exists

Protected Member Functions
virtual unsigned int	processNewFixPoints (const Partition &pi, unsigned int backtrackCount)
	callback when a new fix point appears during R-base construction

Protected Member Functions inherited from permlib::partition::RBase< BSGSIN, TRANSRET >
void	construct (SubgroupPredicate< PERM > pred, RefinementFamily< PERM > predRefinement)
	constructs an R-base for given predicate and refinement family More...

virtual const std::vector < dom_int > &	subgroupBase () const
	base of the sought subgroup

Protected Member Functions inherited from permlib::BaseSearch< BSGSIN, TRANSRET >
bool	pruneDCM (const PERM &t, unsigned int backtrackLevel, BSGS< PERM, TRANSRET > &groupK, BSGS< PERM, TRANSRET > &groupL)
	try to prune with advanced double coset minimality

bool	checkLeaf (unsigned int level)
	true iff level is a leaf level

unsigned int	processLeaf (const PERM &t, unsigned int level, unsigned int backtrackLevel, unsigned int completed, BSGS< PERM, TRANSRET > &groupK, BSGS< PERM, TRANSRET > &groupL)
	processes a leaf and adds corresponding element to the generator set of K

void	setupEmptySubgroup (BSGS< PERM, TRANSRET > &group) const
	sets up a BSGS structure for an empty group with base subgroupBase()

Additional Inherited Members
Public Attributes inherited from permlib::BaseSearch< BSGSIN, TRANSRET >
unsigned long	m_statNodesVisited
	nodes visited during backtrack search

unsigned long	m_statNodesPrunedCosetMinimality
	number of nodes where (simple) double coset minimality pruning was in effect

unsigned long	m_statNodesPrunedCosetMinimality2
	number of nodes where advanced double coset minimality pruning with base change was in effect

unsigned long	m_statNodesPrunedChildRestriction
	number of nodes where a child constraint pruning was in effect

Protected Attributes inherited from permlib::partition::RBase< BSGSIN, TRANSRET >
Partition	m_partition
	partition to base the backtrack tree on

Partition	m_partition2

Detailed Description

subgroup search for a stabilizer of an integer vector based on partition backtracking

Constructor & Destructor Documentation

template<class BSGSIN , class TRANSRET >

permlib::partition::VectorStabilizerSearch< BSGSIN, TRANSRET >::VectorStabilizerSearch	(	const BSGSIN &	bsgs,
		unsigned int	pruningLevelDCM
	)

constructor

Parameters

bsgs	BSGS of group
pruningLevelDCM	level up to which expensive double coset minimality pruning is performed; zero to disable

template<class BSGSIN , class TRANSRET >

template<class InputIterator >

void permlib::partition::VectorStabilizerSearch< BSGSIN, TRANSRET >::construct	(	InputIterator	begin,
		InputIterator	end,
		unsigned int	maxEntries
	)

initializes search

assume that integer vector has entries 0, 1, ..., maxEntries-1

Parameters

begin	iterator(unsigned long) begin of the integer vector to be stabilized
end	iterator(unsigned long) end of the integer vector to be stabilized
maxEntries	value of maximal entry of integer vector plus 1

The documentation for this class was generated from the following file: