SymmetryProto

Detailed Description

Experimental.

For now, this is meant to be used by the solver and not filled by clients.

Hold symmetry information about the set of feasible solutions. If we permute the variable values of any feasible solution using one of the permutation described here, we should always get another feasible solution.

We usually also enforce that the objective of the new solution is the same.

The group of permutations encoded here is usually computed from the encoding of the model, so it is not meant to be a complete representation of the feasible solution symmetries, just a valid subgroup.

Definition at line 7743 of file CpModel.pb.cs.

Public Member Functions
	SymmetryProto ()
	SymmetryProto (SymmetryProto other)
SymmetryProto	Clone ()
override bool	Equals (object other)
bool	Equals (SymmetryProto other)
override int	GetHashCode ()
override string	ToString ()
void	WriteTo (pb::CodedOutputStream output)
int	CalculateSize ()
void	MergeFrom (SymmetryProto other)
void	MergeFrom (pb::CodedInputStream input)

Static Public Attributes
const int	PermutationsFieldNumber = 1
	Field number for the "permutations" field. More...
const int	OrbitopesFieldNumber = 2
	Field number for the "orbitopes" field. More...

Properties
static pb::MessageParser< SymmetryProto >	Parser [get]
static pbr::MessageDescriptor	Descriptor [get]
pbc::RepeatedField< global::Google.OrTools.Sat.SparsePermutationProto >	Permutations [get]
	A list of variable indices permutations that leave the feasible space of solution invariant. More...
pbc::RepeatedField< global::Google.OrTools.Sat.DenseMatrixProto >	Orbitopes [get]
	An orbitope is a special symmetry structure of the solution space. More...

Constructor & Destructor Documentation

SymmetryProto() [1/2]

SymmetryProto ( )

inline

Definition at line 7764 of file CpModel.pb.cs.

SymmetryProto() [2/2]

SymmetryProto ( SymmetryProto  other )

inline

Definition at line 7771 of file CpModel.pb.cs.

Member Function Documentation

CalculateSize()

int CalculateSize ( )

inline

Definition at line 7877 of file CpModel.pb.cs.

Clone()

SymmetryProto Clone ( )

inline

Definition at line 7778 of file CpModel.pb.cs.

Equals() [1/2]

override bool Equals ( object  other )

inline

Definition at line 7819 of file CpModel.pb.cs.

Equals() [2/2]

bool Equals ( SymmetryProto  other )

inline

Definition at line 7824 of file CpModel.pb.cs.

GetHashCode()

override int GetHashCode ( )

inline

Definition at line 7837 of file CpModel.pb.cs.

MergeFrom() [1/2]

void MergeFrom ( pb::CodedInputStream  input )

inline

Definition at line 7898 of file CpModel.pb.cs.

MergeFrom() [2/2]

void MergeFrom ( SymmetryProto  other )

inline

Definition at line 7888 of file CpModel.pb.cs.

ToString()

override string ToString ( )

inline

Definition at line 7848 of file CpModel.pb.cs.

WriteTo()

void WriteTo ( pb::CodedOutputStream  output )

inline

Definition at line 7853 of file CpModel.pb.cs.

Member Data Documentation

OrbitopesFieldNumber

const int OrbitopesFieldNumber = 2

static

Field number for the "orbitopes" field.

Definition at line 7798 of file CpModel.pb.cs.

PermutationsFieldNumber

const int PermutationsFieldNumber = 1

static

Field number for the "permutations" field.

Definition at line 7783 of file CpModel.pb.cs.

Property Documentation

Descriptor

pbr.MessageDescriptor Descriptor

staticget

Definition at line 7754 of file CpModel.pb.cs.

Orbitopes

pbc.RepeatedField<global.Google.OrTools.Sat.DenseMatrixProto> Orbitopes

get

An orbitope is a special symmetry structure of the solution space.

If the variable indices are arranged in a matrix (with no duplicates), then any permutation of the columns will be a valid permutation of the feasible space.

This arise quite often. The typical example is a graph coloring problem where for each node i, you have j booleans to indicate its color. If the variables color_of_i_is_j are arranged in a matrix[i][j], then any columns permutations leave the problem invariant.

Definition at line 7814 of file CpModel.pb.cs.

Parser

pb.MessageParser<SymmetryProto> Parser

staticget

Definition at line 7751 of file CpModel.pb.cs.

Permutations

pbc.RepeatedField<global.Google.OrTools.Sat.SparsePermutationProto> Permutations

get

A list of variable indices permutations that leave the feasible space of solution invariant.

Usually, we only encode a set of generators of the group.

Definition at line 7793 of file CpModel.pb.cs.

---

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

• CpModel.pb.cs