{"service":"HALOWERK datenvertragswerk","endpoint":"/v1/graph-pebbling-universal-threshold-ledger","method":"POST","content_type":"application/json","inputSchema":{"type":"object","additionalProperties":false,"required":["graph","claimed_thresholds"],"properties":{"graph":{"anyOf":[{"type":"object","additionalProperties":false,"required":["n","edges"],"properties":{"n":{"type":"integer","minimum":1,"maximum":4},"edges":{"type":"array","maxItems":6,"items":{"type":"array","maxItems":2,"items":{"type":"integer","minimum":0,"maximum":3},"minItems":2}}}},{"type":"null"}]},"claimed_thresholds":{"anyOf":[{"type":"object","additionalProperties":false,"required":["root_numbers","bad_distributions","graph_number","upper_bounds"],"properties":{"root_numbers":{"type":"array","maxItems":4,"items":{"type":"integer","minimum":1,"maximum":12}},"bad_distributions":{"type":"array","maxItems":4,"items":{"type":"array","maxItems":4,"items":{"type":"integer","minimum":0,"maximum":11}}},"graph_number":{"type":"integer","minimum":1,"maximum":12},"upper_bounds":{"type":"array","maxItems":4,"items":{"type":"integer","minimum":1,"maximum":12}}}},{"type":"null"}]}}},"requestExample":{"graph":{"n":4,"edges":[[0,1],[1,2],[2,3]]},"claimed_thresholds":{"root_numbers":[8,5,5,8],"bad_distributions":[[0,0,0,7],[1,0,0,3],[3,0,0,1],[7,0,0,0]],"graph_number":8,"upper_bounds":[12,6,6,12]}},"operations":[{"method":"POST","inputSchema":{"type":"object","additionalProperties":false,"required":["graph","claimed_thresholds"],"properties":{"graph":{"anyOf":[{"type":"object","additionalProperties":false,"required":["n","edges"],"properties":{"n":{"type":"integer","minimum":1,"maximum":4},"edges":{"type":"array","maxItems":6,"items":{"type":"array","maxItems":2,"items":{"type":"integer","minimum":0,"maximum":3},"minItems":2}}}},{"type":"null"}]},"claimed_thresholds":{"anyOf":[{"type":"object","additionalProperties":false,"required":["root_numbers","bad_distributions","graph_number","upper_bounds"],"properties":{"root_numbers":{"type":"array","maxItems":4,"items":{"type":"integer","minimum":1,"maximum":12}},"bad_distributions":{"type":"array","maxItems":4,"items":{"type":"array","maxItems":4,"items":{"type":"integer","minimum":0,"maximum":11}}},"graph_number":{"type":"integer","minimum":1,"maximum":12},"upper_bounds":{"type":"array","maxItems":4,"items":{"type":"integer","minimum":1,"maximum":12}}}},{"type":"null"}]}}},"requestExample":{"graph":{"n":4,"edges":[[0,1],[1,2],[2,3]]},"claimed_thresholds":{"root_numbers":[8,5,5,8],"bad_distributions":[[0,0,0,7],[1,0,0,3],[3,0,0,1],[7,0,0,0]],"graph_number":8,"upper_bounds":[12,6,6,12]}}}]}