Preguntas etiquetadas con cc.complexity-theory

Si un problema es NP-hard (usando reducciones de tiempo polinomiales), ¿eso implica que es P-hard (usando espacio de registro o reducciones NC)? Parece intuitivo que si es tan difícil como cualquier problema en NP, debería ser tan difícil como cualquier problema en P, pero no veo cómo encadenar las reducciones …

22 cc.complexity-theory  np-hardness 

Estoy considerando clases de gráficos que pueden caracterizarse por subgrafos prohibidos. Si una clase de gráfico tiene un conjunto finito de subgrafos prohibidos, entonces hay un algoritmo de reconocimiento de tiempo polinómico trivial (uno puede usar la fuerza bruta). Pero una familia infinita de subgrafos prohibidos no implica dureza: hay …

22 cc.complexity-theory  graph-theory  np-hardness 

Me pregunto si hay alguna justificación para creer que o para creer que ?N L ≠ LnorteL = LNL=LNL=LnorteL ≠ LNL≠LNL\neq L Se sabe que . La literatura sobre derandomization de es bastante convincente de que . ¿Alguien sabe acerca de algunos artículos o ideas convincentes que ? R L …

22 cc.complexity-theory  reference-request  complexity-classes  space-bounded 

Estoy buscando una referencia para el siguiente resultado: Agregar dos enteros en la representación factorizada es tan difícil como factorizar dos enteros en la representación binaria habitual. (Estoy bastante seguro de que está ahí afuera porque esto es algo que me había preguntado en algún momento, y luego me emocioné …

22 cc.complexity-theory  reference-request  time-complexity  factoring  encoding 

Esta pregunta es un seguimiento de la pregunta sobre los algoritmos de ADN formulada por Aadita Mehra . En los comentarios allí, Joe Fitzsimmons dijo, en parte: [E] l radio del sistema debe escalar proporcionalmente a la masa para evitar esto. El poder computacional se escala a lo sumo linealmente …

22 cc.complexity-theory  quantum-computing  ne.neural-evol  physics  natural-computing 

Para verificar mi comprensión, me gustaría compartir algunas ideas sobre los requisitos de energía de la computación. Este es un seguimiento de mi pregunta anterior y podría estar relacionado con la pregunta de Vinay sobre las leyes de conservación . Se me ocurrió que, desde un punto de vista termodinámico, …

22 cc.complexity-theory  big-picture  physics 

En La complejidad computacional de la óptica lineal ( ECCC TR10-170 ), Scott Aaronson y Alex Arkhipov argumentan que si las computadoras cuánticas pueden ser simuladas eficientemente por las computadoras clásicas, entonces la jerarquía polinómica se colapsa al tercer nivel. El problema motivador es el muestreo de una distribución definida …

22 cc.complexity-theory  quantum-computing 

¿Qué se sabe sobre la complejidad temporal del siguiente problema, que llamamos 3-MUL? Dado un conjunto de n enteros, ¿hay elementos a, b, c \ en S tales que ab = c ?n a , b , c ∈ S a b = cSSSnnna,b,c∈Sa,b,c∈Sa,b,c\in Sab=cab=cab=c Este problema es similar al …

22 cc.complexity-theory  ds.algorithms  time-complexity 

El teorema original de la jerarquía del tiempo no determinista se debe a Cook (el enlace es a S. Cook, una jerarquía para la complejidad del tiempo no determinista , JCSS 7 343–353, 1973). El teorema establece que para cualquier número real y , si entonces NTIME ( ) está …

22 cc.complexity-theory  nondeterminism  time-hierarchy 

Scott Aaronson propuso un desafío interesante : ¿podemos usar supercomputadoras hoy para ayudar a resolver problemas de CS de la misma manera que los físicos usan colisionadores de partículas grandes? Más concretamente, mi propuesta es dedicar parte de la potencia informática mundial a un intento total de responder preguntas como …

22 cc.complexity-theory 

La redacción exacta del título se debe a Anand Kulkarni (quien propuso que se creara este sitio). Esta pregunta se hizo como una pregunta de ejemplo, pero tengo una curiosidad increíble. Sé muy poco acerca de la geometría algebraica y, de hecho, solo tengo una comprensión superficial y de pregrado …

22 cc.complexity-theory  np-hardness  lower-bounds  gct  barriers 

Estaba leyendo " ¿Es P versus NP formalmente independiente? ", Pero me desconcertó. Se cree ampliamente en la teoría de la complejidad que . Mi pregunta es sobre qué pasa si esto no es demostrable (digamos en ). (Supongamos que solo descubrimos que es independiente de pero no hay más …

22 cc.complexity-theory  np-hardness  big-picture  proofs  p-vs-np 

El siguiente problema apareció recientemente en mi investigación. Al no ser un experto en preguntas algorítmicas, busqué en Google en busca de problemas adecuados para reducir. No veo cómo funcionaría 3SAT, y aunque ZOE es similar en espíritu, una reducción no es obvia. Otra posibilidad sería la teoría existencial de …

21 cc.complexity-theory 

Recientemente, pasé por la experiencia divertida y dolorosa de explicar informalmente el concepto de complejidad computacional a un programador autodidacta joven y talentoso, que nunca antes había tomado un curso formal sobre algoritmos o complejidad. No es sorprendente que muchas nociones parecieran extrañas al principio, pero tenían sentido con algunos …

21 cc.complexity-theory  ds.algorithms  np-hardness 

Es bien sabido que el siguiente problema es PSPACE-complete: Dada la expresión regular , ¿ ?L ( β ) = Σ ∗ββ\betaL ( β) = Σ∗L(β)=Σ∗L(\beta) = \Sigma^* ¿Qué pasa con la determinación de equivalencia a otras expresiones regulares (fijas) ?αα\alpha Dada la expresión regular , ¿ ?L ( β …

21 cc.complexity-theory  automata-theory  regular-expressions  pspace