Struct MappingResult 

pub struct MappingResult<T = KsgTapeEntry> {
    pub positions: Vec<(i32, i32)>,
    pub node_weights: Vec<i32>,
    pub grid_dimensions: (usize, usize),
    pub kind: GridKind,
    pub lines: Vec<CopyLine>,
    pub padding: usize,
    pub spacing: usize,
    pub mis_overhead: i32,
    pub tape: Vec<T>,
    pub doubled_cells: HashSet<(usize, usize)>,
}

Result of mapping a graph to a grid graph.

Fields

positions: Vec<(i32, i32)>

Integer grid positions (row, col) for each node.

node_weights: Vec<i32>

Weight of each node.

grid_dimensions: (usize, usize)

Grid dimensions (rows, cols).

kind: GridKind

The kind of grid lattice.

lines: Vec<CopyLine>

Copy lines used in the mapping.

padding: usize

Padding used.

spacing: usize

Spacing used.

mis_overhead: i32

MIS overhead from the mapping.

tape: Vec<T>

Tape entries recording gadget applications (for unapply during solution extraction).

doubled_cells: HashSet<(usize, usize)>

Doubled cells (where two copy lines overlap) for map_config_back.

Implementations

impl<T> MappingResult<T>

pub fn num_original_vertices(&self) -> usize

Get the number of vertices in the original graph.

pub fn edges(&self) -> Vec<(usize, usize)>

Compute edges based on grid kind.

pub fn num_edges(&self) -> usize

Compute the number of edges based on grid kind.

pub fn print_config(&self, config: &[Vec<usize>])

Print a configuration on the grid, highlighting selected nodes.

Characters:

• . = empty cell (no grid node at this position)
• * = selected node (config != 0)
• o = unselected node (config == 0)

pub fn format_config(&self, config: &[Vec<usize>]) -> String

Format a 2D configuration as a string.

pub fn print_config_flat(&self, config: &[usize])

Print a flat configuration vector on the grid.

pub fn format_config_flat(&self, config: &[usize]) -> String

Format a flat configuration vector as a string.

pub fn to_kings_subgraph(&self) -> KingsSubgraph

Create a KingsSubgraph from this mapping result, extracting positions and discarding weights.

pub fn to_triangular_subgraph(&self) -> TriangularSubgraph

Create a TriangularSubgraph from this mapping result, extracting positions and discarding weights.

impl MappingResult<KsgTapeEntry>

pub fn map_config_back(&self, grid_config: &[usize]) -> Vec<usize>

Map a configuration back from grid to original graph.

This follows the algorithm:

1. Convert flat grid config to 2D matrix
2. Unapply gadgets in reverse order (modifying config matrix)
3. Extract vertex configs from copyline locations

Arguments

• grid_config - Configuration on the grid graph (0 = not selected, 1 = selected)

Returns

A vector where result[v] is 1 if vertex v is selected, 0 otherwise.

pub fn map_config_back_via_centers(&self, grid_config: &[usize]) -> Vec<usize>

Map a configuration back from grid to original graph using center locations.

impl MappingResult<WeightedKsgTapeEntry>

pub fn map_config_back(&self, grid_config: &[usize]) -> Vec<usize>

Map a configuration back from grid to original graph (weighted version).

Trait Implementations

impl<T: Clone> Clone for MappingResult<T>

fn clone(&self) -> MappingResult<T>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug> Debug for MappingResult<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de, T> Deserialize<'de> for MappingResult<T>

where T: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<T> Display for MappingResult<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T> Serialize for MappingResult<T>

where T: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.