Considere o espaço dimensional e deixe ser uma restrição linear no formato , em que , e .{ 0 , 1 } n c a 1 x 1 + a 2 x 2 + a 3 x 3 + . . . + a n - 1 x n - 1 + a n x n ≥ k a i ∈ R x i ∈ { 0 , 1 } k ∈
Estou interessado em otimizar o fluxo de dados e controlar gráficos de fluxo e, em particular, mais complexo computacionalmente. Mas também será interessante conhecer as últimas invenções no campo das otimizações de olho
Eu tenho lido um pouco sobre o método da soma dos quadrados (SOS) da pesquisa de Barak & Steurer e das notas de aula de Barak . Nos dois casos, eles varrem questões de precisão numérica para baixo do tapete. Do meu entendimento (reconhecidamente limitado) do método, o seguinte deve ser...
Ramificação e encadernação é uma heurística eficaz para problemas de pesquisa, e a Wikipedia lista vários problemas difíceis nos quais ramificações e encadernações foram usadas. No entanto, não consegui encontrar referências para sugerir que é mais do que apenas "um método" para resolver esses...
Esta questão é sobre problemas de programação quadrática com restrições de caixa (box-QP), ou seja, problemas de otimização do formulário minimizar sujeito a .f(x)=xTAx+cTxf(x)=xTAx+cTxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{c}^T \mathbf{x}x∈[0,1]nx∈[0,1]n\mathbf{x} \in [0,1]^n Se...
Existe algo conhecido sobre o segundo menor - t- cut em uma rede de fluxo? Ou, de maneira mais geral, sobre esse problema:sssttt Entrada: Uma rede e um número k , todos em binário. Saída: Um k é o menor corte s - t .NNNkkkkkksssttt Um é o menor corte s - t ( S , T ) é qualquer corte s - t ,...
Estou começando a investigar a possibilidade de contar com um solucionador SAT para resolver um problema de otimização que me interessa e atualmente estou procurando uma pesquisa que contenha exemplos de transformações "inteligentes" em variantes de SAT (ou seja, transformações resultantes em um...
O algoritmo simplex é frequentemente tratado dentro da aritmética real ou no mundo discreto com cálculos exatos. No entanto, parece ser implementado com mais frequência com aritmética de ponto flutuante. Isso leva à questão de saber se o algoritmo simplex deve ser considerado como um algoritmo...
Existem algoritmos para reordenar dados para otimizar a compactação? Entendo que isso seja específico dos dados e do algoritmo de compactação, mas existe uma palavra para este tópico? Onde posso encontrar pesquisas nessa área? Especificamente, tenho uma lista json de 1,5 milhão de strings e quero...
A entrada é um universo e uma família de subconjuntos de U , digamos, F ⊆ 2 U . Nós assumimos que os subconjuntos em F pode cobrir U , ou seja, ⋃ E ∈ F E = U .UUUUUUF⊆2UF⊆2U{\cal F} \subseteq 2^UFF{\cal F}UUU⋃E∈FE=U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U Uma sequência de cobertura incremental é uma...
Hoje em dia, a programação linear é muito bem compreendida. Temos muito trabalho que caracteriza a estrutura de soluções viáveis e a estrutura de soluções ideais. Temos a forte dualidade, algoritmos de poli-tempo, etc. Mas o que se sabe sobre soluções mínimas máximas de LPs? Ou,...
Nos é dado um matróide. Nosso objetivo é encontrar um conjunto de elementos de tamanho mínimo que possua uma interseção não vazia com todas as bases do matróide. O problema já foi estudado? Está em P? Por exemplo, em um matróide de spanning tree, o conjunto de batidas mínimo deve ser um corte...
Eu estaria muito interessado em referências à teoria das funções submodulares (do básico ao avançado). Em particular, estou estudando aproximações para problemas de otimização rígida e quero desenvolver minhas bases em funções submodulares, pois são relevantes para os problemas de otimização que...
Suponha que recebamos uma matriz A[1..n]A[1..n]A[1..n] contendo números inteiros não negativos (não necessariamente distintos). Deixe BBB ser AAA ordenado na ordem não crescente. Queremos calcular m=maxi∈[n]B[i]+i.m=maxi∈[n]B[i]+i.m = \max_{i\in [n]} B[i]+i. A solução óbvia é classificar AAA e...
O conjunto é fornecido. Para cada elemento , temos peso e custo . O objetivo é encontrar o subconjunto de tamanho que maximize a seguinte função objetivo:
Dado um conjunto de pontos em um espaço cartesiano 3D, estou procurando um algoritmo que classifique esses pontos, de modo que a distância euclidiana mínima entre dois pontos consecutivos seja maximizada. Também seria benéfico se o algoritmo tivesse uma tendência a uma distância euclidiana média...
Minimização de circuitos é o problema para minimizar o tamanho de um determinado circuito. Existe algo semelhante para programas gerais? Em particular, minha pergunta é - Existem algoritmos para minimizar o número de instruções para um determinado programa. Sei que é um problema indecidível, mas...
Existem exemplos naturais conhecidos de problemas de otimização para os quais é muito mais fácil produzir uma solução ideal do que avaliar a qualidade de uma determinada solução candidata? Por questões de concretude, podemos considerar problemas de otimização solucionáveis em tempo polinomial da...
O MCTS / UCT é um método de pesquisa em árvore de jogo que usa um algoritmo de bandido para selecionar nós promissores a serem explorados. Os jogos são concluídos aleatoriamente e os nós que levam a mais vitórias são explorados com mais intensidade. O algoritmo bandido mantém um equilíbrio entre...
Não pude encontrar na literatura uma caracterização precisa do desaparecimento da lacuna de dualidade do SDP. Ou quando é que a "forte dualidade" se aplica? Por exemplo, quando se vai e volta entre o Lasserre e o SOS SDP, em princípio, há uma lacuna de dualidade. No entanto, de alguma forma,...