matroid.h

Go to the documentation of this file.

#ifndef CMR_MATROID_H
#define CMR_MATROID_H
 
#include <cmr/env.h>
#include <cmr/matrix.h>
#include <cmr/graph.h>
 
#include <stdio.h>
 
#ifdef __cplusplus
extern "C" {
#endif
 
CMR_EXPORT
CMR_ERROR CMRchrmatBinaryPivot(
  CMR* cmr,             
  CMR_CHRMAT* matrix,   
  size_t pivotRow,      
  size_t pivotColumn,   
  CMR_CHRMAT** presult  
);
 
CMR_EXPORT
CMR_ERROR CMRchrmatTernaryPivot(
  CMR* cmr,             
  CMR_CHRMAT* matrix,   
  size_t pivotRow,      
  size_t pivotColumn,   
  CMR_CHRMAT** presult  
);
 
CMR_EXPORT
CMR_ERROR CMRchrmatBinaryPivots(
  CMR* cmr,               
  CMR_CHRMAT* matrix,     
  size_t numPivots,       
  size_t* pivotRows,      
  size_t* pivotColumns,   
  CMR_CHRMAT** presult    
);
 
CMR_EXPORT
CMR_ERROR CMRchrmatTernaryPivots(
  CMR* cmr,               
  CMR_CHRMAT* matrix,     
  size_t numPivots,       
  size_t* pivotRows,      
  size_t* pivotColumns,   
  CMR_CHRMAT** presult    
);
 
typedef struct
{
  size_t numPivots;               
  size_t* pivotRows;              
  size_t* pivotColumns;           
  CMR_SUBMAT* remainingSubmatrix; 
} CMR_MINOR;
 
CMR_EXPORT
CMR_ERROR CMRminorCreate(
  CMR* cmr,             
  CMR_MINOR** pminor,   
  size_t numPivots,     
  CMR_SUBMAT* submatrix 
);
 
CMR_EXPORT
CMR_ERROR CMRminorFree(
  CMR* cmr,           
  CMR_MINOR** pminor  
);
 
CMR_EXPORT
CMR_ERROR CMRminorPrint(
  CMR* cmr,           
  CMR_MINOR* minor,   
  size_t numRows,     
  size_t numColumns,  
  FILE* stream        
);
 
CMR_EXPORT
CMR_ERROR CMRminorWriteToFile(
  CMR* cmr,             
  CMR_MINOR* minor,     
  size_t numRows,       
  size_t numColumns,    
  const char* fileName  
);
 
 
struct _CMR_MATROID_DEC;
 
typedef struct _CMR_MATROID_DEC CMR_MATROID_DEC;
 
typedef enum
{
  CMR_MATROID_DEC_TYPE_IRREGULAR = -1,
  CMR_MATROID_DEC_TYPE_UNKNOWN = 0,
  CMR_MATROID_DEC_TYPE_ONE_SUM = 1,
  CMR_MATROID_DEC_TYPE_TWO_SUM = 2,
  CMR_MATROID_DEC_TYPE_THREE_SUM = 3,
  CMR_MATROID_DEC_TYPE_SERIES_PARALLEL = 4,
  CMR_MATROID_DEC_TYPE_PIVOTS = 5,
  CMR_MATROID_DEC_TYPE_SUBMATRIX = 6,
  CMR_MATROID_DEC_TYPE_GRAPH = 7,
  CMR_MATROID_DEC_TYPE_COGRAPH = 8,
  CMR_MATROID_DEC_TYPE_PLANAR = 9,
  CMR_MATROID_DEC_TYPE_R10 = -2,
  CMR_MATROID_DEC_TYPE_FANO = -3,
  CMR_MATROID_DEC_TYPE_FANO_DUAL = -4,
  CMR_MATROID_DEC_TYPE_K5 = -5,
  CMR_MATROID_DEC_TYPE_K5_DUAL = -6,
  CMR_MATROID_DEC_TYPE_K33 = -7,
  CMR_MATROID_DEC_TYPE_K33_DUAL = -8,
  CMR_MATROID_DEC_TYPE_DETERMINANT = -9,
} CMR_MATROID_DEC_TYPE;
 
typedef enum
{
  CMR_MATROID_DEC_THREESUM_FLAG_NO_PIVOTS = 0,
  CMR_MATROID_DEC_THREESUM_FLAG_DISTRIBUTED_RANKS = 1,
  CMR_MATROID_DEC_THREESUM_FLAG_CONCENTRATED_RANK = 2,
  CMR_MATROID_DEC_THREESUM_FLAG_FIRST_WIDE = 4,
  CMR_MATROID_DEC_THREESUM_FLAG_FIRST_TALL = 8,
  CMR_MATROID_DEC_THREESUM_FLAG_FIRST_MIXED = 64,
  CMR_MATROID_DEC_THREESUM_FLAG_FIRST_ALLREPR = 128,
  CMR_MATROID_DEC_THREESUM_FLAG_SECOND_WIDE = 16,
  CMR_MATROID_DEC_THREESUM_FLAG_SECOND_TALL = 32,
  CMR_MATROID_DEC_THREESUM_FLAG_SECOND_MIXED = 256,
  CMR_MATROID_DEC_THREESUM_FLAG_SECOND_ALLREPR = 512,
  CMR_MATROID_DEC_THREESUM_FLAG_SEYMOUR = CMR_MATROID_DEC_THREESUM_FLAG_DISTRIBUTED_RANKS
    | CMR_MATROID_DEC_THREESUM_FLAG_FIRST_WIDE | CMR_MATROID_DEC_THREESUM_FLAG_SECOND_WIDE,
  CMR_MATROID_DEC_THREESUM_FLAG_TRUEMPER = CMR_MATROID_DEC_THREESUM_FLAG_CONCENTRATED_RANK
    | CMR_MATROID_DEC_THREESUM_FLAG_FIRST_MIXED | CMR_MATROID_DEC_THREESUM_FLAG_SECOND_MIXED,
} CMR_MATROID_DEC_THREESUM_FLAG;
 
CMR_EXPORT
bool CMRmatroiddecIsTernary(
  CMR_MATROID_DEC* dec  
);
 
CMR_EXPORT
bool CMRmatroiddecThreeSumDistributedRanks(
  CMR_MATROID_DEC* dec  
);
 
CMR_EXPORT
bool CMRmatroiddecThreeSumConcentratedRank(
  CMR_MATROID_DEC* dec  
);
 
CMR_EXPORT
bool CMRmatroiddecHasTranspose(
  CMR_MATROID_DEC* dec  
);
 
CMR_EXPORT
CMR_CHRMAT* CMRmatroiddecGetMatrix(
  CMR_MATROID_DEC* dec  
);
 
CMR_EXPORT
CMR_CHRMAT* CMRmatroiddecGetTranspose(
  CMR_MATROID_DEC* dec  
);
 
CMR_EXPORT
size_t CMRmatroiddecNumChildren(
  CMR_MATROID_DEC* dec  
);
 
CMR_EXPORT
CMR_MATROID_DEC* CMRmatroiddecChild(
  CMR_MATROID_DEC* dec,   
  size_t childIndex       
);
 
CMR_EXPORT
CMR_MATROID_DEC_TYPE CMRmatroiddecType(
  CMR_MATROID_DEC* dec    
);
 
CMR_EXPORT
int8_t CMRmatroiddecGraphicness(
  CMR_MATROID_DEC* dec  
);
 
CMR_EXPORT
int8_t CMRmatroiddecCographicness(
  CMR_MATROID_DEC* dec  
);
 
CMR_EXPORT
int8_t CMRmatroiddecRegularity(
  CMR_MATROID_DEC* dec  
);
 
CMR_EXPORT
size_t CMRmatroiddecNumRows(
  CMR_MATROID_DEC* dec  
);
 
CMR_EXPORT
size_t CMRmatroiddecNumColumns(
  CMR_MATROID_DEC* dec  
);
 
CMR_EXPORT
CMR_ELEMENT* CMRmatroiddecChildRowsToParent(
  CMR_MATROID_DEC* dec, 
  size_t childIndex     
);
 
CMR_EXPORT
CMR_ELEMENT* CMRmatroiddecChildColumnsToParent(
  CMR_MATROID_DEC* dec, 
  size_t childIndex     
);
 
CMR_EXPORT
CMR_GRAPH* CMRmatroiddecGraph(
  CMR_MATROID_DEC* dec  
);
 
CMR_EXPORT
CMR_GRAPH_EDGE* CMRmatroiddecGraphForest(
  CMR_MATROID_DEC* dec  
);
 
CMR_EXPORT
size_t CMRmatroiddecGraphSizeForest(
  CMR_MATROID_DEC* dec  
);
 
CMR_EXPORT
CMR_GRAPH_EDGE* CMRmatroiddecGraphCoforest(
  CMR_MATROID_DEC* dec  
);
 
CMR_EXPORT
size_t CMRmatroiddecGraphSizeCoforest(
  CMR_MATROID_DEC* dec  
);
 
CMR_EXPORT
bool* CMRmatroiddecGraphArcsReversed(
  CMR_MATROID_DEC* dec  
);
 
CMR_EXPORT
CMR_GRAPH* CMRmatroiddecCograph(
  CMR_MATROID_DEC* dec  
);
 
CMR_EXPORT
size_t CMRmatroiddecCographSizeForest(
  CMR_MATROID_DEC* dec  
);
 
CMR_EXPORT
CMR_GRAPH_EDGE* CMRmatroiddecCographForest(
  CMR_MATROID_DEC* dec  
);
 
CMR_EXPORT
size_t CMRmatroiddecCographSizeCoforest(
  CMR_MATROID_DEC* dec  
);
 
CMR_EXPORT
CMR_GRAPH_EDGE* CMRmatroiddecCographCoforest(
  CMR_MATROID_DEC* dec  
);
 
CMR_EXPORT
bool* CMRmatroiddecCographArcsReversed(
  CMR_MATROID_DEC* dec  
);
 
CMR_EXPORT
size_t CMRmatroiddecNumPivots(
  CMR_MATROID_DEC* dec  
);
 
CMR_EXPORT
size_t* CMRmatroiddecPivotRows(
  CMR_MATROID_DEC* dec  
);
 
CMR_EXPORT
size_t* CMRmatroiddecPivotColumns(
  CMR_MATROID_DEC* dec  
);
 
CMR_EXPORT
CMR_ERROR CMRmatroiddecPrint(
  CMR* cmr,                 
  CMR_MATROID_DEC* dec,     
  FILE* stream,             
  bool printChildren,       
  bool printParentElements, 
  bool printMatrices,       
  bool printGraphs,         
  bool printReductions,     
  bool printPivots          
);
 
CMR_EXPORT
CMR_ERROR CMRmatroiddecCloneUnknown(
  CMR* cmr,                 
  CMR_MATROID_DEC* dec,     
  CMR_MATROID_DEC** pclone  
);
 
CMR_EXPORT
CMR_ERROR CMRmatroiddecCapture(
  CMR* cmr,             
  CMR_MATROID_DEC* dec  
);
 
CMR_EXPORT
CMR_ERROR CMRmatroiddecRelease(
  CMR* cmr,               
  CMR_MATROID_DEC** pdec  
);
 
CMR_ERROR CMRmatroiddecCreateMatrixRoot(
  CMR* cmr,                 
  CMR_MATROID_DEC** pdec,   
  bool isTernary,           
  CMR_CHRMAT* matrix        
);
 
#ifdef __cplusplus
}
#endif
 
#endif /* CMR_MATROID_H */