Ciencias de la computación teórica

No he podido encontrar una declaración que relacione y N P R P en la literatura; los punteros serían apreciadosMAMA\mathsf{MA}NPRPNPRP\mathsf{NP}^\mathsf{RP} Creo que son iguales: : El N P máquina adivina cadena de Merlin, y los R P verifica Oracle la cadena como Arthur haría.MA⊆NPRPMA⊆NPRP\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP}NPNP\mathsf{NP}RPRP\mathsf{RP} : Merlin adivina el …

10 cc.complexity-theory  oracles 

Los tipos de propiedad y la lógica de separación parecen tener objetivos similares, control sobre la propiedad y alias. Quizás, también debería agregar: la capacidad de escribir especificaciones modulares. ¿Qué se sabe sobre la relación entre los tipos de propiedad y la lógica de separación?

10 pl.programming-languages  type-systems  object-oriented  program-logic 

Recientemente he estado leyendo una buena cantidad de documentos CoLT. Aunque no lucho con los documentos individuales (al menos no más de lo que normalmente lucho con otros documentos de teoría), no creo que tenga una buena comprensión del campo en general. ¿Existe un texto estándar, encuestas o notas de …

10 reference-request  machine-learning  lg.learning  survey  books 

Fijar . Para cualquier suficientemente grande , nos gustaría etiquetar todos los subconjuntos de de tamaño exactamente por enteros positivos de . Nos gustaría que este etiquetado satisfaga la siguiente propiedad: hay un conjunto de enteros, stn { 1 .. n } n / k { 1 ... T } …

10 ds.algorithms  graph-algorithms  it.information-theory  nt.number-theory  exp-time-algorithms 

Deje que sea ​​un problema completo de EXP. Entonces, .AAAPA=NPAPA=NPAP^A = NP^A Deje que sea cierto oráculo que tiene en cuentas las consultas que (TM en P) hará, y podemos obtener .BBBP B ≠ N P BMMMPB≠NPBPB≠NPBP^B \neq NP^B Pregunta: ¿Tenemos resultados de oráculo similares para P vs BPP?

10 cc.complexity-theory  oracles  relativization 

Deje . Necesito generar gráficos simples G de circunferencia g de modo que el conjunto de todos los g- ciclos forme una cubierta de doble borde de G (es decir, cada borde es compartido por exactamente dos g- ciclos), y tal que la intersección de dos g -cycles es un …

10 ds.algorithms  reference-request  graph-theory  co.combinatorics  pseudorandom-generators 

Las representaciones más simples para gráficos utilizan matrices / listas de adyacencia, lo que significa que cada nodo y borde se representa explícitamente. La importancia de las representaciones implícitas para gráficos que exhiben fuertes regularidades ha sido reconocida desde hace mucho tiempo. Por ejemplo, Galperin y Wigderson (1983), Papadimitriou y …

10 ds.algorithms  reference-request  graph-theory  survey  binary-decision-diagrams 

¿Hay alguna construcción conocida de un código de corrección de error lineal (con parámetros razonables), de modo que cuando se le da un vector booleano , también devuelve un vector booleano whp? (aunque se acabó ) v ∈ { 0 , 1 } n F qE C C : Fnorteq→ …

10 co.combinatorics  linear-algebra  coding-theory 

Hace unos años, me encontré con la siguiente regla de la izquierda para la igualdad en el cálculo posterior: s ≐ t ⇝ θθ ( Γ ) ⊢ θ ( C)Γ , s ≐ t ⊢ Cs≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢C \frac{s \doteq t \leadsto \theta \qquad \theta(\Gamma) \vdash \theta(C)} {\Gamma, s \doteq t …

10 reference-request  lo.logic  pl.programming-languages  proof-theory  sequent-calculus 

Wikipedia escribe: FPT contiene los problemas manejables del parámetro fijo, que son aquellos que pueden resolverse en el tiempo para alguna función computable f . Por lo general, esta función se considera exponencial simple, como 2 O ( k ), pero la definición admite funciones que crecen aún más rápido. …

10 cc.complexity-theory  fixed-parameter-tractable 

Es bien sabido que el cálculo de una máquina de Turing no determinista (NTM) es representable como un árbol de configuraciones, enraizado en la configuración inicial. Cualquier transición en el programa está representada por un enlace padre-hijo en este árbol. También se pueden construir árboles similares para visualizar los cálculos …

10 cc.complexity-theory  quantum-computing  randomness  derandomization  nondeterminism 

Es bien sabido que la máquina analítica de Charles Babbage tenía una arquitectura que se parecía mucho a la arquitectura moderna de Von Neumann. Además, es notable que las tablas para representar un programa para la máquina analítica de Babbage ( http://www.fourmilab.ch/babbage/figures/menat3.png ) y el trabajo de von Neumann (como …

10 ho.history-overview 

Decidir Graph Homomorphism es en general NP-Complete. ¿Hay algún resultado que estudie este problema cuando los gráficos subyacentes tienen estructura algebraica (como decidir los homomorfismos de Cayley o los gráficos de coset de Cayley a otros gráficos con alguna estructura definida también)? Además, los resultados de complejidad también me interesan …

10 cc.complexity-theory  graph-theory  co.combinatorics 

Para celebrar el cumpleaños de Alan Turing, Google publicó un garabato que muestra una máquina. ¿Qué tipo de máquina es el garabato? ¿Puede expresar un lenguaje completo de Turing? Hay diferencias obvias en la máquina clásica de turing: una cinta finita, restricciones en cómo se puede conectar el estado, ... …

10 cc.complexity-theory  turing-machines 

Deje ser un gráfico no dirigido. Una descomposición de V en subconjuntos disjuntos V i se llama descomposición de Hamilton de G si el subgrafo inducido por cada conjunto V i es un gráfico de Hamilton o consiste en un solo borde con | V i | = 2 .G=(V,E)G=(V,E)G=(V,E)VVVViViV_iGGGViViV_i|Vi|=2|Vi|=2|V_i|=2 …

10 cc.complexity-theory  ds.algorithms  graph-theory  np-hardness  hamiltonian-paths