hereditary_property.h File Reference

#include <cmr/env.h>
#include "env_internal.h"
#include <cmr/matrix.h>
#include <cmr/element.h>

Go to the source code of this file.

Typedefs
typedef CMR_ERROR(*	HereditaryPropertyTest) (CMR *cmr, CMR_CHRMAT *matrix, void *data, bool *phasProperty, CMR_SUBMAT **psubmatrix, double timeLimit)

Functions
CMR_ERROR	CMRtestHereditaryPropertyNaive (CMR *cmr, CMR_CHRMAT *matrix, HereditaryPropertyTest testFunction, void *testData, CMR_SUBMAT **psubmatrix, double timeLimit)
	Tests a given matrix for the hereditary property defined by a given testFunction. More...
CMR_ERROR	CMRtestHereditaryPropertyGreedy (CMR *cmr, CMR_CHRMAT *matrix, HereditaryPropertyTest testFunction, void *testData, CMR_SUBMAT **psubmatrix, double timeLimit)
	Greedily tests a given matrix for the hereditary property defined by a given testFunction. More...

Typedef Documentation

HereditaryPropertyTest

typedef CMR_ERROR(* HereditaryPropertyTest) (CMR *cmr, CMR_CHRMAT *matrix, void *data, bool *phasProperty, CMR_SUBMAT **psubmatrix, double timeLimit)

Function pointer for functions that test a hereditary matrix property.

Parameters

cmr	CMR environment.
matrix	Some matrix to be tested for the property.
data	Potential additional data for the test function.
phasProperty	Pointer for storing whether matrix has the property.
psubmatrix	Pointer for storing a proper submatrix of matrix without the property.
timeLimit	Time limit to impose.

Function Documentation

CMRtestHereditaryPropertyGreedy()

CMR_ERROR CMRtestHereditaryPropertyGreedy	(	CMR *	cmr,
		CMR_CHRMAT *	matrix,
		HereditaryPropertyTest	testFunction,
		void *	testData,
		CMR_SUBMAT **	psubmatrix,
		double	timeLimit
	)

Greedily tests a given matrix for the hereditary property defined by a given testFunction.

The algorithm finds the submatrix by successively zeroing out sets of rows or columns.

Parameters

cmr	CMR environment.
matrix	Some matrix not having the hereditary property.
testFunction	Test function.
testData	Data to be forwarded to the test function.
psubmatrix	Pointer for storing a minimal submatrix not having the property.
timeLimit	Time limit to impose.

CMRtestHereditaryPropertyNaive()

CMR_ERROR CMRtestHereditaryPropertyNaive	(	CMR *	cmr,
		CMR_CHRMAT *	matrix,
		HereditaryPropertyTest	testFunction,
		void *	testData,
		CMR_SUBMAT **	psubmatrix,
		double	timeLimit
	)

Tests a given matrix for the hereditary property defined by a given testFunction.

The algorithm finds the submatrix by successively single zeroing out rows or columns.

Parameters

cmr	CMR environment.
matrix	Some matrix not having the hereditary property.
testFunction	Test function.
testData	Data to be forwarded to the test function.
psubmatrix	Pointer for storing a minimal submatrix not having the property.
timeLimit	Time limit to impose.