Validade de distribuição de probabilidade

Uma função de massa de probabilidade discreta só é uma distribuição válida quando cada massa é não negativa e a lista completa soma um. Estudantes, tutores, cientistas de dados e designers de jogos precisam com frequência de uma verificação rápida e determinística antes de enviar um vetor a código de amostragem, fórmulas de entropia ou gabaritos de prova. Este verificador de validade de distribuições aceita um array de números finitos, opcionalmente uma tolerância numérica para deriva de ponto flutuante, e devolve um veredito estruturado: se a lista é válida, a soma calculada, o erro absoluto da soma, os índices de entradas negativas ou maiores que um, e motivos legíveis quando a verificação falha. Um array vazio é rejeitado como entrada inválida em vez de um falso oco.

O que torna válida uma FMP discreta

Na teoria da probabilidade, uma distribuição discreta de suporte finito é uma lista de massas p zero até p n menos um tais que cada massa é maior ou igual a zero e a soma de todas as massas é exatamente um. Esses dois axiomas bastam: uma vez que cada massa é não negativa e o total é um, nenhuma massa pode ultrapassar um, porque uma única entrada maior que um forçaria os demais termos não negativos a estourar ou a ficar negativos.

Na prática os axiomas são verificados em separado para que o diagnóstico nomeie os dois problemas: um erro de sinal que deixou um peso negativo, e um bug de normalização que deixou a soma em zero ponto nove cinco ou um ponto zero dois. Percorre a lista uma vez, acumula a soma, registra cada índice com massa negativa e cada índice com massa maior que um para o relatório opcional.

Depois compara a diferença absoluta entre a soma e um com uma tolerância épsilon que por padrão é um vezes dez à menos nove, apertada o bastante para aritmética de dupla precisão após divisões simples e larga o bastante para arredondamento binário benigno de frações como um terço repetido. Quando os testes de não negatividade e de soma a um passam, a resposta define valid como true e deixa o array reasons vazio.

Se algum falhar, valid é false e reasons lista frases concretas em português que você pode mostrar ao lado de um formulário ou linha de log sem rederivar a falha. A ferramenta não inventa categorias, não amostra as massas nem estima densidades contínuas: só certifica ou rejeita os axiomas da FMP finita sobre os números que você envia.

Quem confere probabilidades antes de usá-las

Equipes de jogos e simulação validam tabelas de loot, pesos de faces de dados e tabelas de spawn procedural antes de publicar, capturando o clássico bug por épsilon em que cinco linhas somam zero ponto nove nove nove por divisões repetidas. Pipelines de aprendizado de máquina que estimam distribuições categóricas a partir de histogramas precisam de um portão determinístico antes que código de log-verossimilhança ou entropia cruzada assuma massas não negativas normalizadas.

Engenheiros de qualidade e analistas de confiabilidade transformam contagens empíricas de modos de falha em vetores de probabilidade e querem uma checagem pura de soma e sinal antes de reportar risco a não estatísticos. Validação falha de entrada vazia ou malformada não consome saldo. Mantenha as listas dentro do teto de tamanho publicado, fixe os campos de soma limpos em testes automatizados e você obtém checagens de FMP reproduzíveis para deveres, plugins LMS e workers de borda sem montar sua própria biblioteca estatística.