Preguntas etiquetadas con complexity-theory

¿El análisis suavizado encontró su camino en el análisis principal de algoritmos? ¿Es común que los diseñadores de algoritmos apliquen análisis suavizados a sus algoritmos?

24 algorithms  complexity-theory  algorithm-analysis 

Hace poco estuve leyendo sobre algoritmos para verificar la bimilaridad y leí que el problema es P-completo . Además, una consecuencia de esto es que este problema, o cualquier problema P-completo, es poco probable que tenga algoritmos paralelos eficientes. ¿Cuál es la intuición detrás de esta última declaración?

23 complexity-theory  parallel-computing 

Esta pregunta se migró de Intercambio teórico de apilamiento de informática porque se puede responder en Intercambio apilado de informática. Migrado hace 7 años . En este artículo de Wikipedia sobre el problema de la camarilla en la teoría de grafos , establece al principio que el problema de encontrar …

23 complexity-theory  graph-theory  np-complete  complexity-classes 

Estoy buscando algunas pistas en una pregunta que me hizo mi instructor. Así que descubrí que este problema de decisión es :NP-completeNP-complete\sf{NP\text{-}complete} En un gráfico , ¿hay un árbol de expansión en G que contenga un conjunto exacto de S = { x 1 , x 2 , ... , …

23 complexity-theory  graphs  np-complete 

Me gustaría comenzar la pregunta diciendo que soy programador y que no tengo muchos antecedentes en teoría de la complejidad. Una cosa que he notado es que si bien muchos problemas son NP completos, cuando se extienden a problemas de optimización, algunos son mucho más difíciles de aproximar que otros. …

22 complexity-theory  optimization  np  approximation 

Supongamos que P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} . NPINPI\mathsf{NPI} es la clase de problemas en NPNP\mathsf{NP} que no están ni en PP\mathsf{P} ni en NPNP\mathsf{NP} -duros. Puede encontrar una lista de problemas conjeturados como NPINPI\mathsf{NPI} aquí . El teorema de Ladner nos dice que si NP≠PNP≠P\mathsf{NP}\neq\mathsf{P} hay una jerarquía infinita de problemas …

22 complexity-theory  np-hard 

Entonces entiendo la idea de que el problema de decisión se define como ¿Existe una ruta P tal que el costo sea menor que C? y puede verificar fácilmente que esto sea cierto al verificar la ruta que recibe. Sin embargo, ¿qué pasa si no hay un camino que se …

21 complexity-theory  time-complexity  np  decision-problem  traveling-salesman 

El problema de la suma de subconjuntos es un problema clásico de NP completo: Dada una lista de números y un objetivo k , ¿hay un subconjunto de números de LLLLkkkLLL que sume a ?kkk Un estudiante me preguntó si esta variante del problema llamado problema del "subconjunto de productos" …

21 complexity-theory  np-complete  reductions 

Una posible motivación para estudiar las clases de complejidad computacional es comprender el poder de los diferentes tipos de recursos computacionales (aleatoriedad, no determinismo, efectos cuánticos, etc.). Si lo miramos desde esta perspectiva, parece que podemos obtener un axioma plausible para cualquier intento de caracterizar qué cálculos son factibles en …

21 complexity-theory  oracle-machines 

Aquí está el problema. Dado , donde cada T i ⊆ { 1 , ... , n } . ¿Hay un subconjunto S ⊆ { 1 , ... , n } con un tamaño máximo de k tal que S ∩ T i ≠ ∅ para todo i ? Estoy …

21 complexity-theory  reductions  np-hard 

Recientemente encontré en un artículo [1] una versión simétrica especial de SAT llamada 2/2/4-SAT . Pero hay muchas variantes completas de , por ejemplo: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...notario públicoNP\text{NP} Algunas otras variantes son manejables: - SAT , Planar-NAE- SAT , ...222SABSAT\text{SAT}SABSAT\text{SAT} ¿Existen documentos de encuesta (o páginas …

20 complexity-theory  reference-request  satisfiability 

Me encontré con las siguientes dudas sobre la complejidad de Towers of Hanoi , sobre las cuales quisiera sus comentarios. ¿Está en NP? Intento de respuesta: supongamos que Peggy (probador) resuelve el problema y lo envía a Victor (verificador). Víctor puede ver fácilmente que el estado final de la solución …

20 complexity-theory  time-complexity 

Supongamos que tenemos un grafo dirigido y dos nodos y . Me gustaría saber si ya hay algoritmos para calcular el siguiente problema de decisión:G=(V,E)G=(V,E)G=(V,E)AAABBB ¿Hay al menos dos caminos entre y de la misma longitud?AAABBB ¿Qué tal la complejidad? ¿Puedo resolverlo en tiempo polinómico? Me gustaría agregar una nueva …

20 complexity-theory  graph-theory  time-complexity  graphs 

Esto está inspirado en una pregunta de entrevista . Se nos da una matriz de enteros y tenemos que determinar si hay distintos manera quea1,…,ana1,…,ana_1, \dots, a_ni<j<ki<j<ki \lt j \lt k ak−aj=aj−aiak−aj=aj−aia_k - a_j = a_j - a_i k−j=j−ik−j=j−ik - j = j - i es decir, las secuencias y …

20 algorithms  complexity-theory  lower-bounds 

Wikipedia afirma que el problema de la suma de subconjuntos es encontrar un subconjunto de un conjunto múltiple de números enteros, cuya suma es cero. Además, afirma que es equivalente a encontrar un subconjunto con la suma de para cualquier dado .ssssss Entonces, como son equivalentes, debe haber una reducción …

20 complexity-theory  reductions  np-hard