0/1 knapsack solver — exact work-bounded capacity planning and portfolio selecti
0/1 knapsack solver — exact work-bounded capacity planning and portfolio selection for maximum value, with deterministic ties and reproducible DP evidence.
Answeringour last check, 2026-09-24
1 of 1checks answered this week
628 msmedian answer time
$0.005listed price per call
$0.005price it asked us
Paid test badge: not yet. The checks above are free: we call the tool without paying and read the payment request it sends back. The Verified badge needs paid calls whose answers match the promised output, and nobody can buy a badge.
Endpoint
POST https://decision-solver.use.x402atlas.com/knapsack
| Category | Everything else |
|---|---|
| Provider host | decision-solver.use.x402atlas.com |
| Networks | eip155:137, eip155:42161, eip155:8453 |
| Payment schemes | exact |
| Self-reported calls, 30 days | 4 from 3 payers (the provider's figure, not ours) |
Our checks, last 30 days
| Day | Result | HTTP | Asked | Time |
|---|---|---|---|---|
| 2026-09-24 | valid payment request | 402 | $0.005 | 628 ms |
Example input (from the provider)
{
"body": {
"capacity": 7,
"items": [
{
"id": "camera",
"value": 4,
"weight": 3
},
{
"id": "battery",
"value": 5,
"weight": 4
},
{
"id": "tripod",
"value": 6,
"weight": 5
}
]
},
"bodyType": "json",
"method": "POST",
"type": "http"
}
Promised output schema (from the provider)
{
"$schema": "https://json-schema.org/draft/2020-12/schema",
"properties": {
"input": {
"additionalProperties": false,
"properties": {
"body": {
"additionalProperties": false,
"properties": {
"capacity": {
"description": "Maximum total selected weight; item count times (capacity+1) must not exceed 2,000,000 work units",
"maximum": 100000,
"minimum": 1,
"type": "integer"
},
"items": {
"description": "Unique-ID 0/1 items; each item is considered at most once",
"items": {
"additionalProperties": false,
"description": "One 0/1 item selectable at most once",
"properties": {
"id": {
"description": "Unique printable-ASCII item identifier",
"maxLength": 64,
"minLength": 1,
"pattern": "^[ -~]+$",
"type": "string"
},
"value": {
"description": "Non-negative objective value",
"maximum": 1000000000,
"minimum": 0,
"type": "integer"
},
"weight": {
"description": "Positive item weight; items heavier than capacity remain valid but cannot be selected",
"maximum": 1000000000,
"minimum": 1,
"type": "integer"
}
},
"required": [
"id",
"weight",
"value"
],
"type": "object"
},
"maxItems": 512,
"minItems": 1,
"type": "array"
}
},
"required": [
"capacity",
"items"
],
"type": "object"
},
"bodyType": {
"enum": [
"json",
"form-data",
"text"
],
"type": "string"
},
"method": {
"enum": [
"POST"
],
"type": "string"
},
"type": {
"const": "http",
"type": "string"
}
},
"required": [
"type",
"method",
"bodyType",
"body"
],
"type": "object"
},
"output": {
"properties": {
"example": {
"additionalProperties": false,
"properties": {
"_atlas": {
"additionalProperties": false,
"description": "Atlas documentation and related-route metadata added after deployment",
"properties": {
"docs": {
"description": "Documentation URL for this bridge",
"format": "uri",
"maxLength": 512,
"type": "string"
},
"related": {
"description": "Bounded related Atlas routes",
"items": {
"additionalProperties": false,
"description": "One related Atlas route",
"properties": {
"bridge": {
"description": "Related bridge name",
"maxLength": 64,
"type": "string"
},
"docs": {
"description": "Related bridge documentation URL",
"format": "uri",
"maxLength": 512,
"type": "string"
},
"summary": {
"description": "Short capability summary",
"maxLength": 256,
"type": "string"
},
"url": {
"description": "Related route URL",
"format": "uri",
"maxLength": 512,
"type": "string"
}
},
"required": [
"bridge",
"url",
"docs",
"summary"
],
"type": "object"
},
"maxItems": 3,
"type": "array"
}
},
"required": [
"docs"
],
"type": "object"
},
"algorithm_version": {
"const": "knapsack-01-dp-v1",
"description": "Pinned deterministic algorithm and transcript contract",
"type": "string"
},
"evidence": {
"additionalProperties": false,
"description": "Reproducible transcript evidence that detects final-DP drift but does not prove optimality",
"properties": {
"dp_capacity": {
"description": "Maximum capacity index in the final DP transcript",
"maximum": 100000,
"minimum": 0,
"type": "integer"
},
"dp_items": {
"description": "Number of item rows incorporated into the final dynamic program",
"maximum": 512,
"minimum": 0,
"type": "integer"
},
"optimality_proof": {
"const": false,
"description": "Always false: the digest alone is not an optimality proof",
"type": "boolean"
},
"transcript_encoding": {
"const": "dpValue[0..capacity] as signed int64 two's-complement, 8-byte big-e