Perguntas com a marcação «optimization»

Estou um pouco confuso com a literatura de otimização contínua e a literatura do TCS sobre quais tipos de programas matemáticos (contínuos) (MPs) podem ser resolvidos com eficiência e quais não. A comunidade de otimização contínua parece afirmar que todos os programas convexos podem ser resolvidos com eficiência, mas acredito …

31 ds.algorithms  optimization  linear-programming  semidefinite-programming  polynomial-time 

Na minha formação em ciência da computação, percebo cada vez mais que a maioria dos problemas discretos é NP-completa (pelo menos), enquanto a otimização de problemas contínuos é quase sempre facilmente alcançável, geralmente através de técnicas de gradiente. Existem exceções para isso?

27 cc.complexity-theory  co.combinatorics  optimization 

O que se sabe sobre a complexidade do seguinte problema: Dado: números racionais x1&lt;x2&lt;…&lt;xnx1&lt;x2&lt;…&lt;xnx_1 < x_2 < \dotso < x_n . Saída: números inteiros y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n . Objetivo: minimizar ∑1≤i&lt;j≤ne(i,j),∑1≤i&lt;j≤ne(i,j),\sum_{1 \le i < j \le n} e(i,j), onde e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j) = | (y_j-y_i) - (x_j-x_i)|. Ou …

25 ds.algorithms  reference-request  optimization 

Considere problemas de otimização do seguinte formulário. Seja uma função computável em tempo polinomial que mapeie uma sequência em um número racional. O problema de otimização é este: qual é o valor máximo de sobre as cadeias de bits ?x f ( x ) n xf(x)f(x)f(x)xxxf(x)f(x)f(x)nnnxxx Digamos que esse problema …

23 cc.complexity-theory  graph-algorithms  complexity-classes  optimization  linear-programming 

Computadores quânticos são muito bons para distribuições de amostragem que não sabemos como amostrar usando computadores clássicos. Por exemplo, se f é uma função booleana (de a - 1 , 1 ) que pode ser calculada em tempo polinomial, então com computadores quânticos, podemos amostrar eficientemente de acordo com a …

23 quantum-computing  cg.comp-geom  optimization 

Estou interessado no problema de empacotar cópias idênticas de retângulos (bidimensionais) em um polígono convexo (bidimensional) sem sobreposições. No meu problema, você não tem permissão para girar os retângulos e pode assumir que eles estão orientados paralelamente aos eixos. Você recebe as dimensões de um retângulo e os vértices do …

23 reference-request  np-hardness  cg.comp-geom  optimization  packing 

Como sabemos, a função -clique pega um subgrafo ( estendendo-se ) de um gráfico -vertex completo , e gera se contém um -clique . As variáveis ​​nesse caso correspondem às arestas de . Sabe-se (Razborov, Alon-Boppana) que, para , essa função requer circuitos monotônicos de tamanho em torno de . …

21 cc.complexity-theory  optimization  circuit-complexity 

O código de Huffman para uma distribuição de probabilidade ppp é o código de prefixo com a palavra de código ponderado média comprimento mínimo ∑piℓi∑piℓi\sum p_i \ell_i , onde ℓiℓi\ell_i é o comprimento do iii th codword. É um teorema bem conhecido que o comprimento médio por símbolo do código …

21 optimization  it.information-theory  coding-theory 

Você recebe um gráfico com n vértices. Pode ser bipartido, se você quiser. Existem m conjuntos de arestas E 1 , … , E m ⊆ E (digamos disjuntos). Estou interessado no problema de encontrar um subconjunto S ⊆ V , o menor possível (ou até menor), de modo que …

19 ds.algorithms  graph-theory  optimization 

É possível testar algoritmicamente se um número computável é racional ou inteiro? Em outras palavras, seria possível para uma biblioteca que implementa números computáveis ​​fornecer as funções isIntegerou isRational? Suponho que isso não seja possível e que isso esteja de alguma forma relacionado ao fato de que não é possível …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Meu filho de 8 anos se cansou de criar labirintos convencionais e passou a criar variantes que se parecem com isso: A idéia é começar de x e alcançar o através das regras normais. Além disso, você pode "saltar" de qualquer número inteiro para qualquer outro número inteiro b , …

18 ds.algorithms  optimization  puzzles 

Considere este problema: Dada uma lista de conjuntos finitos, localize os pedidos que minimizam .s1,s2,s3,…s1,s2,s3,…s_1, s_2, s_3, \ldots|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s_1| + |s_1 \cup s_2| + |s_1 \cup s_2 \cup s_3| + \ldots Existem algoritmos conhecidos para isso? Qual é a sua complexidade? Ainda não consegui pensar em um algoritmo ideal eficiente, mas …

17 cc.complexity-theory  ds.algorithms  optimization 

Há muitos anos, ouvi dizer que calcular o mínimo de AFN (autômato finito não determinístico) a partir de um AFD (determinístico) era uma questão em aberto, em oposição à direção vice-versa conhecida há décadas e que é bem pesquisada com um eficiente ( n lg n ) algoritmo. Alguém criou …

17 ds.algorithms  reference-request  fl.formal-languages  automata-theory  optimization 

Eu fiz essa pergunta no Stack Overflow há um tempo atrás: Problema: a venda de Bob . Alguém sugeriu postar a pergunta aqui também. Alguém já fez uma pergunta relacionada a esse problema aqui - subfloresta de peso mínimo de determinada cardinalidade - mas, pelo que entendi, não me ajuda …

15 ds.algorithms  np-hardness  tree  optimization  application-of-theory 

Considere o seguinte problema: Entrada : um hiperplano H = { y ∈ R n : a T y = b }H={y∈Rn:aTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\} , dado por um vetor a ∈ Z na∈Zn\mathbf{a} \in \mathbb{Z}^n e b ∈ Zb∈Zb \in \mathbb{Z} na representação binária …

15 cc.complexity-theory  optimization  linear-algebra  integer-lattice