Ciencias de la Computación

Cuando era estudiante, vi un problema en un libro de texto de diseño de sistemas / lógica digital, sobre N soldados parados en una fila, y quería disparar al mismo tiempo. Una versión más difícil del problema fue que los soldados se paran en una red general en lugar de …

15 algorithms  distributed-systems  clocks 

Cuando comparamos la complejidad de dos algoritmos, generalmente ocurre que o (posiblemente ambos), donde y son los tiempos de ejecución (por ejemplo) de los dos algoritmos.f(n)=O(g(n))f(n)=O(g(n))f(n) = O(g(n))sol( n ) = O ( f(n))g(n)=O(f(n))g(n) = O(f(n))fffggg Este es siempre el caso? Es decir, ¿al menos una de las relaciones y …

15 asymptotics  mathematical-analysis 

Estoy tratando de encontrar un límite para la siguiente ecuación de recurrencia:ΘΘ\Theta T(n)=2T(n/2)+T(n/3)+2n2+5n+42T(n)=2T(n/2)+T(n/3)+2n2+5n+42 T(n) = 2 T(n/2) + T(n/3) + 2n^2+ 5n + 42 Me imagino que el teorema maestro es inapropiado debido a la cantidad diferente de subproblemas y divisiones. Además, los árboles de recursión no funcionan ya que …

15 asymptotics  recurrence-relation  master-theorem 

¿Hay propiedades indecidibles de autómatas lineales delimitados (evitando el truco del lenguaje de conjunto vacío)? ¿Qué pasa con un autómata finito determinista? (Deje de lado la intratabilidad). Me gustaría obtener un ejemplo (si es posible) de un problema indecidible que se define sin utilizar explícitamente máquinas de Turing . ¿Es …

15 computability  automata  undecidability 

Tengo un árbol (en el sentido de la teoría de grafos), como el siguiente ejemplo: Este es un árbol dirigido con un nodo inicial (la raíz) y muchos nodos finales (las hojas). Cada uno de los bordes tiene una longitud asignada. Mi pregunta es, ¿cómo encontrar el camino más largo …

15 algorithms  graphs 

Desafortunadamente, todavía no soy tan fuerte en entender el algoritmo de línea de barrido . Todos los documentos y libros de texto sobre el tema ya se leen, sin embargo, la comprensión aún está muy lejos. Solo para aclararlo, trato de resolver tantos ejercicios como pueda. Pero, las tareas realmente …

15 algorithms  computational-geometry 

Hice esta pregunta en stackoverflow genérico y fui dirigido aquí. Será genial si alguien puede explicar cómo abordar los problemas de gráficos parciales o totalmente dinámicos en general. Por ejemplo: Encuentre la ruta más corta entre dos vértices en un gráfico ponderado no dirigido para n instancias, cuando se elimina …

15 algorithms  data-structures  graphs 

Con referencia a características en lenguajes como ruby ​​(y javascript), que permiten a un programador extender / anular clases en cualquier momento después de definirlo (incluidas clases como String), es teóricamente factible diseñar un lenguaje que permita que los programas se extiendan más adelante. su semántica Ej: Ruby no permite …

15 programming-languages  semantics 

Las puertas lógicas son un dispositivo abstracto que se puede implementar con relés electromagnéticos, tubos de vacío o transistores. Estas implementaciones han tenido éxito en la computación en parte debido a varias propiedades de encadenabilidad, durabilidad y tamaño más allá de su estabilidad binaria básica. También funcionan bien porque la …

15 computer-architecture  didactics 

Esta es una pregunta de seguimiento de esta . En una pregunta anterior sobre máquinas de estado exóticas , Alex ten Brink y Raphael abordaron las capacidades computacionales de un tipo peculiar de máquina de estado: los autómatas de min-montón. Pudieron demostrar que el conjunto de idiomas aceptados por tales …

15 formal-languages  automata  nondeterminism 

¿Existe una caracterización algebraica del número de palabras de una longitud dada en un idioma normal? Wikipedia establece un resultado algo impreciso: Para cualquier lenguaje regular LLL existen constantes λ1,…,λkλ1,…,λk\lambda_1,\,\ldots,\,\lambda_k y polinomiosp1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\,\ldots,\,p_k(x) tal que para cadannn el númerosL(n)sL(n)s_L(n) de palabras de longitudnnn enLLL satisface la ecuación sL(n)=p1(n)λn1+⋯+pk(n)λnksL(n)=p1(n)λ1n+⋯+pk(n)λkns_L(n)=p_1(n)\lambda_1^n+\dotsb+p_k(n)\lambda_k^n . No es …

15 formal-languages  regular-languages  word-combinatorics 

¿Hay alguna evidencia que sugiera que el tiempo dedicado a escribir o pensar en los requisitos tendrá algún efecto en el tiempo de desarrollo? El estudio realizado por Standish (1995) sugiere que los requisitos incompletos contribuyeron parcialmente (13.1%) al fracaso de los proyectos. ¿Se han realizado estudios que demuestren que …

15 software-engineering 

Al colocar objetos geométricos en un quadtree (u octree), puede colocar objetos que son más grandes que un solo nodo de varias maneras: Colocando la referencia del objeto en cada hoja para la que está contenido Colocar la referencia del objeto en el nodo más profundo para el que está …

15 graphics  data-structures  computational-geometry 

Un conjunto es contable si tiene una biyección con los números naturales, y es computablemente enumerable (ce) si existe un algoritmo que enumera sus miembros. Cualquier conjunto enumerable computable no finito debe ser contable ya que podemos construir una biyección a partir de la enumeración. ¿Hay algún ejemplo de conjuntos …

15 computability  semi-decidability 

Estoy tratando de entender una prueba de integridad de NP que parece girar en torno a SAT / 3CNF-SAT. Tal vez sea tarde, pero me temo que no puedo pensar en una fórmula 3CNF que no pueda satisfacerse (probablemente me falta algo obvio). ¿Me puede dar un ejemplo para tal …

15 logic  satisfiability  3-sat