Zum Inhalt
HALOWERK

Technische Prüfungen & Formate

F NIGHT ECMA / rational absorbing markov chain hitting law

A stochastic-process test agent needs the exact distribution of which absorbing state is hit and how many expected steps are needed from every transient state in a supplied rational chain, not a state-bisimulation or one-step transition check.

POST https://detect.halowerk.com/v1/F-NIGHT-ECMA/rational-absorbing-markov-chain-hitting-law

Eingaben

Felder des veröffentlichten Eingabeschemas
FeldTypPflichtBeschreibung
artifactobjectJa
Vollständiges Eingabeschema anzeigen
{
  "type": "object",
  "additionalProperties": false,
  "required": [
    "artifact"
  ],
  "properties": {
    "artifact": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "absorbing"
      ],
      "properties": {
        "absorbing": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "matrix",
            "claim_probabilities",
            "claim_steps"
          ],
          "properties": {
            "matrix": {
              "type": "array",
              "items": {
                "type": "array",
                "items": {
                  "type": "string",
                  "pattern": "^-?(0|[1-9][0-9]{0,99})(/[1-9][0-9]{0,99})?$"
                },
                "minItems": 2,
                "maxItems": 6
              },
              "minItems": 2,
              "maxItems": 6
            },
            "claim_probabilities": {
              "type": "array",
              "items": {
                "type": "array",
                "items": {
                  "type": "string",
                  "pattern": "^-?(0|[1-9][0-9]{0,99})(/[1-9][0-9]{0,99})?$"
                },
                "minItems": 1,
                "maxItems": 6
              },
              "minItems": 2,
              "maxItems": 6
            },
            "claim_steps": {
              "type": "array",
              "items": {
                "type": "string",
                "pattern": "^-?(0|[1-9][0-9]{0,99})(/[1-9][0-9]{0,99})?$"
              },
              "minItems": 2,
              "maxItems": 6
            }
          }
        }
      }
    }
  }
}

Originalschema öffnen

Ergebnis & Dokumentation

Maschinenlesbare Dokumentation dieses Hubs

Quelle dieser Seite: der veröffentlichte HALOWERK-Katalog. Stand: 2026-11-01, 15:19 UTC.

Weitere Endpunkte dieses Hubs

Alle Endpunkte dieses Hubs →