Leaderboard

Mega Sena - Matriz 60-30-4-6(6) 100% - Estatíticas de acertos de 6,5,4,3,2,1,0 Pontos (até o Concurso 3009)!!!.

Refeito: vide informações na versão 11.3.3 Boa Sorte! # BigMaxRedutor v11.3.3 Solver C++20 para Lottery Covering Designs C(v, k, t, m) com t ≤ m. Encontra coberturas (k-sets) de tamanho mínimo b tais que todo m-set do universo é coberto em pelo menos t elementos por algum k-set. ## Arquitetura Pipeline em camadas, do mais leve ao mais agressivo: 1. **Smart-shrink / greedy-extend** — ajuste de b a partir de solução inicial existente. 2. **PDO paralelo** (8 workers, Parallel Diversification by Operators) — exploração estocástica com perturbação adaptativa. 3. **TLS-Dir** (Targeted Local Search Directed) — busca local dirigida com: - Random walk em platô com orçamento de movimentos laterais adaptativo (`LATERAL_BUDGET_BASE = 500`, `MAX = 2000`) - Tabu list de 512 estados para evitar ciclos - **LAHC** (Late Acceptance Hill Climbing) com histórico de 500 e até 10.000 iterações por chamada - Micro-greedy 1-swap e 2-swap exaustivos como último recurso 4. **Perturb-repair** acionado quando TLS-Dir estagna em platô profundo: - 4 modos rotativos: `pool` (remoção de jogos menos úteis), `ruin` (remoção uniforme), `force` (inclusão guiada de k-set que cobre m-sets descobertos), `double` (duas inclusões simultâneas para incompatibilidades combinatórias) - Remoção de 8 a 16 jogos por tentativa - Escolha de qual jogo remover é **guiada por overlap**: minimiza `excl_outside` = m-sets exclusivos do jogo que não seriam cobertos pelos k-sets sendo introduzidos - Probe (30s) → extended (120s) → aggressive (300s) escalonado por promissoridade 5. **SearchB** (binary search em b) para encontrar o menor b viável. ## Telemetria Saída `.jsonl` por execução com campos por chamada do TLS-Dir: `lat_ok`, `lat_tabu` (movimentos laterais aceitos vs rejeitados por tabu), `lahc_inv`, `lahc_ok` (invocações vs escapes do LAHC), `mg1_inv`, `mg1_ok`, `mg2_inv`, `mg2_ok` (micro-greedy 1-swap e 2-swap, invocações vs sucessos). Cada sucesso do `perturb_repair` registra `mode=` e `sub=fase` identificando qual estratégia destravou o problema. O relatório final do `perturb_repair` mostra distribuição percentual de invocações por modo e taxa de escalonamento para extended/aggressive. ## Robustez - Checkpoint salva via `write tmp → fsync → rename`. Atômico em termos de visibilidade e durável em termos de disco. No Windows usa `_commit()` do CRT (evita colisão de macros do `<windows.h>`). - `covered_t` é `uint16_t` saturado (suporta multiplicidade até 65.535), revertido de `uint8_t` em v10.1 após bug de saturação em problemas com `b > 255`. - `recalc_excl` com flag `excl_dirty` evita recálculos O(b·|ms_per|) redundantes quando não há `apply_swap` desde o último recálculo. ## Sumário das mudanças v11.3.3 - `LATERAL_BUDGET_BASE` 50 → 500 - `LATERAL_BUDGET_MAX` 500 → 2000 - `TABU_LIST_SIZE` 128 → 512 - `LAHC_MAX_ITERS` 3000 → 10000 - `LAHC_TIMEOUT_S` 30 → 60 - `PR_REMOVE_MIN` 3 → 8, `PR_REMOVE_MAX` 12 → 16 - Substituição guiada por overlap em `_pr_force_include` e `_pr_double_force_include` - Telemetria de modo no `perturb_repair` (`mode=%s sub=%s`) - `fsync` no checkpoint via `_commit()` portátil - Flag `excl_dirty` em `run_tls_directed` ## Arquivos principais | Arquivo | Responsabilidade | |---|---| | `bigmax_types.h` | Tipos, constantes, tabela binomial, sistema combinatório | | `bigmax_cover.h` | rank/unrank, expansão combinatória, cache de cobertura | | `bigmax_greedy.h` | Construção inicial e extensão direcionada | | `bigmax_worker.h` | PDO worker e TLS-Dir | | `bigmax_perturb_repair.h` | Kick estrutural com 4 modos | | `bigmax_shrink_repair.h` | Pool de jogos menos úteis para shrink | | `bigmax_checkpoint.h` | Persistência atômica + métricas JSONL | | `bigmax_solver.h/.cpp` | Orquestração de rounds e Record Breaker | | `main.cpp` | CLI | ## Requisitos - C++20 (testado com MSVC 2022 e g++ 11+) - Sem dependências externas; `<filesystem>`, `<thread>`, `<future>` da stdlib ## Limites conhecidos - `BinomTable::MAX_N = 64`. Problemas com V > 64 não compilam. - Cache `CoverCache::MAX_SIZE = 65536` (entradas LRU). - Para problemas com cost ≤ 4 em platôs combinatorialmente fechados (todos os jogos com `excl ≥ 1`), o solver tende a estagnar — é o diagnóstico empírico de que b está próximo do mínimo prático.

