"""Common table header names, for convenience."""

TIMEOUT = 'Timeout'
DATASET = 'Dataset'
PREPROCESSING = 'Preprocessing'
SIZE = 'Size'
TIME = 'Time'
CERTIFICATE = 'Certificate'
SOLVER = 'Solver'
THREADS = 'Threads'
MEMORY = 'Memory'
FORMULATION = 'Formulation'
VERTICES = 'Vertices'
VERTICES_REMOVED = 'vertices_removed'
EDGES = 'Edges'
EDGES_REMOVED = 'edges_removed'
OPT = 'Opt'
HTIME = 'HTime'
RESULTS_FILE = 'Results File'
VALID = 'Is Valid Certificate'
OCT = 'oct'
BIPARTITE = 'bipartite'

# Formatted names
BF_DATASET = '\\textbf{Dataset}'
LT_OPT = '$OPT$'
LT_PREPROCESSED_OPT = "$OPT'$"
LT_NUM_EDGES = '$|E|$'
LT_PREPROCESSED_EDGES = "$|E'|$"
LT_NUM_VERTICES = '$|V|$'
LT_VP = "$|V' \cup V_b|$"

LT_VERTICES_REMOVED = '$|V_r|$'
LT_EDGES_REMOVED = '$|E_r|$'
LT_VERTICES_OCT = '$|V_o|$'
LT_VERTICES_BIPARTITE = '$|V_b|$'

LT_VERTICES_REMOVED_NORM = '$|\widehat{V_r}|$'
LT_EDGES_REMOVED_NORM = '$|\widehat{E_r}|$'
LT_VERTICES_OCT_NORM = '$|\widehat{V_o}|$'
LT_VERTICES_BIPARTITE_NORM = '$|\widehat{V_b}|$'

DENSITY = '$|E|/|V|$'
PREPROCESSED_DENSITY = "$|E|/|V' \cup V_b|$"

DATASET_HEADERS = ['aa', 'j', 'gka', 'b-50', 'b-100']

"""Common table header names, for convenience."""

TIMEOUT = 'Timeout'
DATASET = 'Dataset'
PREPROCESSING = 'Preprocessing'
SIZE = 'Size'
TIME = 'Time'
CERTIFICATE = 'Certificate'
SOLVER = 'Solver'
THREADS = 'Threads'
MEMORY = 'Memory'
FORMULATION = 'Formulation'
VERTICES = 'Vertices'
VERTICES_REMOVED = 'vertices_removed'
EDGES = 'Edges'
EDGES_REMOVED = 'edges_removed'
OPT = 'Opt'
HTIME = 'HTime'
RESULTS_FILE = 'Results File'
VALID = 'Is Valid Certificate'
OCT = 'oct'
BIPARTITE = 'bipartite'

# Formatted names
BF_DATASET = '\\textbf{Dataset}'
LT_OPT = '$OPT$'
LT_PREPROCESSED_OPT = "$OPT'$"
LT_NUM_EDGES = '$|E|$'
LT_PREPROCESSED_EDGES = "$|E'|$"
LT_NUM_VERTICES = '$|V|$'
LT_VP = "$|V' \cup V_b|$"

LT_VERTICES_REMOVED = '$|V_r|$'
LT_EDGES_REMOVED = '$|E_r|$'
LT_VERTICES_OCT = '$|V_o|$'
LT_VERTICES_BIPARTITE = '$|V_b|$'

LT_VERTICES_REMOVED_NORM = '$|\widehat{V_r}|$'
LT_EDGES_REMOVED_NORM = '$|\widehat{E_r}|$'
LT_VERTICES_OCT_NORM = '$|\widehat{V_o}|$'
LT_VERTICES_BIPARTITE_NORM = '$|\widehat{V_b}|$'

DENSITY = '$|E|/|V|$'
PREPROCESSED_DENSITY = "$|E|/|V' \cup V_b|$"

DATASET_HEADERS = ['aa', 'j', 'gka', 'b-50', 'b-100']

Common table header names, for convenience. # Formatted names