CMR  1.3.0
Classes | Enumerations | Functions
regular.h File Reference

Recognition of regular matrices. More...

#include <cmr/env.h>
#include <cmr/matrix.h>
#include <cmr/matroid.h>
#include <cmr/graph.h>
#include <cmr/series_parallel.h>
#include <cmr/graphic.h>
#include <cmr/network.h>
#include <cmr/dec.h>

Go to the source code of this file.

Classes

struct  CMR_REGULAR_PARAMETERS
 
struct  CMR_REGULAR_STATISTICS
 Statistics for regular matroid recognition algorithm. More...
 

Enumerations

enum  CMR_DEC_CONSTRUCT { CMR_DEC_CONSTRUCT_NONE = 0, CMR_DEC_CONSTRUCT_LEAVES = 1, CMR_DEC_CONSTRUCT_ALL = 2 }
 

Functions

CMR_EXPORT CMR_ERROR CMRparamsRegularInit (CMR_REGULAR_PARAMETERS *params)
 Initializes the default parameters for regularity testing. More...
 
CMR_EXPORT CMR_ERROR CMRstatsRegularInit (CMR_REGULAR_STATISTICS *stats)
 Initializes all statistics for regularity test computations. More...
 
CMR_EXPORT CMR_ERROR CMRstatsRegularPrint (FILE *stream, CMR_REGULAR_STATISTICS *stats, const char *prefix)
 Prints statistics for regularity test computations. More...
 
CMR_EXPORT CMR_ERROR CMRtestBinaryRegular (CMR *cmr, CMR_CHRMAT *matrix, bool *pisRegular, CMR_DEC **pdec, CMR_MINOR **pminor, CMR_REGULAR_PARAMETERS *params, CMR_REGULAR_STATISTICS *stats)
 Tests binary linear matroid for regularity. More...
 

Detailed Description

Recognition of regular matrices.

Author
Matthias Walter and Klaus Truemper

Enumeration Type Documentation

Enumerator
CMR_DEC_CONSTRUCT_NONE 
CMR_DEC_CONSTRUCT_LEAVES 
CMR_DEC_CONSTRUCT_ALL 

Function Documentation

CMR_EXPORT CMR_ERROR CMRparamsRegularInit ( CMR_REGULAR_PARAMETERS params)

Initializes the default parameters for regularity testing.

These are selected for minimum running time.

Parameters
paramsPointer to parameters.
CMR_EXPORT CMR_ERROR CMRstatsRegularInit ( CMR_REGULAR_STATISTICS stats)

Initializes all statistics for regularity test computations.

Parameters
statsPointer to statistics.
CMR_EXPORT CMR_ERROR CMRstatsRegularPrint ( FILE *  stream,
CMR_REGULAR_STATISTICS stats,
const char *  prefix 
)

Prints statistics for regularity test computations.

Parameters
streamFile stream to print to.
statsPointer to statistics.
prefixPrefix string to prepend to each printed line (may be NULL).
CMR_EXPORT CMR_ERROR CMRtestBinaryRegular ( CMR cmr,
CMR_CHRMAT matrix,
bool *  pisRegular,
CMR_DEC **  pdec,
CMR_MINOR **  pminor,
CMR_REGULAR_PARAMETERS params,
CMR_REGULAR_STATISTICS stats 
)

Tests binary linear matroid for regularity.

If pdec is not NULL, *pdec will be a (partial) decomposition tree. If completeTree is true, then the decomposition tree is complete. Otherwise, it must only contain sufficient information in order to determine regularity.

If pminor is not NULL and matrix is not regular, then an \( F_7 \) or \( F_7^\star \) minor is searched. This causes additional computational effort!

Parameters
cmrCMR environment.
matrixInput matrix.
pisRegularPointer for storing whether matrix is regular.
pdecPointer for storing the decomposition tree (may be NULL).
pminorPointer for storing an \( F_7 \) or \( F_7^\star \) minor.
paramsParameters for the computation (may be NULL for defaults).
statsStatistics for the computation (may be NULL).