Ciencias de la Computación

¿Cuántos max-heaps diferentes existen para una lista de nnn enteros? Ejemplo: lista [1, 2, 3, 4] El max-heap puede ser 4 3 2 1: 4 / \ 3 2 / 1 o 4 2 3 1: 4 / \ 2 3 / 1

19 data-structures  combinatorics  heaps 

Según este artículo de Wikipedia , las gramáticas sin restricciones son equivalentes a las máquinas de Turing. El artículo señala que puedo convertir cualquier máquina de Turing en una gramática sin restricciones, pero solo muestra cómo convertir una gramática en una máquina de Turing. ¿Cómo puedo hacer eso y convertir …

19 formal-grammars  turing-machines  simulation 

Me preocupa la cuestión del tiempo de ejecución asintótico del algoritmo de Ukkonen , quizás el algoritmo más popular para construir árboles de sufijos en tiempo lineal (?). Aquí hay una cita del libro "Algoritmos sobre cadenas, árboles y secuencias" de Dan Gusfield (sección 6.5.1): "... los algoritmos Aho-Corasick, Weiner, …

19 algorithms  data-structures  algorithm-analysis  strings 

Noté que en algunos trabajos de investigación de CS, para comparar la eficiencia de dos algoritmos, se usa el número total de comparación clave en los algoritmos en lugar de los tiempos reales de computación. ¿Por qué no podemos comparar cuál es mejor ejecutando ambos programas y contando el tiempo …

19 algorithms  algorithm-analysis  runtime-analysis 

He leído la página de Wikipedia para la regla 110 en autómatas celulares, y sé más o menos cómo funcionan (un conjunto de reglas decide dónde dibujar el siguiente 1 o 0). Acabo de leer que están Turing completo, pero ni siquiera puedo entender cómo 'programarías' en la 'regla 110'.

19 computability  automata  turing-completeness  cellular-automata 

¿Si hay una manera de identificar si dos conjuntos de puntos se pueden separar por una línea? Tenemos dos conjuntos de puntos y B si hay una línea que separa A y B de manera que todos los puntos de A y solo A en un lado de la línea, …

19 algorithms  machine-learning  computational-geometry 

Las identidades utilizadas en los algoritmos de multiplicación por Karatsuba (enteros) Gauss (números complejos) Strassen (matrices) Parece muy relacionado. ¿Existe un marco abstracto general / generalización?

19 algorithms  matrices 

Estoy tratando de encontrar el conjunto máximo independiente de un gráfico de biparita. Encontré lo siguiente en algunas notas "13 de mayo de 1998 - Universidad de Washington - CSE 521 - Aplicaciones del flujo de red" : Problema: Dado un bipartito gráfico , encontrar un conjunto independiente que es …

19 algorithms  graph-theory  network-flow 

Cuando se prueban algoritmos, un enfoque común es la prueba aleatoria: generar una cantidad significativa de entradas de acuerdo con alguna distribución (generalmente uniforme), ejecutar el algoritmo en ellas y verificar la corrección. Los marcos de prueba modernos pueden generar entradas automáticamente dada la firma de algoritmos, con algunas restricciones. …

19 algorithms  graphs  randomness  software-testing 

Intento encontrar un enfoque para el siguiente problema: Dado el conjunto de puntos y el radio , encuentre el punto central del círculo, de modo que el círculo contenga el número máximo de puntos del conjunto. El tiempo de ejecución debe ser .r O ( n 2 )SSSrrrO ( n2)O(n2)O(n^2) …

19 algorithms  computational-geometry 

Deje . Necesito decidir si F es decidible o recursivamente enumerable. Creo que es decidible, pero no sé cómo demostrarlo.F={⟨M⟩:M is a TM which stops for every input in at most 50 steps}F={⟨M⟩:M is a TM which stops for every input in at most 50 steps}F = \{⟨M⟩:\text{M is a …

19 computability  undecidability 

Entonces pensé que esta pregunta (aunque algo básica) pertenecía aquí: Digamos que tengo un gráfico de tamaño 100 nodos dispuestos en un patrón de 10x10 (piense en el tablero de ajedrez). El gráfico no está dirigido y no está ponderado. Moverse por el gráfico implica mover tres espacios hacia adelante …

19 algorithms  graphs  graph-theory  search-algorithms  shortest-path 

Para cada función computable fff existe un problema que puede resolverse en el mejor de los casos en el tiempo Θ(f(n))Θ(f(n))\Theta(f(n)) o existe una función computable fff tal manera que cada problema que pueda resolverse en O(f(n))O(f(n))O(f(n)) también ser resuelto en o(f(n))o(f(n))o(f(n)) tiempo? Esta pregunta me vino a la cabeza …

19 complexity-theory 

Estoy tratando de usar el lema de bombeo para demostrar que no es regular.L={(01)m2m∣m≥0}L={(01)m2m∣m≥0}L = \{(01)^m 2^m \mid m \ge0\} Esto es lo que tengo hasta ahora: suponga que es regular y deje que p sea ​​la longitud de bombeo, entonces w = ( 01 ) p 2 p . …

19 formal-languages  regular-languages  pumping-lemma 

En Algorithmics for Hard Problems de Hromkovič (2a edición) existe este teorema (2.3.3.3, página 117): Hay un problema de decisión (decidible) tal que para cada algoritmo A que resuelve P hay otro algoritmo A ' que también resuelve P y además cumplePAGPPUNAAPAGPPA′A′A'PPP ∀∞n∈N.TimeA′(n)=log2TimeA(n)∀∞n∈N.TimeA′(n)=log2⁡TimeA(n)\qquad \forall^\infty n \in \mathbb{N}. \mathrm{Time}_{A'}(n) = \log_2 …

19 complexity-theory