Ciencias de la computación teórica

El problema de la "Segunda " es el problema de decidir la existencia de otra solución diferente de alguna solución dada para la instancia del problema.XXX Para algunos problemas de -completo, la segunda versión de la solución es N P -completa (decidir la existencia de otra solución para el problema …

11 cc.complexity-theory  unique-solution 

La única definición de "cálculo" que conozco es el estudio de límites, derivados, integrales, etc. en el análisis. ¿En qué sentido es el cálculo lambda (o cosas como el cálculo mu) un "cálculo"? ¿Cómo se relaciona con el cálculo en el análisis?

11 terminology  lambda-calculus 

Estoy leyendo el famoso documento Impagliazzo y Wigderson en 1997. Como soy nuevo en este campo y el documento es una versión concisa de la conferencia, tengo dificultades para seguir sus pruebas. En particular, algunos de sus nuevos teoremas carecen de pruebas. Que yo sepa, no se ha publicado una …

11 cc.complexity-theory  reference-request  circuit-complexity  derandomization  pseudorandom-generators 

Estoy buscando recursos (preferiblemente un manual) sobre temas avanzados en algoritmos (temas más allá de lo que se cubre en los libros de texto de algoritmos como CLRS y DPV). El tipo de material que se puede usar para enseñar un tema en un curso de algoritmos como Erik Demaine …

11 ds.algorithms  reference-request  survey  books 

Sean Anderson publicó trucos de bit twiddling que contienen el algoritmo de Eric Cole para encontrar el de un entero de N bits v en operaciones O ( lg ( N ) ) con multiplicación y búsqueda.⌈log2v⌉⌈log2⁡v⌉\lceil\log_2 v \rceilNNNvvvO(lg(N))O(lg⁡(N))O(\lg(N)) El algoritmo se basa en un número "mágico" de la secuencia …

11 nt.number-theory  comp-number-theory 

Suponga que se nos da una matriz A[1..n]A[1..n]A[1..n] contiene enteros no negativos (no necesariamente distintos). BBBAAAm=maxi∈[n]B[i]+i.m=maxi∈[n]B[i]+i.m = \max_{i\in [n]} B[i]+i. La solución obvia es ordenar AAA y luego calcular mmm . Esto proporciona un algoritmo que se ejecuta en el tiempo O(nlgn)O(nlg⁡n)O(n \lg n) en el peor de los casos. …

11 cc.complexity-theory  ds.algorithms  optimization  sorting 

Sea un vector de variables booleanas. Sea dos circuitos booleanos en . Digamos que es similar a si:x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n)C,DC,DC,DxxxCCCDDD Pr[C(x)≠D(x)]Pr[C(x)≠D(x)]\Pr[C(x) \ne D(x)] es exponencialmente pequeño, cuando xxx se dibuja uniformemente al azar desde {0,1}n{0,1}n\{0,1\}^n (en otras palabras, tienen una funcionalidad casi idéntica); y, C,DC,DC,D difieren en la distancia de edición del …

11 sat  application-of-theory 

Estoy interesado en estudiar los problemas completos del isomorfismo gráfico (IG). En el documento "Problemas polinomialmente equivalentes al isomorfismo gráfico" de Kellogg S. Booth, (1979), demostró que muchos problemas básicos se completan GI mediante el uso de técnicas de reemplazo de bordes, técnicas de composición, etc. Me gustaría aprender algunas …

11 cc.complexity-theory  reference-request  graph-isomorphism 

Para un problema de búsqueda local polinómica , sabemos que debe existir al menos una solución (óptimo local). Sin embargo, podrían existir muchas más soluciones, ¿qué tan difícil es contar la cantidad de soluciones para un problema PLS completo? Estoy particularmente interesado en el problema de decisión: ¿la instancia de …

11 cc.complexity-theory  counting-complexity  gt.game-theory 

Los autómatas pushdown alternos unidireccionales (1APDA) pueden reconocer cualquier idioma en (Alternancia de Chandra, Kozen y Stockmeyer, 1981) . Al reemplazar un almacenamiento pushdown de un 1APDA con un contador, podemos obtener un autómata alternativo unidireccional con un contador (1ACA). Mi pregunta es sobre 1ACA en idiomas unarios.DTIME(2O(n))DTIME(2O(n)) DTIME(2^{O(n)}) ¿Pueden …

11 automata-theory  counter-automata  unary-languages 

Entiendo que las siguientes afirmaciones son ciertas: Dos derivaciones distintas de una cadena en un CFG dado a veces pueden atribuir el mismo árbol de análisis a la cadena. Cuando hay derivaciones de alguna cadena en un CFG dado que atribuyen diferentes árboles de análisis, el CFG es ambiguo. Algunos …

11 fl.formal-languages  regular-language  context-free 

Tengo dificultades para comprender los últimos pasos del algoritmo AHSP. Deje que sea un grupo abeliano y ser la función que oculta el subgrupo . Deje que representa el grupo dual de .GGGfffHHHG∗G∗G^*GGG Estos son los pasos del algoritmo. Primero prepara el estado, I=1|G|∑g∈G|g⟩|0⟩I=1|G|∑g∈G|g⟩|0⟩\qquad \displaystyle I=\frac{1}{|G|} \sum_{g \in G} |g\rangle|0\rangle …

11 ds.algorithms  quantum-computing  gr.group-theory 

Estoy buscando un algoritmo eficiente para el problema: Entrada : El entero positivo (almacenado como bits) para algún entero n ≥ 0 .3n3n3^nn≥0n≥0n \geq 0 Salida : el número .nnn Pregunta : ¿Podemos calcular partir de los bits de 3 n en el tiempo O ( n ) ?nnn3n3n3^nO(n)O(n)O(n) Esta …

11 ds.algorithms  time-complexity 

En primer lugar, mi comprensión del teorema de incompletitud de Gödel (y la lógica formal en general) es muy ingenua, también es mi conocimiento en informática teórica (lo que significa que solo tomé un curso de posgrado mientras aún estoy en la universidad), por lo que esta pregunta puede ser …

11 np-hardness  proofs  p-vs-np 

He estado aprendiendo algo sobre la implementación de tipos dependientes, como este tutorial , pero la mayoría de ellos está implementando intérpretes. Mi pregunta es, parece que implementar un compilador para el tipo dependiente es mucho más difícil que un compilador, porque realmente puede evaluar los argumentos del tipo dependiente …

11 type-systems  compilers  dependent-type