{
  "id": "klein00-bdd-basis-radius",
  "categoryId": "bdd-basis-relative",
  "paperId": "klein-2000",
  "year": 2000,
  "date": "2000-12-31",
  "datePrecision": "year",
  "time": {
    "coefficient": null,
    "expression": "n^{k^2+O(1)}"
  },
  "space": {
    "coefficient": null,
    "expression": "Not stated in the cited introduction"
  },
  "tags": [
    "classical",
    "provable",
    "worst case",
    "basis relative",
    "randomized rounding"
  ],
  "review": {
    "status": "source-checked"
  },
  "certificate": {
    "status": "not-provided",
    "lean": null
  },
  "notes": "The source guarantees a closest vector with high probability under the stated basis-relative distance promise. Year-only date; the indexed author PDF supplies the original page 937 statement.",
  "extra": {
    "radius": "dist(t,L) <= k min_i ||b_tilde_i||",
    "basis": "Input basis B; its shortest Gram–Schmidt vector controls the runtime",
    "preprocessing": "Basis construction excluded",
    "success": "High probability",
    "model": "Randomized classical arithmetic algorithm; k remains a parameter"
  },
  "evidence": {
    "url": "https://cs.brown.edu/research/pubs/pdfs/2000/Klein-2000-FCL.pdf",
    "locator": "Introduction, p. 937",
    "sourceVersion": "SODA 2000 proceedings, pp. 937–941; primary PDF text indexed, live PDF URL unavailable at check"
  }
}