Ciencias de la Computación

A menudo escucho frases como 'semántica de concurrencia verdadera' y 'equivalencias de concurrencia verdadera' sin ninguna referencia. ¿Qué significan esos términos y por qué son importantes? ¿Cuáles son algunos ejemplos de equivalencias verdaderas de concurrencia y cuál es la necesidad de ellas? Por ejemplo, ¿en qué casos son más aplicables …

28 terminology  reference-request  concurrency 

Cada problema indecidible que conozco pertenece a una de las siguientes categorías: Problemas que son indecidibles debido a la diagonalización (autorreferencia indirecta). Estos problemas, como el problema de detención, son indecidibles porque podría usar un supuesto decisor para el lenguaje para construir una TM cuyo comportamiento conduce a una contradicción. …

28 computability  proof-techniques  undecidability 

Sabemos post-orden, post L(x) => [x] post N(x,l,r) => (post l) ++ (post r) ++ [x] y pre-orden pre L(x) => [x] pre N(x,l,r) => [x] ++ (pre l) ++ (pre r) y transversales en orden resp. secuencialización in L(x) => [x] in N(x,l,r) => (in l) ++ [x] ++ …

28 algorithms  binary-trees 

Para un lenguaje regular , deje que sea ​​el número de palabras en de longitud . Usando la forma canónica de Jordan (aplicada a la matriz de transición sin anotaciones de algunos DFA para L ), se puede demostrar que para n suficientemente grande , c_n (L) = \ sum_ …

28 formal-languages  reference-request  regular-languages  asymptotics  combinatorics 

Estoy buscando una estructura de datos que almacene un conjunto de cadenas sobre un conjunto de caracteres , capaz de realizar las siguientes operaciones. Denotamos como la estructura de datos que almacena el conjunto de cadenas .D ( S ) SΣΣ\SigmaD (S)D(S)\mathcal{D}(S)SSS Add-Prefix-Seten : dado un conjunto de cadenas (posiblemente …

28 data-structures  time-complexity  strings  stacks 

Dada una instancia de SAT, me gustaría poder estimar lo difícil que será resolver la instancia. Una forma es ejecutar solucionadores existentes, pero ese tipo de derrota el propósito de estimar la dificultad. Una segunda forma podría ser buscar la relación de cláusulas a variables, como se hace para las …

28 complexity-theory  satisfiability  heuristics 

El combinador de punto fijo FIX (también conocido como el combinador Y) en el cálculo lambda ( tipo) ( ) se define como:λλ\lambda FIX≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda x. f~(\lambda y. x~x~y)) Entiendo su …

28 computability  logic  programming-languages  lambda-calculus  combinatory-logic 

Tengo un conjunto de pares. Cada par tiene la forma (x, y) de modo que x, y pertenecen a enteros del rango [0,n). Entonces, si n es 4, entonces tengo los siguientes pares: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Ya tengo las parejas. Ahora, tengo que construir una combinación usando …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

Considere gráficos dirigidos. Llamamos a un nodo vvv superestrella si y solo si no se puede alcanzar a otro nodo desde él, pero todos los demás nodos tienen una ventaja para . Formalmente:vvv \qquad \displaystyle v superstar :⟺outdeg(v)=0∧indeg(v)=n−1 superstar :⟺outdeg(v)=0∧indeg(v)=n−1 \text{ superstar } :\Longleftrightarrow \mathrm{outdeg}(v) = 0 \land \mathrm{indeg}(v) = …

28 algorithms  graphs 

(Soy un estudiante con algunos conocimientos matemáticos y me gustaría saber cómo contar el número de un tipo específico de árboles binarios). Mirando la página de Wikipedia para árboles binarios , noté esta afirmación de que el número de árboles binarios enraizados de tamaño sería este número catalán : C_n …

28 combinatorics  binary-trees  discrete-mathematics 

¿Cuál es la (s) diferencia (s) fundamental (es) entre la semántica operativa de pequeños y grandes pasos? Me está costando comprender lo que es y la motivación para tener los dos.

28 semantics  operational-semantics  small-step-semantics 

Este enlace proporciona un algoritmo para encontrar el diámetro de un árbol no dirigido usando BFS / DFS . Resumiendo: Ejecute BFS en cualquier nodo del gráfico, recordando el nodo que descubrió por última vez. Ejecute BFS desde que recuerda el nodo v descubierto por última vez. d (u, v) …

28 algorithms  graphs  search-algorithms  trees  graph-traversal 

El problema de detención indica que no existe un algoritmo que determine si un programa determinado se detiene. Como consecuencia, debe haber programas sobre los que no podemos saber si terminan o no. ¿Cuáles son los ejemplos más simples (más pequeños) conocidos de tales programas?

27 computability  turing-machines  halting-problem 

Estoy tomando un curso de complejidad y tengo problemas para encontrar reducciones entre los problemas de la APN. ¿Cómo puedo encontrar reducciones entre problemas? ¿Hay algún truco general que pueda usar? ¿Cómo debo abordar un problema que me pide que demuestre que un problema es NPC?

27 complexity-theory  np-complete  proof-techniques  reductions 

Si dos personas se pierden en un laberinto, ¿hay algún algoritmo que ambos puedan usar para encontrarse sin haber acordado previamente qué algoritmo usarán? Creo que hay algunas características que tendrá este algoritmo: Cada persona debe poder derivarlo utilizando una lógica que no haga suposiciones sobre lo que la otra …

27 algorithms  search-algorithms  agent-based-computing