Ciencias de la Computación

No existe una solución analítica general para el problema del cuerpo n que pueda producir una función analítica que pueda usarse para proporcionar el estado de un sistema n-cuerpo en un tiempo arbitrario t con precisión exacta. Sin embargo, hay algunos casos especiales de sistemas de n cuerpos para los …

16 computability  turing-machines  undecidability  computation-models 

El problema de si dos autómatas pushdown reconocen el mismo idioma es indecidible. El problema de si un autómata pushdown reconoce el idioma vacío es decidible, por lo tanto, también es decidible si reconoce un idioma finito determinado. No se puede determinar si el lenguaje aceptado por un autómata pushdown …

16 computability  undecidability  pushdown-automata 

Usted y un amigo se perdieron en la línea en un concierto, y ninguno de los dos está seguro de cuál de ustedes está más adelante. Formalmente, cada uno está en alguna coordenada entera y solo puede caminar hacia una coordenada más alta o permanecer en su lugar. Suponiendo que …

16 algorithms  randomized-algorithms 

El teorema de Galois dice efectivamente que no se pueden expresar las raíces de un polinomio de grado> = 5 usando funciones racionales de coeficientes y radicales. ¿No se puede leer que esto dice que dado un polinomio no hay un algoritmo determinista para encontrar las raíces? Ahora considere una …

16 complexity-theory  np-complete  np  polynomials 

Cuando observamos el Modelo de actor y los Procesos secuenciales de comunicación , vemos que ambos intentan hacer concurrencia en función del paso de mensajes , pero son distintos . (Vemos implementaciones del modelo CSP en las rutinas de go-lang (y core.async de Clojure ) y el modelo de actor …

16 concurrency  message-passing 

Esta pregunta trata sobre un enfoque para los oponentes informáticos que he creado y que actualmente se está utilizando o se planea utilizar en varios juegos de computadora. Antecedentes El año pasado, cuando traté de mejorar a un oponente de la computadora para un juego llamado "Buscaminas" (descripción breve: una …

16 algorithms  artificial-intelligence  computer-games 

Cuando se utiliza A * (o cualquier otro algoritmo de búsqueda de mejor ruta), decimos que la heurística utilizada debe ser admisible , es decir, nunca debe sobrestimar la longitud (o movimientos) reales de la ruta de solución. ¿Cómo una heurística admisible garantiza una solución óptima? Preferiblemente estoy buscando una …

16 algorithms  artificial-intelligence  search-algorithms  heuristics 

Hace poco me enteré de la existencia de esta memoria temporal jerárquica (HTM) . Ya leí el documento Memoria temporal jerárquica: conceptos, teoría y terminología (por Jeff Hawkins y Dileep George), que parece bastante fácil de entender, pero una señal de alerta es que el documento no es revisado por …

16 neural-networks  hierarchical-temporal-memory 

Me gustaría construir un sistema de aprendizaje automático en línea basado en la web, donde los usuarios puedan agregar continuamente muestras clasificadas y actualizar el modelo en línea. Me gustaría usar un perceptrón o un algoritmo de aprendizaje en línea similar. Pero los usuarios pueden cometer errores e insertar ejemplos …

16 machine-learning  online-algorithms 

Considere la siguiente pregunta de Google Code Jam ronda 1C : La Gran Muralla de China comienza como una línea infinita, donde la altura en todos los lugares es 000 . Algún número de tribus , atacarán el muro de acuerdo con los siguientes parámetros: un día de inicio, , …

16 algorithms  data-structures  binary-trees 

Dado es un gráfico plano y deje que G denote su incrustación en el plano st cada borde tiene una longitud 1 . Tengo además un conjunto C de puntos en los que cada punto c ∈ C está contenido en G . Además, para cualquier punto p en G, …

16 algorithms  graph-theory  set-cover 

He usado FSM en diseños de circuitos secuenciales digitales. Pero no estoy familiarizado con Autómatas finitos. ¿Alguien puede ayudarme a comprender la diferencia 'básica' entre los dos?

16 terminology  automata  finite-automata 

Una pregunta común de la entrevista es dar un algoritmo para determinar si un árbol binario dado está equilibrado en altura (definición de árbol AVL). Me preguntaba si podemos hacer algo similar con los árboles rojo-negros. Dado un árbol binario arbitrario sin color (con nodos NULL), ¿existe un algoritmo "rápido" …

16 algorithms  data-structures  binary-trees  search-trees 

Decimos que el lenguaje es denso si existe un polinomio p tal que | J c ∩ Σ n | ≤ p ( n ) para todo n ∈ N . En otras palabras, para cualquier longitud dada n sólo existen polinomialmente muchas palabras de longitud n que no están …

16 complexity-theory  time-complexity  np-complete  satisfiability 

En muchas discusiones sobre el almacenamiento dinámico binario, normalmente solo la tecla de disminución aparece como operación admitida para un almacenamiento dinámico mínimo. Por ejemplo, CLR capítulo 6.1 y esta página de wikipedia . ¿Por qué la clave de aumento normalmente no aparece en min-heap? Me imagino que es posible …

16 algorithms  data-structures  heaps  priority-queues