Ciencias de la computación teórica

¿Hay algunas clases gráficas agradables para las cuales el ancho del árbol esté limitado por una función del número de camarilla ω ( G ) , es decir, t w ( G ) ≤ f ( ω ( G ) ) ?t w ( G )tw(G)tw(G)ω ( G )ω(G)\omega(G)t w …

10 graph-theory  treewidth 

Kurt Gödel 's incompleto teoremas establecer las 'limitaciones inherentes de todos, pero la mayoría de los sistemas axiomáticos triviales capaces de hacer aritmética'. La teoría de tipos de homotopía proporciona una base alternativa para las matemáticas, una base univalente basada en tipos inductivos superiores y el axioma de univalencia . …

10 lo.logic  type-systems  homotopy-type-theory 

Desde hace un tiempo, he estado muy interesado en la teoría del lenguaje de programación y los cálculos de procesos y he comenzado a estudiarlos. Para ser honesto, es algo en lo que no me importaría entrar para una carrera. La teoría me parece increíblemente fascinante. Una pregunta constante con …

10 pl.programming-languages  process-algebra 

Esta pregunta es acerca de si hay alguna lona de Turing reversible conocida, donde "reversible" significa en el sentido de Axelsen y Glück , y "tarpit" es un concepto mucho más informal (y podría no ser una muy buena elección de palabra), pero haré todo lo posible para explicar lo …

10 fl.formal-languages  computability  machine-models 

La minimización de circuitos es el problema para minimizar el tamaño de un circuito dado. ¿Hay algo similar para los programas generales? En particular mi pregunta es: ¿Existen algoritmos para minimizar el número de instrucciones para un programa dado? Sé que es un problema indecidible, pero no estoy buscando una …

10 pl.programming-languages  optimization  circuit-complexity  semantics  compilers 

Los algoritmos de tiempo polinómico son conocidos por encontrar conjuntos generadores de grupos de permutación, lo cual es interesante ya que podemos representar esos grupos de manera sucinta sin renunciar a los algoritmos de tiempo polinómico para responder muchas preguntas interesantes relacionadas con estos grupos. Sin embargo, a veces podemos …

10 permutations  gr.group-theory 

Sabemos que la igualdad beta de los términos lambda simplemente escritos es decidible. Dado M, N: σ → τ, ¿es decidible si para todos X: σ, MX NX?≃β≃β≃_β

10 ds.algorithms  pl.programming-languages  type-theory  functional-programming 

Los algoritmos distribuidos que son resistentes a las fallas pueden ser deterministas o probabilísticos. Tomemos, por ejemplo, el problema del consenso. Paxos es determinista en el sentido de que, dada la suposición que hace, siempre funciona. En contraste, el consenso aleatorio funciona con una probabilidad dada. ¿Cuál es la ventaja …

10 randomized-algorithms  dc.distributed-comp  fault-tolerance 

Se sabe que para el error la definición de peor caso de complejidad de comunicación aleatoria y la definición de caso promedio son equivalentes. Pero cuando el error es , la complejidad de comunicación aleatoria en el peor de los casos es la misma que la complejidad de comunicación determinista.Θ(1)Θ(1)\Theta(1)000 …

10 communication-complexity 

En el Capítulo 13 "Objetos atómicos" del libro "Algoritmos distribuidos" de Nancy Lynch, se demuestra que la linealización (también conocida como atomicidad) es una propiedad de seguridad. Es decir, su propiedad de rastreo correspondiente es no vacía, con prefijo cerrado y límite cerrado , como se define en la Sección …

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency 

¿Es un problema CNF SAT NP difícil cuando el número total (pero no el ancho) de las cláusulas de 3 o más términos está limitado por una constante? ¿Qué pasa específicamente cuando solo hay una de esas cláusulas?

10 np-hardness  sat  upper-bounds 

Podemos hacer convolución en para más / multiplicar polinomios con FFT. Sin embargo, el enfoque no parece muy generalizable a los anillos en general. ¿Ha habido algún progreso sobre la ingenua convolución para el anillo max / plus?O ( n logn )O(norteIniciar sesión⁡norte)O(n\log n)O ( n2)O(norte2)O(n^2) Debo señalar que uno …

10 algebra  polynomials  fft  convolution 

Dado un gráfico dirigido, queremos decidir si contiene un ciclo dirigido de longitud par. Este artículo de 1997 de YUSTER y ZWICK afirma que no se sabe que el problema esté en ni que se sepa que es completo.PAGPAGPnortePAGnortePAGNP ¿Hay algún resultado reciente que resuelva la complejidad del problema del …

10 cc.complexity-theory  reference-request  graph-theory 

Un autómata determinista se llama -local para si para cada el conjunto contiene como máximo un elemento. Intuitivamente, eso significa que si una palabra de longitud conduce a un estado, entonces este estado es único, o dicho de manera diferente de una palabra arbitraria de longitud los últimos símbolos determinan …

10 fl.formal-languages  automata-theory  synchronization 

Si podemos demostrar que , ¿implica que ?N L = N PL = PL=P\mathsf{L}=\mathsf{P}N L = N PNL=NP\mathsf{NL}=\mathsf{NP} Pensé que era el caso, pero no puedo probarlo (también por el contrario).

10 cc.complexity-theory  complexity-classes  nondeterminism