Perguntas com a marcação «algorithms»

Um algoritmo é uma sequência de etapas bem definidas que define uma solução abstrata para um problema. Use essa tag quando seu problema estiver relacionado ao design e análise de algoritmos.






1
Classificando como um programa linear
Um número surpreendente de problemas tem reduções bastante naturais na programação linear (LP). Veja o Capítulo 7 de [1] para exemplos como fluxos de rede, correspondência bipartida, jogos de soma zero, caminhos mais curtos, uma forma de regressão linear e até avaliação de circuitos! Como a avaliação do circuito se …


1
Distinguir Procedimento de Decisão vs Solver SMT vs Provador de Teoremas vs Solucionador de Restrições
Essas terminologias me confundem. Como eu entendo Solucionador SAT: decida a satisfação da lógica proposicional (usando DPLL ou Local Search). Procedimento de decisão é um procedimento para decidir a satisfação de uma certa teoria de primeira ordem decidível. O SMT Solver é um procedimento SAT Solver + Decision. O provador …




1
Complexidade de tomar mod
Parece uma pergunta que deve ter uma resposta fácil, mas não tenho uma definitiva: Se eu tiver dois números de bits , qual é a complexidade de calcular ?nnna,pa,pa, pamodpamodpa\bmod p Simplesmente dividir aaa por ppp levaria tempo O(M(n))O(M(n))O(M(n)) onde M(n)M(n)M(n) é a complexidade da multiplicação. Mas o \ bmod …



2
Pagar coletivamente o problema da fatura
Há nnn pessoas em uma mesa. O ª pessoa tem que pagar dólares.EuEuipEupEup_i Algumas pessoas não têm as contas certas para pagar exatamente , portanto, apresentam o seguinte algoritmo.pEupEup_i Primeiro, todo mundo coloca um pouco de seu dinheiro na mesa. Então, cada indivíduo recebe de volta o dinheiro pago em …

Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.