Preguntas etiquetadas con optimization

Estoy bastante confundido por la literatura de optimización continua y la literatura de TCS sobre qué tipos de programas matemáticos (continuos) (MP) se pueden resolver de manera eficiente y cuáles no. La comunidad de optimización continua parece afirmar que todos los programas convexos se pueden resolver de manera eficiente, pero …

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

En mi educación en ciencias de la computación, noto cada vez más que la mayoría de los problemas discretos son NP completos (al menos), mientras que la optimización de problemas continuos es casi siempre fácil de lograr, generalmente a través de técnicas de gradiente. ¿Hay excepciones a esto?

27 cc.complexity-theory  co.combinatorics  optimization 

Lo que se sabe sobre la complejidad del siguiente problema: Dado: números racionales .x1&lt;x2&lt;…&lt;xnx1&lt;x2&lt;…&lt;xnx_1 < x_2 < \dotso < x_n Salida: enteros .y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n Objetivo: minimizar donde∑1≤i&lt;j≤ne(i,j),∑1≤i&lt;j≤ne(i,j),\sum_{1 \le i < j \le n} e(i,j),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)|. Es decir, nos gustaría redondear los …

25 ds.algorithms  reference-request  optimization 

Considere los problemas de optimización de la siguiente forma. Sea f(x)f(x)f(x) una función computable en tiempo polinómico que mapea una cadena xxx en un número racional. El problema de optimización es este: ¿cuál es el valor máximo de f(x)f(x)f(x) sobre cadenas de nnn bits xxx ? Digamos que tal problema …

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

Las computadoras cuánticas son muy buenas para distribuciones de muestreo que no sabemos cómo muestrear usando computadoras clásicas. Por ejemplo, si f es una función booleana (de a - 1 , 1 ) que se puede calcular en tiempo polinómico, entonces con computadoras cuánticas podemos muestrear eficientemente de acuerdo con …

23 quantum-computing  cg.comp-geom  optimization 

Estoy interesado en el problema de empacar copias idénticas de rectángulos (2 dimensiones) en un polígono convexo (2 dimensiones) sin superposiciones. En mi problema, no puede rotar los rectángulos y puede suponer que están orientados en paralelo con los ejes. Solo se le dan las dimensiones de un rectángulo y …

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

Como sabemos, la función -clique toma un subgrafo ( abarcando ) de un gráfico -vertex completo , y genera sif contiene una -clique . Las variables en este caso corresponden a los bordes de . Se sabe (Razborov, Alon-Boppana) que, para , esta función requiere circuitos monótonos de tamaño aproximadamente …

21 cc.complexity-theory  optimization  circuit-complexity 

El código de Huffman para una distribución de probabilidad ppp es el código de prefijo con la longitud de palabra de código promedio ponderada mínima ∑piℓi∑piℓi\sum p_i \ell_i , donde ℓiℓi\ell_i es la longitud de la iii ésima palabra de código. Es un teorema bien conocido que la longitud promedio …

21 optimization  it.information-theory  coding-theory 

Se le da un gráfico con vértices. Puede ser bipartito si quieres. Hay conjuntos de aristas (digamos disjunto). Estoy interesado en el problema de encontrar un subconjunto , lo más pequeño posible (o incluso más pequeño), de modo que el gráfico inducido tenga al menos un borde de cada clase …

19 ds.algorithms  graph-theory  optimization 

¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el hecho de que no es posible …

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 

Mi hijo de 8 años se ha aburrido creando laberintos convencionales y ha comenzado a crear variantes que se parecen a esto: La idea es comenzar desde x y alcanzar o a través de las reglas normales. Además, puede "saltar" de cualquier número entero a cualquier otro número entero , …

18 ds.algorithms  optimization  puzzles 

Considere este problema: dada una lista de conjuntos finitos, busque un orden s1,s2,s3,…s1,s2,s3,…s_1, s_2, s_3, \ldots que minimice |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 . ¿Hay algoritmos conocidos para esto? ¿Cuál es su complejidad? Todavía no he podido pensar en un algoritmo óptimo …

17 cc.complexity-theory  ds.algorithms  optimization 

Hace muchos años escuché que calcular el mínimo NFA (autómata finito no determinista) de un DFA (determinista) era una pregunta abierta, en oposición a la dirección inversa que se conoce desde hace décadas y está bien investigada con un eficiente ( n lg n ) algoritmo. ¿Alguien ha ideado un …

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

Considere el siguiente problema: Entrada : un hiperplano , dado por un vector y en representación binaria estándar.a ∈ Z n b ∈ ZH={y∈Rn:aTy=b}H={y∈Rn:aTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\}a∈Zna∈Zn\mathbf{a} \in \mathbb{Z}^nb∈Zb∈Zb \in \mathbb{Z} Salida :x∈Zn=argmind(x,H)x∈Zn=arg⁡mind(x,H)\mathbf{x} \in \mathbb{Z}^n = \arg \min d( \mathbf{x}, H) En la notación anterior …

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

Hace un tiempo hice esta pregunta sobre Stack Overflow: Problema: la venta de Bob . Alguien sugirió publicar la pregunta aquí también. Alguien ya ha hecho una pregunta relacionada con este problema aquí: peso mínimo por debajo del bosque de la cardinalidad dada , pero, por lo que entiendo, no …

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