Gültigkeit Wahrscheinlichkeitsverteilung

Eine diskrete Wahrscheinlichkeitsmassenfunktion ist nur dann eine gültige Verteilung, wenn jede Masse nichtnegativ ist und die gesamte Liste zu eins summiert. Studierende, Tutorinnen und Tutoren, Data Scientists und Spieldesigner brauchen ständig eine schnelle, deterministische Prüfung, bevor sie einen Vektor in Sampling-Code, Entropieformeln oder Klausurschlüssel speisen. Diese Gültigkeitsprüfung akzeptiert ein Array endlicher Zahlen, optional eine numerische Toleranz für Gleitkommaabweichungen, und liefert ein strukturiertes Urteil: ob die Liste gültig ist, die berechnete Summe, den absoluten Summenfehler, Indizes negativer oder über-eins-Einträge und lesbare Gründe bei Fehlschlag. Ein leeres Array wird als ungültige Eingabe abgelehnt, nicht als hohles false-Ergebnis gemeldet.

Was eine diskrete PMF gültig macht

In der Wahrscheinlichkeitstheorie ist eine diskrete Verteilung mit endlichem Träger eine Liste von Massen p null bis p n minus eins, sodass jede Masse größer oder gleich null ist und die Summe aller Massen genau eins beträgt. Diese beiden Axiome genügen: Sobald jede Masse nichtnegativ ist und die Gesamtsumme eins, kann keine Masse eins überschreiten, weil ein einzelner Eintrag größer als eins die übrigen nichtnegativen Terme zum Überlaufen oder in den negativen Bereich zwingen würde.

In der Praxis prüft man die Axiome getrennt, damit die Diagnose beide Probleme benennt: einen Vorzeichenfehler mit negativem Gewicht und einen Normalisierungsfehler, der die Summe bei null Komma neun fünf oder eins Komma null zwei belässt. Sie durchläuft die Liste einmal, summiert, merkt jeden Index mit negativer Masse und jeden Index mit Masse größer als eins für den optionalen Bericht.

Anschließend vergleicht sie die absolute Differenz zwischen Summe und eins mit einer Toleranz Epsilon, die standardmäßig eins mal zehn hoch minus neun beträgt — eng genug für doppelte Präzision nach einfachen Divisionen und weit genug für gutartige binäre Rundung von Brüchen wie wiederholtem Drittel. Bestehen Nichtnegativitäts- und Summen-zu-eins-Test, setzt die Antwort valid auf true und lässt das reasons-Array leer. Scheitert einer, ist valid false und reasons listet konkrete deutsche Sätze, die Sie neben einem Formular oder einer Protokollzeile zeigen können, ohne den Fehler selbst neu abzuleiten.

Das Werkzeug erfindet keine Kategorien, sampelt nicht aus den Massen und schätzt keine stetigen Dichten: Es zertifiziert oder verwirft nur die endlichen PMF-Axiome auf den Zahlen, die Sie senden.

Eingabevertrag, Antwortform und Fehler bei leerem Array

Ein leeres Array, ein fehlendes Feld oder eine Zeichenkette, die in null Token zerfällt, wird mit klarer Meldung abgelehnt: eine gültige PMF braucht mindestens eine Masse — diese strukturellen Fehler werden als Validierungsfehler abgerechnet, nicht als Erfolge mit valid false. Beispiel: vier gleiche Viertel null Punkt zwei fünf ergeben valid true mit Summe eins. Beispiel: null Punkt fünf, null Punkt fünf, null Punkt eins ergeben valid false mit Summenfehler von etwa null Punkt eins.

Beispiel: null Punkt sechs und minus null Punkt eins ist ungültig mit negativem Index und schlechter Summe. Koppeln Sie die Antwort mit eigenem Sampling- oder Entropiecode, falls Sie weitere Statistik brauchen; dieser Endpunkt prüft nur den Verteilungskontrakt.

Wer Wahrscheinlichkeiten vor dem Einsatz prüft

Spiel- und Simulationsteams prüfen Loot-Tabellen, Würfelseiten-Gewichte und prozedurale Spawn-Tabellen vor dem Release und fangen den klassischen Epsilon-Fehler ab, bei dem fünf Zeilen wegen wiederholter Division null Punkt neun neun neun summieren. Machine-Learning-Pipelines, die kategoriale Verteilungen aus Histogrammen schätzen, brauchen ein deterministisches Tor, bevor Log-Likelihood- oder Kreuzentropie-Code nichtnegative normalisierte Massen voraussetzt. Qualitätsingenieure und Zuverlässigkeitsanalysten wandeln empirische Ausfallmodus-Zählungen in Wahrscheinlichkeitsvektoren um und wollen eine reine Summen- und Vorzeichenprüfung, bevor sie Risiko an Nicht-Statistiker melden.

Fehlgeschlagene Validierung leerer oder missgebildeter Eingabe wird nicht abgerechnet. Halten Sie Listen unter der veröffentlichten Größengrenze, fixieren Sie die bereinigten Summenfelder in automatisierten Tests, und Sie erhalten reproduzierbare PMF-Prüfungen für Hausaufgaben, LMS-Plugins und Edge-Worker, ohne eine eigene Statistikbibliothek aufzubauen.