Fechamento posicional. 9 grupos com 3 números em cada. Bilhetes de 6 números. Garantia de 4 se 6.

Meu objetivo foi tentar classificar as dezenas usando a teoria matemática do Merle, penso que é mais uma forma de tentar ajudar nas escolhas, fica a critério de cada um, concordar ou não com o formato e podem pilotar os controles disponíveis de modo de modo a obter um ajuste com melhores acertos. Lembrando, as IAs cometem erros, pode haver ainda algum BUG, mas de acordo com elas está funcional e corretamente implementado. Sorte a todos nós, SPHGF Motor Merle v3.4: Análise Estatística Estrutural para Mega-Sena Inspirado nos teoremas do Prof. Frank Merle (vencedor do Breakthrough Prize in Mathematics 2026, reconhecido por suas contribuições à teoria do blow-up em EDPs não-lineares), este software implementa uma ponte analógica entre a matemática de altíssimo nível e a análise exploratória de loterias. O motor traduz conceitos como "explosão em tempo finito", "sólitons" e "canais de energia" em métricas visuais aplicadas às 60 dezenas da Mega-Sena. Fundamentos Técnicos (Sem fórmulas, mas com rigor) O software opera sob a premissa de que, embora os sorteios sejam i.i.d. (independentes), o comportamento agregado das frequências pode ser modelado estatisticamente como um sistema dinâmico discreto. Utilizamos três pilares dos trabalhos de Merle: Brezis-Merle (1991) – O Score Simétrico: A base do motor é o módulo da diferença entre a frequência recente (janela curta) e a frequência histórica (janela longa). Isso gera um score de "energia" que não privilegia nem atraso (déficit) nem excesso (superávit), mas sim o desvio significativo da média. A partir daí, o software classifica as 60 dezenas em quatro zonas: Blow-up (Déficit): A dezena apareceu menos que o esperado recentemente. Tensão acumulada. Hot (Superávit): A dezena aparece mais que o esperado. Explosão em curso. Limiar δ: Faixa estreita crítica, inspirada na desigualdade de Moser-Trudinger. Interior: Zona estável, onde a estimativa uniforme é garantida. Merle-Raphaël (2004) – Perfil Universal e Tempo de Blow-up: O software calcula a volatilidade (σ²/μ) dos intervalos entre aparições de cada dezena, além do Tempo de Blow-up – uma métrica análoga a (T - t) da teoria contínua. Uma dezena com T ≈ 1 (idade de atraso próxima ou superior ao gap médio) é sinalizada como "IMINENTE" na interface. Martel-Merle (2006) – Decomposição Multi-Sóliton: Identifica pacotes de dezenas (pares, trios, quartetos) que co-ocorrem com frequência muito acima do esperado estatístico. Esses "sólitons" representam estruturas de onda que se propagam juntas através dos sorteios. Capacidades do Software O motor oferece cinco módulos interligados: Analisador / 7 Views: Visualize as 60 dezenas sob diferentes perspectivas: Score Merle, Volatilidade, Hot, Tempo Blow-up, Perfil Universal (Skewness + Curtose), Canais de Energia (fluxo entradas/saídas) e Frequência Bruta. Gerador com 7 Estratégias: Crie volantes priorizando o Score Composto (pesos ajustáveis), exclusivamente Blow-up, exclusivamente Hot, Misto (Blow+Hot), Sóliton (preservando trios), Tempo Blow-up ou Aleatório (controle). Aceita até 5 dezenas fixas por jogo. Fechamento Combinatório: Para universos ≤18 dezenas, garante cobertura matemática exata (ex: 4 acertos se 6 saírem). Para universos maiores, usa cobertura inteligente por amostragem com verificação Monte Carlo. Backtesting com Validação Rolling: O teste estatisticamente honesto: treina o motor nos primeiros N sorteios e testa nos N restantes sem jamais ver o futuro. Gera gráficos de lift e distribuição de acertos. Calibração por Parâmetros: Ajuste fino de 12 parâmetros (janelas, δ, k, pesos assimétricos, etc.) com presets prontos (Conservador, Equilibrado, Agressivo) e salvamento de configurações. Resultados Empíricos (Base de 3009 sorteios) Em backtesting com 300 sorteios fora da amostra (janela deslizante): A zona Blow-up apresentou 9,0% de ocorrência de 4+ acertos por jogo (vs. ~6,0% esperado pelo aleatório puro). A zona Hot apresentou 4,3% de 4+ acertos. O Score Assimétrico configurável (default 70% déficit / 30% surplus) foi calibrado empiricamente para maximizar o Lift (ganho real). Arquitetura: Prof. Frank Merle (IHÉS / CY Cergy Paris) – Conceito Fundamental. Direção Técnica e Validação: SPHGF. Implementação: Claude Sonnet 4.5 (Anthropic) – Maio 2026. p.s. soft livre, de código aberto, podem alterar, modificar, redistribuir, melhorar.