Preguntas etiquetadas con complexity-theory

Una vez que arreglamos un verificador determinista de tiempo polinomial V (entrada, certificado), su problema NP correspondiente es la pregunta: para esta entrada, ¿existe un certificado (tamaño polinómico) tal que V (entrada, certificado) devuelva Verdadero? El problema de conteo asociado (clase #P) es: ¿Cuántos certificados existen de modo que V …

8 complexity-theory 

Creo que estas dos clases deberían ser las mismas, pero no puedo encontrar ninguna literatura sobre esto y tengo antecedentes limitados sobre el tema. Este es mi razonamiento, y me gustaría saber si (1) esto ya se conoce o (2) no entendí algo o (3) acabo de descubrir algo útil: …

8 complexity-theory  complexity-classes  quantum-computing 

Acabamos de terminar nuestra clase de "Construcibilidad de tiempo" en clase la semana pasada y, por el bien de nosotros, mostramos que nk,2nnk,2nn^k, 2^n son completamente construibles en el tiempo, es decir, existe una máquina de Turing (determinista de múltiples cintas) que para nnn dado, se detiene después de exactamente …

8 complexity-theory  turing-machines  time-complexity 

Me sorprendería si este no es un problema bien estudiado, pero no estoy seguro de qué más buscar en este momento: se le da un conjunto de -vectores binarios . El problema es encontrar otro conjunto de -vectores binarios , con un tamaño mínimo, de modo que cada vector en …

8 complexity-theory  arithmetic  matrices  linear-algebra 

No he podido encontrar un gráfico que represente o un texto que responda a la siguiente pregunta: ¿Existe una relación directa entre la complejidad de un algoritmo (como el mejor / peor caso de clasificación rápida) y la clase de autómatas que pueden implementar el algoritmo. Por ejemplo, ¿hay un …

8 complexity-theory  automata  reference-request  complexity-classes 

Así que acabamos de aprender sobre la auto-reducibilidad en clase. Mi profesor y nuestro libro de texto no se comprometerían a decir que todos los problemas en NP son auto reducibles, pero no parece haber ningún ejemplo de problemas que no lo sean. Me preguntaba si hay algún ejemplo, o …

8 complexity-theory  reductions  decision-problem  np 

Preguntas: ¿Puede haber un hash (criptográficamente seguro) que conserva la topología de la información de {0,1}∗{0,1}∗\{0,1\}^{*}? ¿Podemos agregar un predicado de cercanía eficientemente computable que dado hk(x)hk(x)h_k(x) y hk(y)hk(y)h_k(y) (o yyy en sí) nos dice si yyyestá muy cerca dexxx (por ejemplo, la distancia de Levenshtein o la distancia de …

8 complexity-theory  cryptography  hash  string-metrics  topology 

Me dan n objetos, y un conjunto de n permutaciones de estos n objetos (de n! Permutaciones totales). Hay una verdadera permutación subyacente, que sé que es una entre el conjunto de n permutaciones, pero no sé cuál. Sin embargo, un oráculo conoce la verdadera permutación. Para encontrar la permutación …

8 complexity-theory  lower-bounds  search-problem  permutations 

Un TA llegó hoy para preguntar algunas cosas sobre NP y co-NP. Llegamos a un punto en el que también estaba perplejo: ¿qué aspecto tiene un diagrama de Venn de P, NPI, NP y co-NP suponiendo que P ≠ NP (el otro caso es aburrido)? Parece que hay cuatro opciones …

8 complexity-theory  reference-request  complexity-classes  np 

Supongamos que ΠΠ\Pi es un problema de decisión decidible. ¿ Π∉NPΠ∉NP\Pi\not \in NP implica ΠΠ\Pi is NPNPNP -Hard? Editar: si suponemos que existe Π∈coNP∖NPΠ∈coNP∖NP\Pi\in coNP\setminus NP entonces hemos terminado. ¿Podemos refutar el reclamo sin suposiciones desconocidas?

8 complexity-theory  np-hard  complexity-classes  np 

Estoy tratando de vincular circuitos lógicos combinacionales (computadoras basadas solo en puertas lógicas) con todo lo que aprendí recientemente en Teoría de la Computación. Me preguntaba si los circuitos lógicos combinacionales pueden implementar cálculos de la misma manera que las máquinas de estados finitos. Parecen radicalmente diferentes: Las máquinas de …

8 complexity-theory  turing-machines  computation-models  circuits 

La clase de Nick (NC) es la clase de problemas que se pueden decidir en el tiempo de poli-log utilizando un número polinómico de procesadores. Quiero saber sobre el análogo exponencial, que cubriría los problemas que se pueden decidir en el tiempo polinómico usando un número exponencial de procesadores. Lo …

8 complexity-theory  reference-request  parallel-computing  complexity-classes 

¿Hay alguna clase de problemas NP que tengan una solución única? Lo pregunto porque cuando estaba estudiando criptografía leí sobre la mochila y la idea me pareció muy interesante.

8 complexity-theory  decision-problem  np  cryptography 

He intentado buscar en línea, pero no pude encontrar ninguna declaración definitiva. Para mí tendría sentido que Unión e Intersección de dos idiomas de la APN producirían una lengua no necesariamente en la APN. ¿También es cierto que los lenguajes NPC no están cerrados bajo el complemento, la concatenación y …

8 complexity-theory  np-complete  closure-properties 

Recientemente he estado lidiando con un problema que me llevó a las siguientes preguntas: ¿Existe un buen algoritmo para enumerar todas las coincidencias máximas / perfectas en un gráfico general? ¿Existe un buen algoritmo para encontrar todas las coincidencias máximas / perfectas en un gráfico general? ¿Son estos dos problemas …

8 algorithms  complexity-theory  graph-theory  reference-request  matching