tu::separation Class Reference

#include <separation.hpp>

Public Types
typedef std::pair< std::size_t, std::size_t >	split_type
typedef std::pair< std::size_t, std::size_t >	witness_type

Public Member Functions
	separation ()
	separation (split_type split)
	separation (split_type split, witness_type witness1)
	separation (split_type split, witness_type witness1, witness_type witness2)
	separation (const separation &other)
separation &	operator= (const separation &other)
	~separation ()
separation	transposed ()
int	upper_right_rank () const
int	lower_left_rank () const
int	rank () const
const std::pair< size_t, size_t > &	split () const
bool	is_valid () const
const witness_type &	witness (size_t index=0) const
void	set_special_swap (char type, size_t index)
bool	has_special_swap () const
bool	has_special_row_swap () const
size_t	get_special_swap_index () const
template<typename MatroidType , typename MatrixType >
void	create_components (const MatroidType &matroid, const MatrixType &matrix, integer_matroid &upper_left_matroid, integer_matrix &upper_left_matrix, integer_matroid &lower_right_matroid, integer_matrix &lower_right_matrix) const

Detailed Description

Models different types of matroid separations.

Member Typedef Documentation

typedef std::pair<std::size_t, std::size_t> tu::separation::split_type

typedef std::pair<std::size_t, std::size_t> tu::separation::witness_type

Constructor & Destructor Documentation

tu::separation::separation

(

)

Constructs a separation which is none.

tu::separation::separation

(

split_type

split

)

Constructs a 1-separation.

Parameters

split

Size of the first component, which must be at upper-left

tu::separation::separation	(	split_type	split,
		witness_type	witness1
	)

Constructs a 2-separation.

Parameters

split	Size of the first component, which must be at upper-left
witness1	A witnessing one in the rank 1 part

tu::separation::separation	(	split_type	split,
		witness_type	witness1,
		witness_type	witness2
	)

Constructs a 3-separation.

Parameters

split	Size of the first component, which must be at upper-left
witness1	First witnessing one in the rank 2 part
witness2	Second witnessing one in the rank 2 part

tu::separation::separation

(

const separation &

other

)

Copy constructor

Parameters

other

Another separation

tu::separation::~separation

(

)

Destructor

Member Function Documentation

template<typename MatroidType , typename MatrixType >

void tu::separation::create_components ( const MatroidType &  matroid, const MatrixType &  matrix, integer_matroid &  upper_left_matroid, integer_matrix &  upper_left_matrix, integer_matroid &  lower_right_matroid, integer_matrix &  lower_right_matrix  ) const

inline

Creates both components as matroids and representation matrices.

Parameters

matroid	The original matroid
matrix	Representation matrix of the given original matroid
upper_left_matroid	New upper left component matroid
upper_left_matrix	New upper left component representation matrix
lower_right_matroid	New lower right component matroid
lower_right_matrix	New lower right component representation matrix

1-separation

2-separation with lower left rank 1

2-separation with upper right rank 1

3-separation

size_t tu::separation::get_special_swap_index ( ) const

inline

Returns

The row / column index of a special swap

bool tu::separation::has_special_row_swap ( ) const

inline

Returns

true if and only if this separation hsa a special row swap

bool tu::separation::has_special_swap ( ) const

inline

Returns

true if and only if this separation has a special swap

bool tu::separation::is_valid ( ) const

inline

Returns

true if and only if it is a real separation

int tu::separation::lower_left_rank ( ) const

inline

Returns

Rank in the lower left part

separation & tu::separation::operator=

(

const separation &

other

)

Assignment operator

Parameters

other

Another separation

Returns

This separation

int tu::separation::rank ( ) const

inline

Returns

Total rank in lower left and upper right parts

void tu::separation::set_special_swap ( char  type, size_t  index  )

inline

Sets a special swap needed for 2-separations.

Parameters

type	Type of the special swap. Can be 'r' and 'c'
index	Row or column index of the swap

const std::pair<size_t, size_t>& tu::separation::split ( ) const

inline

Returns

The split

separation tu::separation::transposed

(

)

Returns

A separation with the transposed details

int tu::separation::upper_right_rank ( ) const

inline

Returns

Rank in the upper right part

const witness_type& tu::separation::witness ( size_t  index = 0 ) const

inline

Returns a specific witness.

Parameters

index

Index of the witness

Returns

The position of the witnessing one entry

---

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

• /home/travis/build/discopt/cmr/src/cmr/separation.hpp
• /home/travis/build/discopt/cmr/src/cmr/separation.cpp