roveac.extend
Searches
This module provides the Search class, which defines methods for searching within a given Ramsey graph based on specific parameters.
Classes
- Search
Class for performing searches on Ramsey graphs.
Classes
|
Class for performing one vertex extension from a given ramsey graph. |
- class roveac.extend.Extender
Class for performing one vertex extension from a given ramsey graph.
Methods
- search(method: str, r_s_t_n: set, s: int, t: int, extension_method: str, mapping_constructor_method: str, hash_method: str, check_method: str, generate_key_method: str, dict_early_stopping=None, search_early_stopping=None) -> list
Searches within R(s, t, n) based on given parameters and returns a list of results.
- classmethod extend(r_s_t_n: set, s: int, t: int, extension_method: str, mapping_constructor_method: str, hash_method: str, check_method: str, generate_key_method: str, dict_early_stopping=None, extend_early_stopping=None, parallel=False) list
Perform a search within the graph R(s, t, n) based on the provided parameters.
Parameters
- r_s_t_nset of nx.Graph
Set of candidate graphs for the R(s, t, n) configuration.
- sint
Size parameter for clique checks.
- tint
Size parameter for independent set checks.
- extension_methodstr
Denotes which extension method to use.
- mapping_constructor_methodstr
Denotes which MappingConstructor method to use.
- hash_methodstr
Denotes which IsomorphismHasher method to use.
- check_methodstr
Denotes which CounterChecker method to use.
- generate_key_methodstr
Denotes which KeyGenerator method to use.
- dict_early_stoppingint, optional
Stops dictionary construction after a specified number of iterations.
- search_early_stoppingint, optional
Stops the search after a specified number of iterations.
- parallel: bool, optional
Performs extension method in parallel. May not be implemented for all methods.
Returns
- list
A list of results from the search within the Ramsey graph.