mis.data.graphs
source module mis.data.graphs
Loading graphs as raw data.
Classes
-
DIMACSDataset — A dataset representing a DIMACS graph instance and its solutions. This is used to load DIMACS files and extract the graph and solutions.
Functions
-
load_dimacs — Load a DIMACS file and return a DIMACSDataset.
source dataclass DIMACSDataset(instance: MISInstance, solutions: list[list[int]])
A dataset representing a DIMACS graph instance and its solutions. This is used to load DIMACS files and extract the graph and solutions.
Attributes
-
solutions : list[list[int]] — If the dataset provided solutions, the list of solutions. Note that most instances do not provide a solution and those that do do not guarantee that they provide all solutions.
source load_dimacs(path: Path) → DIMACSDataset
Load a DIMACS file and return a DIMACSDataset.
Parameters
-
path : Path — Path to the DIMACS file.
Returns
-
DIMACSDataset — An instance of DIMACSDataset.
Raises
-
ValueError