roveac.mapping_constructor

Mapping Constructors

This module provides the MappingConstructor class, which defines method for generating a mapping with keys in a decremented Ramsey graph.

MappingConstructor: Class for constructing a mapping from a given counterexample set.

Classes

Class for constructing a mapping with keys in a decremented Ramsey graph.

class roveac.mapping_constructor.MappingConstructor

Class for constructing a mapping with keys in a decremented Ramsey graph.

construct_dict(r_s_t_n: set, method: str, early_stopping: tuple[None, int]) -> dict: Generates a mapping with keys in R(s, t, n-1) based on the input graph.

classmethod construct_mapping(r_s_t_n: set, method: str = 'triangle', early_stopping: tuple[None, int] = None) → dict

Given R(s, t, n), generate a mapping with keys in R(s, t, n-1).

r_s_t_nset: The current set representing R(s, t, n).
methodstr: Denotes which method to use to construct the mapping.
early_stoppingtuple[None, int]: A parameter for optional early stopping, with an integer or None.