Ciencias de la computación teórica

Un circuito booleano no determinista tiene, además de las entradas ordinarias , un conjunto de entradas "no deterministas" y = ( y 1 , ... , y m ) . Un circuito no determinista C acepta la entrada x si existe y tal que la salida del circuito 1 está …

17 cc.complexity-theory  circuit-complexity  nondeterminism 

Antecedentes Se sabe que existe un oráculo AAA tal que, P S P A C E A ≠ P H APSPACEA≠PHAPSPACE^A \neq PH^A . Incluso se sabe que la separación es relativa a un oráculo aleatorio. Informalmente, uno puede interpretar que esto significa que hay muchos oráculos para los cuales …

17 cc.complexity-theory  oracles  relativization  pspace  structural-complexity 

Supongamos que tenemos un conjunto finito de discos en , y deseamos calcular el disco más pequeño para el que . Una forma estándar de hacer esto es utilizar el algoritmo de Matoušek, Sharir y Welzl [1] para encontrar una base de , y dejar que , el disco más …

17 cg.comp-geom  linear-programming  computational-geometry 

En el libro de Sakarovitch sobre teoría de autómatas, está escrito en la introducción a la sección de racionales en el grupo libre que el material presentado en él establece "la base de una teoría verdaderamente matemática de lenguajes libres de contexto". Sin embargo, esto no se hace explícito, ya …

17 context-free  automata-theory  reference-request 

Muchos teoremas y "paradojas": la diagonalización de Cantor, la indecidibilidad de la incubación, la indecisión de la complejidad de Kolmogorov, la incompletitud de Gödel, la incompletitud de Chaitin, la paradoja de Russell, etc., tienen esencialmente la misma prueba por diagonalización (tenga en cuenta que esto es más específico de lo …

17 lo.logic  computability  ct.category-theory  kolmogorov-complexity 

Soy un matemático que trabaja principalmente en la teoría espectral de operadores unitarios y autoadjuntos. Parte de mi investigación es relevante en caminatas cuánticas, y tengo un artículo en particular que me gustaría presentar en la conferencia de Procesamiento de Información Cuántica este enero en Seattle. La cultura de la …

17 soft-question  conferences 

Estoy buscando el combinador universal más pequeño posible , medido por el número de abstracciones y aplicaciones requeridas para especificar dicho combinador en el cálculo lambda . Los ejemplos de combinadores universales incluyen: tamaño 23: λf.f (fS (KKKI)) K tamaño 18: λf.f (fS (KK)) K tamaño 14: λf.fKSK tamaño 12: …

17 lo.logic  computability  lambda-calculus  universal-computation  combinatory-logic 

Es bien sabido que muchos problemas NP-completos exhiben transición de fase. Estoy interesado aquí en la transición de fase con respecto a la contención en el lenguaje, en lugar de la dureza de la entrada, en relación con un algoritmo. Para que el concepto no sea ambiguo, definamos formalmente lo …

17 cc.complexity-theory  phase-transition 

Se sabe que el tamaño mínimo de los U_2 que calculan la función de paridad es exactamente igual a . La prueba de límite inferior se basa en el método de eliminación de puerta.U2U2U_23(n−1)3(n−1)3(n-1) Recientemente, noté que el método de eliminación de compuerta funciona bien también para U_2 no deterministas …

17 cc.complexity-theory  reference-request  circuit-complexity 

Imagínese, definimos números naturales en cálculo lambda tipeado de forma dependiente como números de la Iglesia. Se pueden definir de la siguiente manera: SimpleNat = (R : Set) → R → (R → R) → R zero : SimpleNat zero = λ R z _ → z suc : SimpleNat …

17 type-theory  lambda-calculus  dependent-type 

Dado el grupo de simetría y dos subgrupos y , ¿se mantiene ? G , H ≤ S n π ∈ S n G π ∩ H = ∅SnorteSnorteS_nG , H≤ Snortesol,H≤SnorteG, H\leq S_nπ∈ Snorteπ∈Snorte\pi\in S_nG π∩ H= ∅solπ∩H=∅G\pi\cap H=\emptyset Hasta donde yo sé, el problema se conoce como el …

17 cc.complexity-theory  graph-isomorphism  gr.group-theory 

Para un gráfico acíclico dirigido , hay una estructura de datos que permite consultas de accesibilidad sin requerir espacio cuadrática o tiempo lineal? Idealmente, busco un algoritmo que use solo espacio O (log n) por vértice y tiempo logarítmico⟨ V, E⟩⟨V,mi⟩{\langle}V,E{\rangle} donde .n = |VEl | + |miEl |norte=El |VEl …

17 graph-algorithms 

Considere este problema: dada una lista de conjuntos finitos, busque un orden s1,s2,s3,…s1,s2,s3,…s_1, s_2, s_3, \ldots que minimice |s1|+|s1∪s2|+|s1∪s2∪s3|+…|s1|+|s1∪s2|+|s1∪s2∪s3|+...|s_1| + |s_1 \cup s_2| + |s_1 \cup s_2 \cup s_3| + \ldots . ¿Hay algoritmos conocidos para esto? ¿Cuál es su complejidad? Todavía no he podido pensar en un algoritmo óptimo …

17 cc.complexity-theory  ds.algorithms  optimization 

Este documento afirma que el análisis tradicional de la tasa de error en los filtros Bloom es incorrecto, luego proporciona un análisis extenso y no trivial de la tasa de error real. El documento vinculado se publicó en 2010, sin embargo, he visto que el análisis tradicional de los filtros …

17 ds.data-structures 

El límite inferior Blum 3n−o(n)3n−o(n)3n-o(n)es el límite inferior del circuito más conocido sobre la base completa de una función explícita f:{0,1}n→{0,1}f:{0,1}n→{0,1}f : \{0,1\}^n \to \{0,1\} , cf. La respuesta de Jukna a esta pregunta para obtener resultados relacionados. ¿Cuáles son los límites inferiores más conocidos si el rango de fff …

17 circuit-complexity  lower-bounds