Eu sei que a eliminação gaussiana realiza operações aritméticas , mas não tenho certeza se algum algoritmo melhor é
Estou procurando referências sobre a complexidade do problema de balanceamento de fórmulas booleanas . Em particular, Sabia-se que as fórmulas booleanas podem ser balanceadas em AC0AC0\mathsf{AC^0} ? Existe uma prova simples de que o balanceamento de fórmula booleana esteja em AC0AC0\mathsf{AC^0}...
Que algoritmo podemos usar para encontrar todas as raízes inteiras de um polinômio com coeficientes inteiros?f( X )f(x)f(x) Observo que Sage pode encontrar as raízes dentro de alguns segundos, mesmo quando todos os coeficientes de são muito grandes. Como é capaz de fazer isso?f( X...
Eu tenho o seguinte problema: Entrada: dois conjuntos de intervalos e (todos os pontos de extremidade são inteiros). Consulta: existe uma bijeção monótona ?T f : S → TSSSTTTf: S→ Tf:S→Tf:S \to T O bijeç~ao é monótona wrt da ordem inclusão conjunto em e . T ∀ X ⊆ Y ∈ S , F ( X ) ⊆ f ( Y )SSSTTT∀...
Sabemos que a igualdade beta de termos lambda simplesmente digitados é decidível. Dado M, N: σ → τ, é decidível se para todos os X: σ, MX ≃β≃β≃_β
Folga complementar (CS) é comumente ensinada quando se fala de dualidade. Estabelece uma boa relação entre as restrições / variáveis primárias e as duplas do ponto de vista matemático. Os dois principais motivos para a aplicação do CS (conforme ensinado em cursos de graduação e livros...
Dado que dois poliedros e Q , P e Q são equidecomponíveis se houver conjuntos finitos de poliedros P_1, \ ldots, P_n e Q_1, \ ldots, Q_n de modo que P_i e Q_i sejam congruentes para todos i , P = \ cup_ {i = 1} ^ n P_i e Q = \ cup_ {i = 1} ^ n Q_i . Sabe-se que, se P e Q são polígonos de área...
Seja k > 0k>0k>0 uma constante fixa. Dado um número inteiro nnn , queremos construir uma permutação σ∈ Snσ∈Sn\sigma \in S_n tal que: A construção utiliza tempo e espaço constantes (ou seja, o pré-processamento leva tempo e espaço constantes). Nós podemos usar a randomização. Dado i ∈ [ n...
Os transdutores considerados aqui são aqueles que a Wikipedia chama de transdutores de estado finito . O comportamento de um transdutor , isto é, a relação que ele calcula, é escrito : uma palavra é uma saída para iff .[ T ] y x x [ T ] yTTT[ T][T][T]yyyxxxx [ T] yx[T]yx[T]y Pergunta: O seguinte...
Suponha que eu tenha um circuito booleano que calcule alguma função f : { 0 , 1 } n → { 0 , 1 } . Suponha que o circuito seja composto de portas AND, OR e NOT com entrada e saída de ventilador no máximo 2.CCCf: { 0 , 1 }n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n \to \{0,1\} Vamos ser um dado de...
Motivação : Ao desenvolver ferramentas para controle de versão de dados, acabamos analisando algoritmos para "diferenciar" dois conjuntos de números inteiros, criando uma sequência de transformações que levam um conjunto de números inteiros para o outro. Conseguimos reduzir esse problema ao...
Existe um algoritmo de classificação baseado em comparação que usa uma média de comparações ?lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) A existência do pior algoritmo de comparação é um problema em aberto, mas o caso médio é suficiente para um algoritmo aleatório com o esperado comparações para...
Portanto, tenho um problema que estou enfrentando em relação ao cluster com dados ao vivo e continuamente em fluxo contínuo. Como tenho um conjunto de dados sempre crescente, não tenho certeza de qual é a melhor maneira de executar um cluster eficiente e eficaz. Eu vim com algumas soluções...
É sabido que o problema NP-Complete chamado Subset Sum possui um FPTAS. Gostaria de saber se existe um problema PSPACE Complete que também possui um FPTAS? Desde já,
Suponha que recebamos um gráfico GGG e os parâmetros k,ϵk,ϵk,\epsilon . Existem intervalos de valores para kkk (ou é possível para todos os kkk ) para os quais é possível testar se GGG é ϵϵ\epsilon - longe de ter um conjunto independente de tamanho pelo menos kkk no tempo...
Esta é uma versão especializada de uma pergunta anterior: Complexidade de encontrar a composição Eigend de uma matriz . Para matrizes simétricas NxN, sabe-se que o tempo O (N ^ 3) é suficiente para calcular a decomposição do eigen. A questão é: podemos alcançar complexidade sub-cúbica?...
Geralmente, chamamos um algoritmo de "bom algoritmo" se o tempo de execução for polinomial no pior dos casos. Mas em alguns casos (por exemplo, algoritmo Simplex), mesmo que o pior caso do algoritmo seja exponencial, ele poderia funcionar muito bem na prática. Existem exemplos (determinísticos)...
Perguntado pela primeira vez em math.SE sem respostas. Suponha que eu tenha um gráfico planar, com uma incorporação planar, como encontro a decomposição da árvore? O que é a decomposição de árvore ideal de uma -by- grade quadrada? Não sabe ao certo como definir "ideal", mas deve distinguir entre...
Gostaria de saber se existem abordagens que formulam um problema de roteamento de veículo com Windows de tempo ( VRPTW ) (como um problema de decisão) como uma instância de SAT / SMT? (alternativa: TSP) Por exemplo: "Existe uma solução válida para visitar todos os clientes dentro de suas janelas...
Quando examinei " Uma abordagem de programação dinâmica para problemas de seqüenciamento ", de Michael Held e Richard M. Karp, surgiu a seguinte pergunta: por que a complexidade de seu algoritmo para TSP é (p. 199), quero dizer aonde eles levam o fator k ? Se entendi corretamente, k-1 significa o...