Recognizing Binary and Ternary Matrices

The command

cmr-k-ary IN-MAT [OPTION...]

determines whether the matrix given in file IN-MAT is integer (resp. binary or ternary).

Options:

-i FORMAT Format of file IN-MAT; default: dense.
-b Test whether the matrix is binary, i.e., has entries in \( \{0,+1\} \).
-t Test whether the matrix is ternary, i.e., has entries in \( \{-1,0,+1\} \).
-I Test whether the matrix is integer.
-e EPSILON Allows rounding of numbers up to tolerance EPSILON; default: \( 10^{-9} \).

Advanced options:

--stats Print statistics about the computation to stderr.
--time-limit LIMIT Allow at most LIMIT seconds for the computation.

Formats for matrices: dense, sparse If IN-MAT is - then the matrix is read from stdin.

Finding Large Binary or Ternary Submatrices

The command

cmr-k-ary IN-MAT -R OUT-SUB [OPTION...]

finds a large binary (resp. ternary) submatrix of the matrix given in file IN-MAT.

Options:

-i FORMAT Format of file IN-MAT; default: dense.
-b Find a large binary submatrix, i.e., one with only entries in \( \{0,+1\} \).
-t Find a large ternary submatrix, i.e., one with only entries in \( \{-1,0,+1\} \).
-e EPSILON Allows rounding of numbers up to tolerance EPSILON; default: \( 10^{-9} \).

Advanced options:

--stats Print statistics about the computation to stderr.
--time-limit LIMIT Allow at most LIMIT seconds for the computation.

Formats for matrices: dense, sparse If IN-MAT is - then the matrix is read from stdin. If OUT-SUB is - then the submatrix is written to stdout.

Algorithm

The implemented algorithm successively removes a row or a column with the maximum number of forbidden entries.