Ciencias de la Computación

Tal vez me estoy perdiendo algo obvio, pero ¿puede ser que P = co-NP ⊊⊊\subsetneqNP o viceversa? Mi sensación es que debe haber algún teorema que descarte esta posibilidad.

8 complexity-theory  p-vs-np 

¿Hay algún problema de decisión que se encuentre en una clase de complejidad incluida correctamente en DLOGTIME? (exceptoO ( 1 )O(1)O(1), por supuesto) Si es así, ¿podemos crear problemas completos para DLOGTIME? Entonces, ¿puede haber una reducción porO ( log( registron ) )O(Iniciar sesión⁡(Iniciar sesión⁡norte))O(\log(\log n)) o más pequeño?

8 complexity-theory  time-complexity  complexity-classes 

Las máquinas de Turing tienen un alfabeto de símbolos formales , un estado y una descripción basada en reglas de transición de cómo se realiza un cálculo. El Modelo de actor a veces se menciona como un modelo computacional más poderoso que las máquinas de Turing (no en lo que …

8 terminology  computability  reference-request  programming-languages  computation-models 

Antes que nada debemos leer una palabra y el tamaño deseado. Luego, necesitamos encontrar el palíndromo más largo creado por los caracteres en esta palabra utilizada en orden. Por ejemplo, para size = 7 y word = "abcababac" la respuesta es 7 ("abababa"). Postdata: el tamaño de la palabra es …

8 algorithms  strings  subsequences 

Sea un conjunto no trivial de lenguajes recursivamente enumerables ( ) y L sea ​​el conjunto de codificaciones de máquinas Turing que reconocen algún lenguaje en C : L = \ {\ langle M \ rangle \ mid L (M) \ en C \}CCC∅⊊C⊊RE∅⊊C⊊RE\emptyset \subsetneq C \subsetneq \mathrm{RE}LLLCCCL={⟨M⟩∣L(M)∈C}L={⟨M⟩∣L(M)∈C}L=\{\langle M \rangle …

8 computability  turing-machines 

Tengo en unos días un examen y tengo problemas para resolver esta tarea. Dejar LLL ser un lenguaje regular sobre el alfabeto ΣΣ\Sigma. Tenemos la operacion cycle(L)={xy∣x,y∈Σ∗ and yx∈L}cycle⁡(L)={xy∣x,y∈Σ∗ and yx∈L}\operatorname{cycle}(L) = \{ xy \mid x,y\in \Sigma^* \text{ and } yx\in L\} Y ahora deberíamos demostrar que cycle(L)cycle⁡(L)\operatorname{cycle}(L) También es …

8 formal-languages  regular-languages  finite-automata  closure-properties 

Al leer el documento Una Introducción al Cálculo Lambda , me encontré con un párrafo que realmente no entendía, en la página 34 (mi cursiva): Dentro de cada uno de los dos paradigmas hay varias versiones de cálculo lambda mecanografiado. En muchos sistemas importantes, especialmente aquellos a la Iglesia, los …

8 computability  logic  lambda-calculus  type-theory 

Si un algoritmo de cifrado está destinado a convertir una cadena en otra cadena que luego se puede descifrar de nuevo al original, ¿cómo podría este proceso implicar alguna aleatoriedad? Seguramente tiene que ser determinista, de lo contrario, ¿cómo podría la función de descifrado saber qué factores estuvieron involucrados en …

8 cryptography  encryption  randomness 

Así que estoy leyendo "Introducción al aprendizaje automático" 2ª edición, por Bishop, et. todas. En la página 27 discuten la Dimensión Vapnik-Chervonenkis que es, "El número máximo de puntos que puede ser destruido por H [la clase de hipótesis] se llama Dimensión Vapnik-Chervonenkis (VC) de H, se denota VC (H) …

8 machine-learning  vc-dimension 

Estoy buscando algunos ejemplos relativamente simples de cuándo ocurren los riesgos estructurales en una arquitectura canalizada. El único escenario en el que puedo pensar es cuando se necesita acceder a la memoria durante las diferentes etapas de la tubería (es decir, la etapa inicial de búsqueda de instrucciones y la …

8 computer-architecture  cpu-pipelines 

Sé que los problemas de la mochila 2D y 3D son NPC, pero ¿hay alguna forma de resolverlos en un tiempo razonable si las instancias no son muy complicadas? ¿Funcionaría la programación dinámica? Por mochila 2D (3D) quiero decir que tengo un cuadrado (cubo) y una lista de objetos, todos …

8 algorithms  complexity-theory  np-complete  computational-geometry  knapsack-problems 

Me pidieron que encontrara los argumentos adversarios necesarios para encontrar los límites inferiores para la selección y el tipo de inserción. No pude encontrar una referencia en ningún lado. Tengo algunas dudas al respecto. Entiendo que los argumentos adversos generalmente se usan para encontrar límites inferiores para ciertos "problemas" en …

8 algorithms  algorithm-analysis  proof-techniques  lower-bounds 

Estoy trabajando en el problema H en el concurso ACM ICPC 2004–2005 del noreste de Europa . El problema es básicamente encontrar el peor de los casos que produce un número máximo de intercambios en el algoritmo (tamizar hacia abajo) para construir el montón. Entrada: el archivo de entrada contiene …

8 algorithms  data-structures  algorithm-analysis  sorting 

Es una declaración bien conocida que "La seguridad criptográfica debe basarse en una clave secreta en lugar de un algoritmo secreto ". Me gustaría preguntar sobre algunos detalles al respecto. ¿Y cuáles son sus diferencias? Veo lo obvio que para un sistema multiusuario, generar una clave es abrumadoramente más fácil …

8 cryptography  security  encryption 

Tengo un problema logístico que puede verse como una variante de TSPTSP\text{TSP}. Es tan natural, estoy seguro de que se ha estudiado en la investigación de operaciones o algo similar. Aquí hay una forma de ver el problema. Tengo almacenes en el plano cartesiano. Hay un camino desde un almacén …

8 algorithms  optimization  reference-request  approximation