Preguntas etiquetadas con open-problem

El rango de signos de una matriz A con entradas + 1, -1 es el rango mínimo (sobre los reales) de una matriz B que tiene el mismo patrón de signos que A (es decir, para todo i , j ) Esta noción es importante en la complejidad de la …

25 lg.learning  open-problem  communication-complexity  matrices 

Para una constante , se puede determinar en tiempo lineal, dado un gráfico de entrada G , si su ancho de árbol es ≤ k . Sin embargo, cuando k y G se dan como entrada, el problema es NP-hard. ( Fuente )k ∈ Nk∈Nk \in \mathbb{N}solGG≤ k≤k\leq kkkksolGG Sin …

23 reference-request  graph-theory  np-hardness  open-problem  treewidth 

Supongamos que se nos da varios polígonos disjuntos simples en el plano, y dos puntos y fuera de cada polígono. El problema de la ruta más corta euclidiana es calcular la ruta más corta euclidiana desde hasta que no intersecta el interior de ningún polígono. Para ser concretos, supongamos que …

22 ds.algorithms  cg.comp-geom  open-problem  computing-over-reals 

Además de la complejidad de comunicación (determinista) de una relación , otra medida básica para la cantidad de comunicación necesaria es el número de partición de protocolo . La relación entre estas dos medidas se conoce hasta un factor constante. La monografía de Kushilevitz y Nisan (1997) daRc c ( …

22 fl.formal-languages  lower-bounds  open-problem  regular-expressions  communication-complexity 

En 1999, Petra Schuurman y Gerhard J. Woeginger publicaron el documento "Algoritmos de aproximación del tiempo polinómico para la programación de máquinas: diez problemas abiertos" . Desde entonces, que yo sepa, no han aparecido revisiones que conciernen a la misma lista de problemas. Por lo tanto, sería genial y útil …

22 ds.algorithms  approximation-algorithms  open-problem  approximation-hardness  scheduling 

En el documento "Un Compendio de problemas completos para P" de Greenlaw, Hoover y Ruzzo (PS) (PDF) , hay una lista de problemas en P que no se sabe que están en Carolina del Norte y que tampoco se sabe que están completos en P . (Esta lista incluye todos …

20 cc.complexity-theory  open-problem  circuit-complexity 

Supongamos que tenemos una matriz n por n. ¿Es posible reordenar sus filas y columnas de manera que obtengamos una matriz triangular superior? Esta pregunta está motivada por este problema: ordenamiento topológico positivo El problema de decisión original es al menos tan difícil como este, por lo que un resultado …

20 ds.algorithms  np-hardness  open-problem  matrices 

Un DFA tiene una palabra de sincronización si hay una cadena que envía cualquier estado del DFA a un solo estado. En 'La conjetura de Cerny para autómatas aperiódicos ”por AN Trahtman (Matemática discreta y ciencias de la computación teórica vol. 9: 2, 2007, pp.3-10), escribió: Cerny conjeturó en 1964 …

19 fl.formal-languages  automata-theory  open-problem  synchronization 

¿Cuáles son algunos de los principales problemas de complejidad computacional abierta que surgen de los lenguajes de programación, especialmente el análisis y la compilación de programas? Estoy buscando problemas en las líneas de "la complejidad temporal de la inferencia de tipo Hindley-Milner" o "la complejidad temporal de 0CFA" (aunque ambos …

17 cc.complexity-theory  pl.programming-languages  big-list  open-problem 

Leí que la programación lineal entera se puede resolver en tiempo polinominal si el número de variables es fijo, es decir, n ∈ O ( 1 ) . Si el número de variables crece logarítmicamente, es decir, n ∈ O ( log 2 ( N ) ) para una entrada …

16 cc.complexity-theory  np  open-problem 

Antecedentes Las funciones en son PAC que se pueden aprender en tiempo cuasipolinomial con un algoritmo clásico que requiere consultas elegidas al azar para aprender un circuito de profundidad d [1]. Si no hay un algoritmo de factorización , entonces esto es óptimo [2]. Por supuesto, en una computadora cuántica …

15 quantum-computing  lg.learning  machine-learning  open-problem  ne.neural-evol 

Estoy interesado en el problema "más cercano" (y "más complejo") de la conjetura de Collatz que se ha resuelto con éxito (que Erdos dijo que "las matemáticas aún no están maduras para tales problemas"). Se ha demostrado que una clase de problemas "tipo Collatz" es indecidible. Sin embargo, los problemas …

14 reference-request  open-problem  nt.number-theory  halting-problem  computability 

Considere un lenguaje LLL tal que: L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) y asi que L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) En otras palabras, la máquina más rápida calcula en el tiempo y la máquina más eficiente en espacio calcula mientras usa el espacio .L O ( f ( n ) ) …

14 cc.complexity-theory  ds.algorithms  open-problem  space-time-tradeoff 

Me pregunto cómo encontrar la circunferencia de un gráfico escaso no dirigido. Por escaso quiero decir . Por óptimo me refiero a la menor complejidad de tiempo.|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) Pensé en alguna modificación en el algoritmo de Tarjan para gráficos no dirigidos, pero no encontré buenos resultados. En realidad, pensé que si …

14 ds.algorithms  graph-theory  open-problem 

Objetivo : resolver la conjetura de que no existe un plano proyectivo de orden 12. En 1989, utilizando la búsqueda por computadora en un Cray, Lam demostró que no existe un plano proyectivo de orden 10. Ahora que el Número de Dios para el Cubo de Rubik se ha determinado …

14 open-problem