{
  "id": "blomer-naewe11v2-cvp-lp-exact",
  "categoryId": "cvp-lp-exact-arithmetic",
  "paperId": "blomer-naewe-2011",
  "year": 2011,
  "date": "2011-05-16",
  "time": {
    "coefficient": 2.5,
    "expression": "poly(p, log r) · n^{(5/2 + o(1))n} arithmetic operations"
  },
  "space": {
    "coefficient": null,
    "expression": "No polynomial-space guarantee asserted for this version"
  },
  "tags": [
    "ℓp norms",
    "exact",
    "arithmetic model"
  ],
  "review": {
    "status": "source-checked"
  },
  "certificate": {
    "status": "not-provided",
    "lean": null
  },
  "notes": "Version 2 states the 5/2 leading coefficient for the family of ℓp norms. Its arithmetic bound is retained with the version’s weaker space and intermediate-bit-size documentation.",
  "extra": {
    "norm": "Every fixed ℓp, 1 < p < ∞",
    "target": "Target in span(L); restrict to full-rank L ⊂ R^n",
    "preprocessing": "Included",
    "model": "Deterministic arithmetic operation count",
    "success": "Exact output",
    "input": "r bounds encoded basis/target coefficients; polynomial p-dependence suppressed"
  },
  "evidence": {
    "url": "https://arxiv.org/pdf/1104.3720v2",
    "locator": "Abstract; Theorems 3.2 and 3.3",
    "sourceVersion": "arXiv:1104.3720v2, 16 May 2011"
  }
}