permlib
0.2.8
Library for permutation computations
Main Page
Classes
Files
File List
All
Classes
Functions
Variables
Typedefs
Enumerations
Friends
include
permlib
predicate
matrix_automorphism_predicate.h
1
// ---------------------------------------------------------------------------
2
//
3
// This file is part of PermLib.
4
//
5
// Copyright (c) 2009-2011 Thomas Rehn <thomas@carmen76.de>
6
// All rights reserved.
7
//
8
// Redistribution and use in source and binary forms, with or without
9
// modification, are permitted provided that the following conditions
10
// are met:
11
// 1. Redistributions of source code must retain the above copyright
12
// notice, this list of conditions and the following disclaimer.
13
// 2. Redistributions in binary form must reproduce the above copyright
14
// notice, this list of conditions and the following disclaimer in the
15
// documentation and/or other materials provided with the distribution.
16
// 3. The name of the author may not be used to endorse or promote products
17
// derived from this software without specific prior written permission.
18
//
19
// THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
20
// IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
21
// OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
22
// IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
23
// INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
24
// NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
25
// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
26
// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
27
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
28
// THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
29
//
30
// ---------------------------------------------------------------------------
31
32
33
#ifndef MATRIXAUTOMORPHISMPREDICATE_H_
34
#define MATRIXAUTOMORPHISMPREDICATE_H_
35
36
#include <permlib/predicate/subgroup_predicate.h>
37
#include <permlib/search/partition/refinement_family.h>
38
39
#include <boost/foreach.hpp>
40
41
namespace
permlib {
42
44
template
<
class
PERM,
class
MATRIX>
45
class
MatrixAutomorphismPredicate
:
public
SubgroupPredicate
<PERM> {
46
public
:
48
MatrixAutomorphismPredicate
(
const
MATRIX& matrix);
49
50
virtual
bool
operator()
(
const
PERM &p)
const
;
51
virtual
bool
childRestriction
(
const
PERM &h,
unsigned
int
i,
unsigned
long
beta_i)
const
;
52
virtual
unsigned
int
limit
()
const
;
53
private
:
54
const
MATRIX& m_matrix;
55
};
56
57
//
58
// ---- IMPLEMENTATION
59
//
60
61
template
<
class
PERM,
class
MATRIX>
62
MatrixAutomorphismPredicate<PERM,MATRIX>::MatrixAutomorphismPredicate
(
const
MATRIX& matrix)
63
: m_matrix(matrix)
64
{ }
65
66
template
<
class
PERM,
class
MATRIX>
67
bool
MatrixAutomorphismPredicate<PERM,MATRIX>::operator()
(
const
PERM &p)
const
{
68
const
unsigned
long
n = m_matrix.dimension();
69
for
(
unsigned
long
i = 0; i < n; ++i) {
70
for
(
unsigned
long
j = i; j < n; ++j) {
71
if
(m_matrix.at(i, j) != m_matrix.at(p / i, p / j))
72
return
false
;
73
}
74
}
75
return
true
;
76
}
77
78
template
<
class
PERM,
class
MATRIX>
79
bool
MatrixAutomorphismPredicate<PERM,MATRIX>::childRestriction
(
const
PERM &h,
unsigned
int
i,
unsigned
long
beta_i)
const
{
80
// we can't easily restrict child nodes in general, so we don't restrict at all
81
return
true
;
82
}
83
84
template
<
class
PERM,
class
MATRIX>
85
unsigned
int
MatrixAutomorphismPredicate<PERM,MATRIX>::limit
()
const
{
86
// we can't easily limit the search depth, so return maximal depth
87
return
m_matrix.dimension();
88
}
89
90
}
91
92
#endif // -- MATRIXAUTOMORPHISMPREDICATE_H_
Generated on Fri Feb 8 2013 23:48:00 for permlib by
1.8.3