Ciencias de la computación teórica

El siguiente término λ, aquí en forma normal: sort = (λabc.(a(λdefg.(f(d(λhij.(j(λkl.(k(λmn.(mhi))l)) (h(λkl.l)i)))(λhi.(i(λjk.(bd(jhk)))(bd(h(λjk.(j (λlm.m)k))c)))))e))(λde.e)(λde.(d(λfg.g)e))c)) Implementa un algoritmo de clasificación para listas codificadas por la iglesia. Es decir, el resultado de: sort (λ c n . (c 3 (c 1 (c 2 n)))) β→ (λ c n . (c 1 (c 2 …

10 lo.logic  lambda-calculus  type-systems 

Del artículo de estrategia de evaluación en Wikipedia: La noción de estrategia de reducción en el cálculo lambda es similar pero distinta. Del artículo de estrategia de reducción en Wikipedia: Es similar pero sutilmente diferente de la noción de estrategia de evaluación en informática. ¿Cuál es la sutil distinción entre …

10 pl.programming-languages  lambda-calculus  semantics 

Deje ser un gráfico simple no dirigido en n vértices ym bordes.G=(V,E)G=(V,E)G=(V,E)nnnmmm Estoy tratando de determinar el tiempo de ejecución esperado de algoritmo de Wilson para generar un árbol de expansión aleatoria de . Allí, se muestra que es O ( τ ) , donde τ es el tiempo medio …

10 graph-theory  graph-algorithms  co.combinatorics  random-walks  analysis-of-algorithms 

El teorema de Borsuk-Ulam dice que por cada función impar continua solsolg desde una esfera n al espacio n euclidiano, hay un punto X0 0X0 0x_0 tal que sol( x0 0) = 0sol(X0 0)=0 0g(x_0)=0 . Simmons y Su (2002) describen un método para aproximar el punto X0 0X0 0x_0 …

10 approximation-algorithms  time-complexity  topology  algebraic-topology 

Los combinadores de interacción se han propuesto antes como objetivo de compilación para el cálculo λ. Ese documento implementa el cálculo λ completo. También se sabe que es posible optimizar las codificaciones de la red de interacción del cálculo λ para el subconjunto de términos λ que es de tipo …

10 lambda-calculus  functional-programming  interaction-nets 

En http://www.dharwadker.org/tevet/isomorphism/ , hay una presentación de un algoritmo para determinar si dos gráficos son isomorfos. Teniendo en cuenta una serie de afirmaciones "interesantes" de A Dharwadker, no estoy dispuesto a creerlo. En mi investigación, encuentro que el algoritmo definitivamente producirá la respuesta correcta y le diré que dos gráficos …

10 graph-isomorphism 

Deje que se dé un número . Considere el siguiente lenguaje L n = {nortenn .Lnorte= {w wEl |w ∈ { 0 , 1 }norte}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} En palabras, es el conjunto de cadenas de copia de longitud 2 n …

10 fl.formal-languages  automata-theory  grammars  context-free 

Sea una clase hereditaria de gráficos. (Hereditaria = cerrado con respecto a tomar subgrafos inducidos.) Let denotar el conjunto de gráficos -vertex en . Digamos que contiene casi todos los gráficos, si la fracción de todos los gráficos de -vértices que caen en aproxima a 1, como .Q n n …

10 graph-theory 

Me pregunto si puede existir una forma de dar una especie de "forma normal" para los árboles de decisión binarios (BDT) de forma manejable. Más precisamente: una BDT es un árbol con nodos internos etiquetados por variables booleanas y hojas etiquetadas por o . Una BDT representa una función booleana …

10 cc.complexity-theory  decision-trees 

Este blog habla de generar "pequeños laberintos retorcidos" usando una computadora y enumerándolos. La enumeración se puede hacer usando el algoritmo de Wilson para obtener el UST , pero no recuerdo la fórmula de cuántos hay. http://strangelyconsistent.org/blog/youre-in-a-space-of-twisty-little-mazes-all-alike En principio, el teorema del árbol de matriz establece que el número de …

10 graph-theory  randomized-algorithms  matrices  tree 

Es un viejo problema abierto si un teorema de suma directa es válido para la complejidad de comunicación determinista, es decir, si resolver instancias independientes de un problema es t veces más difícil que resolver una sola instancia. [FKNN95] mostró los siguientes resultados:tttttt Un resultado negativo: hay una función parcial …

10 cc.complexity-theory  communication-complexity 

Dadas dos permutaciones y sobre elementos (es decir, miembros de ), ¿cuál es la complejidad de calcular el orden del subgrupo generado por ? ¡O simplemente de decidir si el subgrupo es de orden(es decir, todo )?ggghhhnnnSnSnS_ng,hg,hg,hn!n!n!SnSnS_n

10 cc.complexity-theory  algebra  gr.group-theory 

En la prueba de identidad polinómica buscamos un algoritmo determinista para inferir la igualdad de dos polinomios . Desrandomizar algoritmos aleatorizados eficientes conocidos y producir un algoritmo determinista eficiente es un importante problema abierto. ¿Existe un problema completo para PIT de modo que la desrandomización de las pruebas de identidad …

10 derandomization  polynomials 

Q . ¿Cuál es la complejidad de encontrar la celda limitada de mayor volumen en una disposición de hiperplanos en la dimensión d ?nnnddd Siento que debería saber esto ... Pero no estoy encontrando una referencia definitiva. ¿Es ? ¿Qué tal la especialización d = 2 : la celda delimitada …

10 computational-geometry  high-dimensional-geometry  arrangements 

¿Cuál es la complejidad del siguiente problema ( P? NP-hard?):∈∈\in Entrada: un gráfico acíclico dirigido , un conjunto de bordes hacia atrás E ' ⊂ V × V , y dos nodos distinta s y t .D=(V,E)D=(V,E)D=(V,E)E′⊂V×VE′⊂V×VE'\subset V\times Vsssttt Pregunta: Sea denotar la gráfica formada al agregar a D los …

10 graph-algorithms  time-complexity  disjoint-paths