{
  "domain": "mathematics",
  "topics": [
    "analysis",
    "combinatorics"
  ],
  "type": "construction",
  "also": [
    "algorithm"
  ],
  "structure": "instances",
  "verify": [
    "certificate"
  ],
  "instances": [
    "Problem 1",
    "Problem 2",
    "Problem 3",
    "Problem 4"
  ],
  "metric": {
    "name": "bound",
    "better": "lower"
  }
}