HALOWERKDatenvertragswerk
minimum poset realizer family
For an original precedence DAG on1..4fixedlabels0..n-1, take its strict transitive closure and construct ALL minimum-cardinality realizers: sets of distinct whole linear extensions whose intersection is exactly that partial order. Return canonical closure relations, every lexicographic linear extension, dimension, complete family of all optimal realizer sets and count. Each member set sorts its vertex orders lexicographically; the outer family sorts lexicographically. Reverse the orientation.
POST https://datenvertrag.halowerk.com/v1/minimum-poset-realizer-familyEingaben
| Feld | Typ | Pflicht | Beschreibung |
|---|---|---|---|
| poset | Siehe Schema | Ja | |
| claimed_families | Siehe Schema | Ja |
Vollständiges Eingabeschema anzeigen
{
"type": "object",
"additionalProperties": false,
"required": [
"poset",
"claimed_families"
],
"properties": {
"poset": {
"anyOf": [
{
"type": "object",
"additionalProperties": false,
"required": [
"n",
"relations"
],
"properties": {
"n": {
"type": "integer",
"minimum": 1,
"maximum": 4
},
"relations": {
"type": "array",
"maxItems": 12,
"items": {
"type": "array",
"maxItems": 2,
"items": {
"type": "integer",
"minimum": 0,
"maximum": 3
},
"minItems": 2
}
}
}
},
{
"type": "null"
}
]
},
"claimed_families": {
"anyOf": [
{
"type": "array",
"maxItems": 12,
"items": {
"type": "array",
"maxItems": 4,
"items": {
"type": "array",
"maxItems": 4,
"items": {
"type": "integer",
"minimum": 0,
"maximum": 3
}
}
}
},
{
"type": "null"
}
]
}
}
}Veröffentlichtes Eingabebeispiel
{
"poset": {
"n": 3,
"relations": []
},
"claimed_families": [
[
[
0,
1,
2
],
[
2,
1,
0
]
],
[
[
0,
2,
1
],
[
1,
2,
0
]
],
[
[
1,
0,
2
],
[
2,
0,
1
]
]
]
}Ergebnis & Dokumentation
Maschinenlesbare Dokumentation dieses Hubs
Quelle dieser Seite: der veröffentlichte HALOWERK-Katalog. Stand: 2026-11-07, 02:42 UTC.
Weitere Endpunkte dieses Hubs
- Datenvertragswerk0,003 USDC
adjacency cospectral graph family
POSThttps://datenvertrag.halowerk.com/v1/adjacency-cospectral-graph-familyGiven n1..5 and a monic degree-n integer polynomial det(xI-A), return EVERY labelled simple undirected graph on vertices0..n-1 having exactly that adjacency characteristic polynomial over integers. Coefficients are descending degree order,
- Datenvertragswerk0,003 USDC
adjacent swap permutation tour
POSThttps://datenvertrag.halowerk.com/v1/adjacent-swap-permutation-tourFor 0 to 5 labels starting at zero, construct the whole Steinhaus-Johnson-Trotter permutation tour from identity. Each transition swaps the largest mobile value with its adjacent smaller neighbor, then reverses directions of greater values.
- Datenvertragswerk0,003 USDC
aligned record cut audit
POSThttps://datenvertrag.halowerk.com/v1/aligned-record-cut-auditA stream-runtime fixture maintainer checks which record IDs belong to a supplied aligned checkpoint cut and which same-channel post-barrier records must stay buffered until all input barriers arrive. One aligned local checkpoint;record iden