Perguntas com a marcação «mathematical-programming»

Quero saber qual algoritmo é mais rápido para a multiplicação de dois números de n dígitos? A complexidade do espaço pode ser relaxada aqui!

21 algorithms  mathematical-programming 

O que sabemos é que π é infinito e provavelmente contém todas as seqüências finitas de dígitos possíveis ( sequência disjuntiva ). Eu vi recentemente algum protótipo de πfs que pressupõe que todos os arquivos que você criou (ou qualquer outra pessoa) ou que você criará, já estão lá, por …

11 algorithms  data-compression  mathematical-programming 

fundo Estou aprendendo assistência, Coq, sozinho. Até agora, concluí a leitura Coq apressado de Yves Bertot . Agora, meu objetivo é provar alguns resultados básicos relativos aos números naturais, culminando com o chamado algoritmo de divisão. No entanto, encontrei alguns contratempos no meu caminho em direção a esse objetivo. Em …

10 automated-theorem-proving  proof-assistants  mathematical-programming  coq 

Para o método de ramificação e corte, é essencial conhecer muitas facetas dos politopos gerados pelo problema. No entanto, atualmente é um dos problemas mais difíceis de calcular todas as facetas desses polítopos à medida que crescem rapidamente em tamanho. Para um problema de otimização arbitrário, o politopo usado pelos …

8 algorithms  optimization  linear-programming  mathematical-programming  traveling-salesman