Preguntas etiquetadas con complexity-theory

Estoy empezando a entrar en la teoría de la computación, que estudia qué se puede calcular, qué tan rápido, usando cuánta memoria y con qué modelo computacional. Tengo una pregunta bastante básica, pero realmente espero que algunos de ustedes puedan ayudarme a comprender el concepto detrás de esto: ¿Por qué …

10 complexity-theory  formal-languages 

Hemos tenido varias preguntas sobre la relación de las reducciones de Cook y Karp . Está claro que las reducciones de Cook (reducciones de Turing de tiempo polinómico) no definen la misma noción de integridad de NP que las reducciones de Karp (reducciones de tiempo múltiple polinomiales), que generalmente se …

10 complexity-theory  reference-request  np-complete  reductions 

Introducción y anotaciones: Aquí hay una versión nueva y simple de mi algoritmo que parece terminar (según mis experimentos), y ahora me gustaría probarlo. Deje que la notación refiera a un punto de datos dimensional (un vector). Tengo tres conjuntos A, B y C, de modo que , , : …

10 algorithms  complexity-theory  algorithm-analysis  optimization 

Considere el siguiente problema cuya instancia de entrada es un gráfico simple y un entero natural k .solsolGkkk ¿Existe un conjunto tal que G - S sea ​​bipartito y | S | ≤ k ?S⊆ V( G )S⊆V(sol)S \subseteq V(G)G - Ssol-SG - SEl | SEl | ≤kEl |SEl |≤k|S| …

10 complexity-theory  np-complete  reductions 

Tomo curso sobre Complejidad Computacional. Mi problema es que no entiendo el método de relativización . Intenté encontrar un poco de intuición en muchos libros de texto, desafortunadamente, hasta ahora sin éxito. Apreciaré si alguien pudiera arrojar luz sobre este tema para poder continuar por mí mismo. Pocas oraciones siguientes …

10 complexity-theory  np-complete  complexity-classes  relativization  np 

Estoy buscando una especialización en Informática Teórica; específicamente, estoy interesado en la teoría de la complejidad y la teoría probabilística de autómatas. Al graduarme en un año, ¿qué cursos avanzados de matemáticas (como la teoría de Galois o el análisis armónico, por ejemplo) crees que serían útiles para tomar en …

10 complexity-theory  automata  education 

¿Cuál es la complejidad de la computación ?nn2,n∈Nnn2,n∈Nn^{n^2},\;n \in \mathbb{N}

10 complexity-theory  integers  number-theory 

La pregunta es el ejercicio 1.9 del libro de Arora-Barak Complejidad computacional: un enfoque moderno : Defina una máquina RAM Turing para que sea una máquina Turing que tenga memoria de acceso aleatorio. Formalizamos esto de la siguiente manera: la máquina tiene una matriz infinita A que se inicializa en …

10 complexity-theory  turing-machines  machine-models  simulation 

Tengo un problema en mi mente, creo que es un problema NPC pero no sé cómo probarlo. Aquí está el problema: Hay k islas en un lago muy grande, y hay n pontones en forma de abanico. Esos pontones son del mismo tamaño pero tienen diferentes direcciones iniciales y están …

10 complexity-theory  np-complete  np-hard 

Estoy tratando de resolver una tarea (tomada del libro Algorithms - de S. Dasgupta, CH Papadimitriou y UV Vazirani , Capítulo 8, problema 8.6a), y estoy parafraseando lo que dice: Dado que 3SAT permanece NP-completo incluso cuando se restringe a fórmulas en las que cada literal aparece como máximo dos …

10 complexity-theory  satisfiability  3-sat 

Formulación Alternativa Se me ocurrió una formulación alternativa para el siguiente problema. La formulación alternativa es en realidad un caso especial del problema a continuación y utiliza gráficos bipartitos para describir el problema. Sin embargo, creo que la formulación alternativa sigue siendo NP-hard. La formulación alternativa utiliza un conjunto disjunto …

10 complexity-theory  graphs  graph-theory  np-complete 

Mi libro dice esto Si un problema de decisión B está en P y A se reduce a B, entonces el problema de decisión A está en P. Un problema de decisión B es NP completo si B está en NP y para cada problema en A en NP, A …

10 complexity-theory  np-complete  decision-problem 

La definición de P es un lenguaje que puede decidirse mediante un algoritmo de tiempo polinómico. La definición de P / poly puede tomarse como un lenguaje que puede decidirse por un circuito de tamaño polinómico (ver http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf ). Ahora, ¿por qué no se puede simular un circuito de tamaño …

10 complexity-theory  time-complexity  circuits 

En realidad, descubrí que el conjunto de lenguajes sensibles al contexto, ( \ mathbf {= NSPACE (O (n)) = LBA} idiomas aceptados) no se discuten tan ampliamente como \ mathbf {REG} (idiomas regulares) o \ mathbf {CFL} (lenguajes sin contexto). Y también el problema abierto \ mathbf {DSPACE (O (n))} …

10 complexity-theory  np-complete  space-complexity  context-sensitive 

Wikipedia dice que la unión por rango sin compresión de ruta da una complejidad de tiempo amortizada de , y que tanto la unión por rango como la compresión de ruta da una complejidad de tiempo amortizada de O ( α ( n ) ) (donde α es el inverso …

10 complexity-theory  time-complexity  union-find