Leaderboard

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.

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)!!!.

O que é o Lotomania Pulador? Uma ferramenta que gera conjuntos de cartões para a Lotomania garantindo que qualquer par de cartões tenha no máximo N dezenas em comum. O algoritmo usa backtracking posição a posição — avança bit a bit e recua quando detecta violação, sem gerar combinações inválidas. O resultado é um conjunto de cartões matematicamente balanceados entre si. Cada posição está configurado para 2 dezenas, logo P1 só pode ser 01 ou 02, P2 só pode ser 03 ou 04 e assim sucessivamente. Tanto o Limite de Passo quanto o Gatilho aceitam valores astronômicos ou seja 2^50 = 1.125.899.906.842.624 mas lembre-se o Passo já está está em 600 milhões, quanto maior o Passo maior o tempo de busca. Este software fiz pois há um pequeno BUG no Lotomania3.exe (também na área de downloads) que apesar de permitir este tipo de geração não estava respeitando os limites posicionais e pelo visto este algoritmo ficou muito mais rápido, eu diria que são softwares complementares. Use por sua conta e risco. Sorte a todos, Sphgf

Este script partiu do BigMaxRedutor v11.3.3 e parte da v11.4.8 posteriormente já foi incorporada. Adicionado partes das teorias matemáticas de Wang, H.; Zahl, J. (2025) - Kakeya Set Conjecture — Prova em ℝ³. O objetivo é tentar caminhos alternativos para chegar aos fechamentos para Lotomania. A ferramenta pode ser melhorada, mas já está operacional e corrigimos alguns bugs (podem haver outros !!) Use por sua conta e risco, Agradecimentos ao @BigMax pelo script Redutor. Sorte a todos, Sphgf

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.