Ciencias de la Computación

Hay un teorema que dice que: Dado un autómata de estado finito que tiene estados, si existe una cadena cuya longitud satisface entonces el lenguaje aceptado por el autómata es infinito.nortenortenwwwn ≤ | w | ≤ 2 n - 1norte≤El |wEl |≤2norte-1n \leq |w| \leq 2n-1 Entiendo la restricción El …

9 automata  finite-automata 

Estoy buscando una definición formal de archivo que no solo incluya almacenamiento, sino también abstracciones como procfs o / dev / null (o cualquier archivo basado en fusibles) que no se relacionen con el almacenamiento. Hasta ahora sé que todos los archivos son abstracciones que puede ser identificado puede tener …

9 operating-systems  os-kernel  filesystems 

Hace poco me preguntaba qué pasaría si permitiéramos que las gramáticas sin contexto tengan un número infinito de reglas. Claramente, si permitiéramos arbitrariamente tales conjuntos infinitos de reglas, cada lenguaje sobre algún alfabeto Σ podría describirse mediante un CFG G = ( { S } , Σ , R , …

9 formal-languages  context-free  formal-grammars 

En el artículo de Chris Okasaki " Combinadores de aplanamiento: sobrevivir sin paréntesis ", muestra que dos combinadores son suficientes y necesarios como base para codificar expresiones completas de Turing sin la necesidad de un operador de aplicación o paréntesis. En comparación con las codificaciones de John Trump de la …

9 lambda-calculus  combinatory-logic 

Para abordar este problema, primero observé que ϕ(pe11 pe22⋯ pekk)=(e1+1)(e2+1)⋯(ek+1)ϕ(p1e1 p2e2⋯ pkek)=(e1+1)(e2+1)⋯(ek+1)\phi(p_1^{e_1} \space p_2^{e_2} \cdots \space p_k^{e_k}) = (e_1 + 1)(e_2 + 1)\cdots(e_k +1) Donde es el número de divisores (no necesariamente primos) de m . Si m es el entero más pequeño tal que ϕ ( m ) = …

9 number-theory  primes 

Las respuestas a esta pregunta en Crypto Stack Exchange básicamente dicen que, para medir la complejidad del problema del logaritmo, debemos tener en cuenta la longitud del número que representa el tamaño del grupo. Parece arbitrario, ¿por qué no elegimos el tamaño del grupo como argumento? ¿Existe algún criterio para …

9 time-complexity  discrete-mathematics  cryptography 

Publiqué esto en MathUnderflow pero no obtuve respuestas, así que pensé en probarlo aquí, Estoy leyendo el viejo artículo de Rabin y Fischer [publicará un enlace cuando sea posible] donde, entre otras cosas, se prueba la doble complejidad exponencial de la aritmética de Presburger. La prueba se basa en la …

9 complexity-theory  reference-request  logic 

Quiero producir ruta más corta ( k sería menos de 10) entre todos los pares en un gráfico. El gráfico es (en realidad un mapa del metro):kkkkkk ponderado positivamente no dirigido escaso con unos 100 nodos Mi plan actual es aplicar ruta de ruta más cortakkk a cada par; Ahora …

9 algorithms  graphs  optimization  shortest-path 

Dada una triangulación (sin puntos Steiner) de un polígono simple , uno puede considerar el doble de esta triangulación, que se define de la siguiente manera. Creamos un vértice para cada triángulo en nuestra triangulación, y conectamos dos vértices si los triángulos correspondientes comparten un borde. Se sabe que el …

9 reference-request  computational-geometry 

Hay una reducción famosa y elegante del problema de coincidencia bipartita máxima al problema de flujo máximo: creamos una red con un nodo fuente , un nodo terminal t y un nodo para cada elemento que se va a combinar, luego agregamos los bordes apropiados.sssttt Ciertamente, hay una manera de …

9 reductions  network-flow  bipartite-matching 

Por lo general, veo que en la representación semántica operacional estructural para el ciclo while, el estado del programa no cambia: (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then \>S; (while \> B \> do \>S) \> else \> SKIP, \sigma) Para mí, esto no es …

9 formal-languages  programming-languages  formal-methods  operational-semantics 

Un gráfico bipartito es plano si no tiene o menores. K 5K3,3K3,3K_{3, 3}K5K5K_5 Estoy buscando las condiciones necesarias y / o suficientes para permitir dibujos planos sin bordes que "rodeen" conjuntos de vértices. Estos son dibujos satisfactorios: Todos los vértices de una parte se dibujan en una sola línea vertical. …

9 graph-theory  terminology  graph-drawing 

Estoy buscando técnicas de implementación para lenguajes de programación, y recientemente encontré pilas de espagueti, que supuestamente son una buena opción para un modelo de estilo de paso de continuación (dado su uso, por ejemplo, en Scheme y SML / NJ ). En aras de la simplicidad, consideremos solo un …

9 data-structures  programming-languages  continuations 

Los montones fusionables aleatorios tienen una operación "fusión", que luego usamos para definir todas las demás operaciones, incluida la inserción. La pregunta es, ¿cuál es la altura esperada de ese árbol con nnn nodos? El Teorema 1 de Gambin y Malinkowski, Colas de prioridad fusionables aleatorias (Actas de SOFSEM 1998, …

9 algorithm-analysis  data-structures  randomized-algorithms  heaps 

Se me ocurrió esta pregunta sobre el problema de detención y no pude encontrar una buena respuesta en línea, preguntándome si alguien puede ayudar. ¿Es posible que el problema de detención sea decidible para cualquier TM en cualquier entrada, siempre que la entrada no sea la propia TM? Básicamente: Halts(TM, …

9 computability  undecidability  halting-problem