Deadline aware hybrid optimization for ISP traffic engineering
Preprint de pesquisa · Versão 0.1 · 11 de outubro de 2026 · León Acosta
Ler o artigo completo (PDF, em inglês) · Código-fonte e LaTeX
Resumo
Um otimizador de rotas pode devolver uma boa configuração depois que as condições que a justificavam já mudaram. Este trabalho formula um problema de decisão com horizonte finito: um ISP escolhe um subconjunto de demandas, um método de resolução e um orçamento de computação conforme o benefício restante após o cálculo e a implantação.
O recozimento quântico ou um otimizador baseado em portas podem gerar candidatos. Uma camada clássica verifica a capacidade, a segurança da transição, a atualidade do estado e o benefício de aplicar a mudança. O artigo apresenta garantias matemáticas condicionais e uma implementação de referência reproduzível. Não apresenta medições em hardware quântico nem em redes reais de ISP.
A pergunta de pesquisa
A superposição não permite observar todas as rotas possíveis ao mesmo tempo. A medição devolve amostras; obter amostras úteis exige um algoritmo e execuções repetidas.
A questão prática é se um controlador híbrido pode escolher o que otimizar, qual método usar e quanto esperar enquanto a resposta ainda for útil. Trata-se de otimizar o plano de controle do tráfego IP clássico. O TCP mantém suas funções de confiabilidade do transporte e controle de congestionamento.
O que o artigo demonstra
- Uma condição de benefício temporal sob um modelo de ganho constante.
- Um limite exato de carga máxima por enlace para um modelo específico de transição fluida assíncrona.
- Segurança de capacidade para tarefas simultâneas e disjuntas com reservas explícitas.
- Uma penalidade QUBO suficiente para que todo mínimo global seja viável e ótimo em relação ao objetivo auxiliar, caso exista uma alocação viável.
- Um certificado de melhoria esperada para um conjunto finito e previamente fixado de políticas, avaliado com cenários de validação independentes e representativos.
As provas dependem das hipóteses declaradas. Uma alocação final viável pode sobrecarregar um enlace durante a instalação. O artigo inclui esse contraexemplo e uma alternativa por etapas segura dentro do modelo. O comportamento por pacotes e as rajadas exigem análise adicional.
Qubits e escala
Um exemplo com 100 demandas agregadas, quatro rotas candidatas por demanda e 50 enlaces com 100 unidades de capacidade residual utiliza 750 variáveis binárias. A representação direta em QAOA precisaria de 750 qubits de dados antes dos recursos adicionais. Isso não é uma estimativa confiável de qubits físicos nem um requisito mínimo.
A escala depende de agregar tráfego, gerar rotas classicamente, resolver subproblemas limitados e coordenar reservas de capacidade. A decomposição pode reduzir a qualidade da solução global.
Trabalhos anteriores e contribuição proposta
Já existem trabalhos sobre roteamento quântico, formulações QUBO, decomposição de demandas, atualizações sem congestionamento e seleção de métodos de resolução. O artigo compara essas linhas e discute um pedido de patente publicado. Não reivindica prioridade sobre elas.
A hipótese mais específica é que escolher conjuntamente o subconjunto, o método e o orçamento conforme o tempo útil restante pode melhorar os resultados operacionais. Isso ainda precisa ser comparado com alternativas clássicas fortes, contabilizando todos os custos.
Reprodutibilidade e limites
O repositório contém o manuscrito, o código LaTeX, exemplos, notas de revisão e 16 testes aprovados, incluindo verificações exaustivas de 64 instâncias pequenas. São evidências finitas de regressão, não verificação por um assistente de provas nem evidência de vantagem quântica.
O preprint não passou por revisão por pares. Não demonstra aceleração quântica nem confiabilidade em produção. León Acosta propôs a direção de pesquisa; a exposição e o código foram desenvolvidos com assistência do OpenAI ChatGPT/Codex. O PDF original e suas fórmulas estão em inglês.
Ler e citar
Acosta, León. Deadline aware hybrid optimization for ISP traffic engineering: conditional guarantees and a reproducible reference model. Preprint de pesquisa, versão 0.1, 11 de outubro de 2026.
