Module mapping 

KSG (King’s SubGraph) mapping functions for graphs to grid graphs.

This module provides functions to map arbitrary graphs to King’s SubGraph (8-connected grid graphs). It supports both unweighted and weighted mapping modes.

Structs

MappingResult

Result of mapping a graph to a grid graph.

Enums

GridKind

The kind of grid lattice used in a mapping result.

Functions

embed_graph

Embed a graph into a mapping grid.

map_config_copyback

Extract original vertex configurations from copyline locations.

map_unweighted

Map a graph to a KSG grid graph using automatic path decomposition.

map_unweighted_with_method

Map a graph using a specific path decomposition method (unweighted).

map_unweighted_with_order

Map a graph with a specific vertex ordering (unweighted).

map_weighted

Map a graph to a KSG grid graph using optimal path decomposition (weighted mode).

map_weighted_with_method

Map a graph using a specific path decomposition method (weighted).

map_weighted_with_order

Map a graph with a specific vertex ordering (weighted).

trace_centers

Trace center locations through KSG square lattice gadget transformations.

unapply_gadgets

Unapply gadgets from tape in reverse order, converting mapped configs to source configs.

unapply_weighted_gadgets

Unapply weighted gadgets from tape in reverse order.