structure definition def or abbrev

`ConstraintInstance`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

  10structure ConstraintInstance where
  11  vertices    : List Nat
  12  constraints : List (Nat × Nat)
  13  k           : Nat
  14
  15/-- Forgetful map to a Vertex Cover instance. -/

used by (6)

From the project-wide theorem graph. These declarations reference this one in their body.

Recognizes in IndisputableMonolith.Complexity.RSVC decl_use
reduce_correct in IndisputableMonolith.Complexity.RSVC decl_use
reduceRS2VC in IndisputableMonolith.Complexity.RSVC decl_use
rs_preserving_RS2VC in IndisputableMonolith.Complexity.RSVC decl_use
rs_pres_prop in IndisputableMonolith.Complexity.RSVC decl_use
toVC in IndisputableMonolith.Complexity.RSVC decl_use

depends on (1)

Lean names referenced from this declaration's body.

map in IndisputableMonolith.Measurement.RSNative.Core decl_use