{
  "id": "kannan83-enumeration",
  "categoryId": "svp-enumeration",
  "paperId": "kannan-1983",
  "date": "1983-12-31",
  "datePrecision": "year",
  "year": 1983,
  "time": {
    "coefficient": 1,
    "expression": "n^{n+o(n)}"
  },
  "space": {
    "coefficient": null,
    "expression": "poly(input size)"
  },
  "tags": [
    "enumeration",
    "polynomial space",
    "n log n scale"
  ],
  "review": {
    "status": "source-checked"
  },
  "certificate": {
    "status": "not-provided",
    "lean": null
  },
  "notes": "Historical n^{n+o(n)} bound attributed to Kannan 1983 in Hanrot–Stehlé 2007, introduction. The original STOC full text was not retrieved. Kannan’s 1987 full version, p. 416, was independently inspected and states O(n^n s) arithmetic operations for SVP (s is input length). The historical score is thus checked as an explicit attribution and corroborated in the author’s full version. The 2007 bibliography has incorrect STOC page numbers; this paper’s BibTeX follows ACM’s 193–206. ACM lists publication on 1 December 1983, while the STOC conference was earlier that year; year precision is used conservatively rather than asserting an exact priority day.",
  "extra": {
    "norm": "Euclidean ℓ₂",
    "success": "Deterministic exact algorithm",
    "model": "Classical; polynomial input-size factors suppressed"
  },
  "evidence": {
    "url": "https://perso.ens-lyon.fr/damien.stehle/downloads/crypto2007.pdf",
    "locator": "Introduction, PDF p. 2; reference [16]; corroboration: Kannan 1987, printed p. 416",
    "sourceVersion": "CRYPTO 2007 author preprint; checked historical attribution"
  }
}