Preguntas etiquetadas con complexity-theory

El logaritmo discreto es lo mismo que encontrar en , dada una , c , y N .bbbab=cmodNab=cmodNa^b=c \bmod NaaacccNNN Me pregunto en qué grupos de complejidad (por ejemplo, para computadoras clásicas y cuánticas) se encuentra, y qué enfoques (es decir, algoritmos) son los mejores para realizar esta tarea. El …

20 algorithms  complexity-theory  time-complexity  discrete-mathematics 

Tal vez esto sea bastante simple, pero tengo algunos problemas para obtener esta reducción. ¡Quiero reducir Subset Sum a Partition pero en este momento no veo la relación! ¿Es posible reducir este problema usando una reducción de Levin? ¡Si no entiendes, escribe para aclarar!

20 complexity-theory  np-complete  reductions 

¿Hay algún problema en que tenga algoritmos aleatorios que superen los límites inferiores en algoritmos deterministas? Más concretamente, ¿conocemos alguna para la cual \ mathsf {DTIME} (n ^ k) \ subsetneq \ mathsf {PTIME} (n ^ k) ? Aquí \ mathsf {PTIME} (f (n)) significa el conjunto de idiomas que …

20 algorithms  complexity-theory  randomized-algorithms 

He tenido problemas para aceptar la visión teórica de la complejidad de "eficientemente resuelto por algoritmo paralelo" que es dada por la clase NC : NC es la clase de problemas que puede resolver un algoritmo paralelo en el tiempo O(logcn)O(logc⁡n)O(\log^cn) en procesadores con .p(n)∈O(nk)p(n)∈O(nk)p(n) \in O(n^k)c,k∈Nc,k∈Nc,k \in \mathbb{N} Podemos …

20 complexity-theory  reference-request  parallel-computing 

Permítanme comenzar señalando que este es un problema de tarea, por favor brinden solo consejos y observaciones relacionadas, NO RESPUESTAS DIRECTAS por favor . Dicho esto, aquí está el problema que estoy viendo: Deje HALF-CLIQUE = { | es un gráfico no dirigido que tiene una subgrafía completa con al …

20 complexity-theory  np-complete  reductions 

¿Cómo puedo probar que la conversión de CNF a DNF es NP-Hard? No estoy pidiendo una respuesta, solo algunas sugerencias sobre cómo probarlo.

20 complexity-theory  np-hard  satisfiability  sat-solvers  normal-forms 

Según Immerman , la clase de complejidad asociada con las consultas SQL es exactamente la clase de consultas seguras en Q ( F O ( C O U N T ) )Q(FO(COUNT))\mathsf{Q(FO(COUNT))} (consultas de primer orden más operador de conteo): SQL captura consultas seguras. (En otras palabras, todas las consultas …

20 database-theory  complexity-theory  finite-model-theory  descriptive-complexity 

Considere dos posibilidades para el problema P vs. NP: P = NP y P NP.≠≠\neq Sea Q uno de los problemas NP-hard conocidos. Para probar P = NP, necesitamos diseñar un solo algoritmo de tiempo polinomial A para Q y demostrar que A resuelve correctamente Q. Para probar P NP, …

20 complexity-theory  p-vs-np 

Muchas veces, si las complejidades tienen constantes como 3n, descuidamos esta constante y decimos O (n) y no O (3n). No puedo entender cómo podemos descuidar un cambio tan triple. ¡Algo varía 3 veces más rápido que otro! ¿Por qué descuidamos este hecho?

20 complexity-theory  asymptotics  landau-notation 

En la multiplicación matricial de Strassen, afirmamos un hecho extraño (al menos para mí) de que la multiplicación matricial de dos 2 x 2 requiere 7 multiplicaciones. Pregunta: ¿Cómo demostrar que es imposible multiplicar dos matrices de 2 x 2 en 6 multiplicaciones? Tenga en cuenta que las matrices están …

19 algorithms  complexity-theory  lower-bounds 

¿Se requiere que un problema NP-hard sea computable? No lo creo, pero no estoy seguro.

19 complexity-theory  computability  np-hard 

Estoy estudiando la complejidad computacional y me preguntaba por qué los problemas NP-Complete (NPC) son una clase importante en absoluto. Me parece obvio por qué estamos interesados ​​en mostrar que un problema NP dado es NP-hard. También entiendo la definición de NPC, y que mostrar un problema de decisión dado …

19 complexity-theory  np-complete 

Estoy buscando ejemplos de problemas que tengan un límite inferior de Ω(|x|2Ω(|x|2\Omega(|x|^2 ) para la entrada xxx . El problema debe tener las siguientes propiedades: Ω(n2)Ω(n2)\Omega(n^2)Prueba de tiempo de ejecución de Ω ( n 2 ) para cualquier algoritmo: la primera prioridad es tener un argumento de límite inferior tan …

19 complexity-theory  turing-machines  time-complexity  lower-bounds 

En el artículo La complejidad del problema de Frobenius de Ramírez-Alfonsín, se demostró que un problema era NP completo usando reducciones de Turing. ¿Es eso posible? ¿Cómo exactamente? Pensé que esto solo era posible por un tiempo polinómico, muchas reducciones. ¿Hay alguna referencia sobre esto? ¿Hay dos nociones diferentes de …

19 complexity-theory  time-complexity  np-complete  reductions 

Para cada función computable fff existe un problema que puede resolverse en el mejor de los casos en el tiempo Θ(f(n))Θ(f(n))\Theta(f(n)) o existe una función computable fff tal manera que cada problema que pueda resolverse en O(f(n))O(f(n))O(f(n)) también ser resuelto en o(f(n))o(f(n))o(f(n)) tiempo? Esta pregunta me vino a la cabeza …

19 complexity-theory