[
  {
    "id": "bfss11-las-vegas",
    "categoryId": "mq-binary-classical-algebraic",
    "paperId": "bfss11",
    "date": "2011-12-29",
    "datePrecision": "day",
    "time": {
      "coefficient": 0.792,
      "expression": "O(2^{0.792n}) expected"
    },
    "space": {
      "coefficient": null,
      "expression": "Not stated in the checked source"
    },
    "tags": [],
    "review": {
      "status": "source-checked"
    },
    "certificate": {
      "status": "not-provided",
      "lean": null
    },
    "notes": "For m=n, the Las Vegas bound is conditional on the stated algebraic assumptions. The same paper also gives a deterministic 0.841 bound; it is not a separate improvement in the unrestricted randomized-time list.",
    "extra": {
      "success": "Las Vegas; expected time",
      "equations": "m=n",
      "field": "F_2"
    },
    "evidence": {
      "url": "https://arxiv.org/abs/1112.6263v2",
      "locator": "Abstract, arXiv v2; compare algebraic hypotheses in the paper",
      "sourceVersion": "Checked 2026-11-08; see linked source version/date"
    }
  }
]