roveac.decrementor
Decrementors
This module provides the Decrementor class, which defines methods to generate a subset of counterexamples of a size smaller than those given.
Classes
- Decrementor
Class for decrementing a set using different strategies.
Classes
Class for generating a decremented Ramsey graph by analyzing subgraphs and performing isomorphism checking. |
- class roveac.decrementor.Decrementor
Class for generating a decremented Ramsey graph by analyzing subgraphs and performing isomorphism checking.
Methods
- decrement(r_s_t_n: set, early_stopping=None, method: str) -> set
Generates R(s, t, n-1) by analyzing subgraphs and checking for isomorphisms.
- classmethod decrement(r_s_t_n: set, method: str = 'triangle', early_stopping=None) set
Generate R(s, t, n-1) by intelligently analyzing subgraphs and performing isomorphism checks.
Parameters
- r_s_t_nset
The current set representing R(s, t, n).
- methodstr
Denotes which method to use to decrement
- early_stoppingoptional
A parameter to allow early termination of the process, if applicable.
Returns
- set
A set representing the decremented graph R(s, t, n-1).