Ciencias de la Computación

Me pregunto, ¿hay algún método para el análisis automático de tiempo de ejecución que funcione al menos en un subconjunto relevante de algoritmos (algoritmos que se pueden analizar)? Busqué en Google "Análisis de algoritmo automático" que me dio esto, pero es demasiado complicado. Solo quiero un ejemplo simple en psuedocode …

10 algorithms  algorithm-analysis  reference-request  runtime-analysis 

Una forma de ver las expresiones regulares es como una prueba constructiva del siguiente hecho: es posible construir los idiomas regulares comenzando con un pequeño conjunto de idiomas y combinándolos a través de un pequeño conjunto fijo de propiedades de cierre. Específicamente, si comenzamos con el idioma vacío, el idioma …

10 formal-languages  context-free  closure-properties  regular-expressions 

¿Puede alguien aclararme por qué un analizador de descenso recursivo con retroceso que prueba las producciones y (en ese orden) no reconoce el lenguaje formado por la gramática .S→aSaS→unSunS \rightarrow aSaS→aaS→ununS \rightarrow aaS→aSa | aaS→unSun El | ununS \rightarrow aSa\ |\ aa Parece que solo analiza palabras del idioma .{a2n …

10 context-free  formal-grammars  compilers  parsers 

Estoy trabajando con un algoritmo de coincidencia de patrones que genera un autómata de estado finito acíclico que acepta una cadena de texto dada y todas sus subcadenas. El algoritmo FSA se ejecuta en una representación simbólica de una transmisión de música (por ejemplo, datos MIDI). La transmisión de música …

10 formal-languages  reference-request  finite-automata 

Lo he leído en varios lugares como este , que Hyper-threading conduce a la degradación del rendimiento. No puedo entender por qué o cómo el hiperprocesamiento conduce a la degradación. Por qué es así que incluso cuando Hyper-threading permite que el sistema operativo utilice recursos libres, ocurre la degradación. Aunque …

10 computer-architecture  performance  threads 

Tienes palos de longitudes arbitrarias, no necesariamente integrales.nortenn Al cortar algunos palos (un corte corta un palo, pero podemos cortar con la frecuencia que queramos), desea obtener palos de manera que:k &lt; nk&lt;nk<n Todos estos palos tienen la misma longitud;kkk Todos los palos son al menos tan largos como todos …

10 algorithms  optimization 

En el problema de detención, nos interesa saber si hay una máquina Turing que pueda decir si una máquina Turing detiene o no en una entrada dada . Por lo general, la prueba comienza asumiendo que tal existe. Luego, consideramos un caso en el que restringimos a , y luego …

10 computability  undecidability  halting-problem 

Dados dos símbolos y , definamos la -ésima cadena de Fibonacci de la siguiente manera:b kaa\text{a}bb\text{b}kkk F(k)=⎧⎩⎨baF(k−1)⋆F(k−2)if k=0if k=1elseF(k)={bif k=0aif k=1F(k−1)⋆F(k−2)else F(k) = \begin{cases} \text{b} &\mbox{if } k = 0 \\ \text{a} &\mbox{if } k = 1 \\ F(k-1) \star F(k-2) &\mbox{else} \end{cases} con denotando concatenación de cadenas.⋆⋆\star Así tendremos: …

10 algorithms  algorithm-analysis  runtime-analysis  strings  substrings 

Hay un clásico juego de rompecabezas muy similar a un crucigrama, excepto que se da una lista de palabras y luego se da un tablero cuadrado compuesto de cuadrados unitarios, con algunos cuadrados ennegrecidos como una palabra cruzada, y algunos cuadrados ya tienen una letra preescrita. El objetivo es escribir …

10 complexity-theory  np-complete  board-games 

Supongamos que le doy un gráfico no dirigido con bordes ponderados y le digo que cada nodo corresponde a un punto en el espacio 3d. Siempre que haya un borde entre dos nodos, el peso del borde es la distancia entre los puntos. Su objetivo es reconstruir las posiciones relativas …

10 complexity-theory  graph-theory  computational-geometry  euclidean-distance 

Dados dos enteros y en representación binaria, ¿cuál es la complejidad de calcular el tamaño de bit de ?n x nxXxnnortenxnxnortex^n Una forma de hacerlo es calcular calculando una aproximación de con suficiente precisión. Parece que calcular con bits de precisiones se puede hacer en donde es el tiempo necesario …

10 complexity-theory  time-complexity  binary-arithmetic 

Si entonces la jerarquía colapsa a su segundo nivel (por el teorema de Karp-Lipton). Pero, ¿qué pasa con y ?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP Traté de demostrar que está contenido en (la otra dirección es trivial si ) pero fue en vano, y ni siquiera estoy seguro de que …

10 complexity-theory  complexity-classes  probabilistic-algorithms 

Según Peter Selinger , The Lambda Calculus is Algebraic (PDF). Al principio de este artículo dice: Se sabe que la interpretación combinatoria del cálculo lambda es imperfecta porque no satisface la regla : según la interpretación, M = N no implica \ lambda xM = \ lambda xN (Barendregt, 1984).ξξξM=NM=NM …

10 terminology  lambda-calculus  combinatory-logic 

Una relación de equivalencia en un conjunto de vértices finitos puede representarse mediante un gráfico no dirigido que es una unión disjunta de camarillas. El conjunto de vértices representa los elementos y un borde representa que dos elementos son equivalentes. Si tengo un gráfico y gráficos G 1 , ... …

10 algorithms  graph-theory  clique 

Para razonar sobre cosas como la completitud de NP, generalmente usamos muchas reducciones (es decir, reducciones de Karp). Esto lleva a imágenes como esta: (bajo conjeturas estándar). Estoy seguro de que todos estamos familiarizados con este tipo de cosas. ¿Qué imagen obtenemos si trabajamos con reducciones de Turing (es decir, …

10 complexity-theory  reductions  complexity-classes