Leaderboard

O desafio da previsão

O desafio da previsão Prever é ousar afirmar o que ainda não aconteceu, apoiando-se em sinais do passado e no estado presente das coisas. É uma tarefa que todos nós enfrentamos diariamente, em maior ou menor grau de sucesso. Tentamos antecipar o clima, calcular a produtividade das colheitas, estimar o consumo de energia, acompanhar as oscilações das moedas e das ações, ou até mesmo prever terremotos. E, claro, há os entusiastas da loteria, sempre à espera do próximo sorteio. Com o advento das inteligências artificiais, surgiu uma onda de euforia entre os apostadores. Muitos acreditavam que, finalmente, os lucros seriam constantes, que as loterias seriam desmanteladas pela previsibilidade e que, em breve, apostar se reduziria a um simples jogo de par ou ímpar. Termos técnicos como rede neural, machine learning e transformers passaram a circular na boca de pessoas que sequer tinham contato com computadores. Foi um tempo curioso: uns incrédulos, afirmando que a loteria era puro acaso e, portanto, impossível de prever; outros, obstinados, insistindo em treinar suas redes neurais na esperança de alcançar o impossível. Acreditava-se que o código divino estava finalmente escrito em Python e que a aleatoriedade era apenas um erro de processamento esperando para ser corrigido. Mas a matemática, em sua elegância silenciosa, continua a rir dos algoritmos que tentam domesticar o caos. Quincas, por exemplo, não se conformava. Alimentava sua rede com dados e esperanças, mas o resultado foi apenas um voo curto, como o de uma galinha. Justus, por sua vez, discutia com a IA: dizia que bastava chegar a 90% de acerto, mas a máquina respondia que não entendia. Já o Nicola buscava inspiração em nomes consagrados da física, química, hidráulica e até dos estudos sobre gases, acreditando que uma abordagem sublinear poderia contornar os obstáculos. Cruzavam-se tabelas de termodinâmica com resultados de sorteios passados, como se o calor de uma reação química pudesse, de alguma forma, aquecer os números frios das bolinhas do sorteio. Nos tempos da brilhantina, bastava ganhar uma Caloi-10 para sentir-se vitorioso. Hoje, porém, os desejos mudaram: não nos contentamos com uma bicicleta, queremos uma Megasena da virada. A ambição cresceu, e junto dela a ilusão de que prever o imprevisível seria apenas questão de insistência e tecnologia. E, no fim das contas, a previsão continua sendo esse curioso equilíbrio entre ciência, esperança e teimosia — onde planilhas sofisticadas convivem com superstições discretas e algoritmos de última geração acabam dividindo espaço com o velho hábito de escolher números “porque sonhei com eles”. Talvez o segredo não esteja no hardware potente ou nos modelos matemáticos complexos, mas na teimosia humana de querer enxergar um rosto familiar no meio de uma nuvem de ruído estatístico. Talvez o verdadeiro padrão que ainda não conseguimos modelar seja justamente esse: o da nossa incrível capacidade de acreditar que, desta vez, vai dar certo… mesmo quando todas as evidências sugerem que estamos apenas reinventando, com mais tecnologia, o antigo hábito de confiar na sorte. Algo me diz: Vai dar certo! Boa Sorte! continua...

May 16

5 points

Lotomania Pulador

Version 9.0.7

21 downloads

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

May 17

4 points

O desafio da previsão

continuando... A ciência da sorte Um relato acessível e divertido do intercâmbio entre o mundo das apostas e a ciência Houve um tempo em que a banca sempre ganhava. Agora, cientistas e matemáticos estão dando aos jogadores uma vantagem competitiva. Físicos domaram a aleatoriedade da roleta, cientistas de computação estão transformando a estratégia do pôquer e estatísticos sabem o que faz um cavalo campeão. Matemática e ciência revolucionaram os jogos de apostas. Mas a recíproca é verdadeira: as apostas também revolucionaram a ciência e a matemática. Fermat e Pascal usaram jogos de dados para fixar as bases da teoria da probabilidade; Von Neumann e Turing acharam inspiração no pôquer; o jogo de paciência ajudou Stanis aw Ulam a desenvolver a bomba de hidrogênio. A busca pela aposta perfeita tem influenciado campos tão diversos quanto teoria do caos, psicologia comportamental e inteligência artificial. Em A ciência da sorte, o premiado escritor Adam Kucharski nos leva por mesas de roleta de Las Vegas, loterias e pistas de corrida de cavalos de Hong Kong para contar a história de homens e mulheres que venceram a banca - e mudaram as nossas ideias fundamentais sobre chance, aleatoriedade e sorte. Num percurso que abrange matemática, psicologia, economia e física, você conhecerá robôs capazes de blefar e manipular oponentes, o matemático que jogou uma moeda para o alto 25.000 vezes para estudar probabilidade e universitários que lucraram explorando uma brecha nas loterias. ( copiado do livro ) O Triunfo da Esperança O que torna essa jornada brilhante não é apenas a possibilidade estatística de ganhar, mas a incessante busca por alternativas. Estamos refinando nossa capacidade de acreditar. Mesmo quando a ciência diz que as chances são remotas, a natureza humana encontra um "atalho" criativo, uma nova fórmula ou uma superstição renovada que mantém a roda girando. A tecnologia não veio para substituir a sorte, mas para dar a ela um novo palco. No fim das contas, a previsão continuará sendo esse equilíbrio sublime: onde o hardware potente oferece o caminho, mas a crendice popular oferece o combustível. Enquanto houver alguém cruzando tabelas de física com intuições de sonho, a humanidade estará vencendo, pois o verdadeiro padrão que nenhum modelo conseguiu superar é a nossa invencível capacidade de recomeçar. A ciência nos dá os números; a vida nos dá a sorte. E, entre um neurônio artificial e um desejo do coração, algo continua nos sussurrando com uma certeza inabalável: "Desta vez, vai dar certo!" Boa Sorte!

May 3

4 points

BigMaxRedutor v.11.3.3

Version 11.4.8

29 downloads

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.

May 12

3 points

Análise da Estrutura de Formação (25,15,11,15=43)

Essa é clone da do Kinski e Genivaldo. Queremos uma com nova base para tentar bater o recorde e o caminho parece ser criar uma nova base para depois reduzir ( tentar). A minha é originária de uma com 45 linhas com 100% e está no momento está com 43 linhas faltando 27 para fechar. ( acredito que fecharei 100% em 43 linhas e nova base )

May 20

2 points

Sign In

Torne-se MEMBRO VIP

Points

Posts

Points

Posts

Points

Posts

Points

Posts

Popular Content