Ciencias de la Computación

En un gráfico no ponderado, no dirigido, con vértices VVV y bordes EEE tales que 2V>E2V>E2V \gt E , ¿cuál es la forma más rápida de encontrar todos los caminos más cortos en un gráfico? ¿Se puede hacer más rápido que Floyd-Warshall que es O(V3)O(V3)O(V^3) pero muy rápido por iteración? …

24 algorithms  graphs  shortest-path 

Dado cualquier problema computacional, ¿es realmente posible la tarea de encontrar límites más bajos para tal cálculo? Supongo que se reduce a cómo se define un solo paso computacional y qué modelo usamos para la prueba, pero dado eso, ¿realmente demostramos un límite inferior en general? Lo que quiero decir …

24 complexity-theory  time-complexity  proof-techniques  lower-bounds 

Actualmente estoy leyendo y viendo algoritmos genéticos y me parece muy interesante (no he tenido la oportunidad de estudiarlo mientras estaba en la universidad). Entiendo que las mutaciones se basan en la probabilidad (la aleatoriedad es la raíz de la evolución) pero no entiendo por qué es la supervivencia. Por …

24 algorithms  optimization  genetic-algorithms 

Esta pregunta se migró de Intercambio teórico de apilamiento de informática porque se puede responder en Intercambio apilado de informática. Migrado hace 6 años . Me he encontrado con muchas definiciones de lenguajes recursivos y recursivamente enumerables. Pero no pude entender lo que son. ¿Puede alguien decirme qué son en …

24 formal-languages  computability  turing-machines 

Sea una fórmula booleana que consta de los operadores habituales AND, OR y NOT y algunas variables. Me gustaría contar el número de asignaciones para satisfacer B . Es decir, quiero encontrar el número de asignaciones diferentes de valores de verdad a las variables de para las cuales asume un …

24 complexity-theory  reference-request  satisfiability 

Me parece que 'implica' en el idioma inglés no significa lo mismo que el operador lógico 'implica', de manera similar a cómo la palabra 'OR' en la mayoría de los casos significa 'OR exclusivo' en nuestro uso cotidiano del idioma. Tomemos dos ejemplos: Si hoy es lunes, mañana es martes. …

24 terminology  logic  first-order-logic  propositional-logic 

Actualmente estoy estudiando los caminos más cortos en gráficos dirigidos. Existen muchos algoritmos eficientes para encontrar el camino más corto en una red, como el de dijkstra o el de bellman-ford. Pero, ¿y si el gráfico es dinámico? Al decir dinámico quiero decir que podemos insertar o eliminar vértices durante …

24 algorithms  data-structures  graphs  efficiency  shortest-path 

Dado un conjunto de monedas con diferentes denominaciones un valor v desea encontrar la menor cantidad de monedas necesarias para representar el valor v.c 1 , . . . , c ndo1,...,donortec1, ... , cn Por ejemplo, para el conjunto de monedas 1,5,10,20, esto da 2 monedas por la suma …

24 algorithms  combinatorics  greedy-algorithms 

¿Cuál es la mejor manera que cualquiera puede hacer para tener una buena introducción a la teoría del sistema distribuido, cualquier libro o referencia, y los temas deben ser cubiertos primero y los requisitos para comenzar a aprender sobre este tema?

24 reference-request  education  distributed-systems 

Dado un conjunto múltiple de números naturales X, considere el conjunto de todas las sumas posibles: sumas (X) = { ∑i ∈ AyoEl |A ⊆ X}sums(X)={∑i∈Ai|A⊆X}\textrm{sums}(X)= \left\{ \sum_{i \in A} i \,|\, A \subseteq X \right\} Por ejemplo, sumas ( { 1 , 5 } )= { 0 , 1 …

24 algorithms  optimization  combinatorics  integers 

Un sorprendente número de problemas tiene reducciones bastante naturales a la programación lineal (LP). Consulte el Capítulo 7 de [1] para ver ejemplos como flujos de red, emparejamiento bipartito, juegos de suma cero, rutas más cortas, una forma de regresión lineal e incluso evaluación de circuitos. Dado que la evaluación …

24 algorithms  reductions  sorting  linear-programming 

Esta pregunta se migró de Intercambio teórico de apilamiento de informática porque se puede responder en Intercambio apilado de informática. Migrado hace 7 años . Acabo de tener esta pregunta interesante. ¿Cuál es la función de más rápido crecimiento conocida por el hombre? ¿Está ocupado el castor ? Conocemos funciones …

24 computability 

Tengo dos formas de producir una lista de artículos en un orden aleatorio y me gustaría determinar si son igualmente justos (imparciales). El primer método que utilizo es construir la lista completa de elementos y luego barajarla (digamos barajar Fisher-Yates). El segundo método es más un método iterativo que mantiene …

24 algorithms  proof-techniques  randomized-algorithms  correctness-proof  randomness 

En un artículo reciente de CACM [1], los autores presentan una implementación para funciones por etapas . Usan el término como si fuera bien conocido, y ninguna de las referencias parece una introducción obvia. Dan una breve explicación (el énfasis es mío y el número de referencia cambió; es 22 …

24 terminology  programming-languages  meta-programming 

Esta pregunta se migró de Stack Overflow porque se puede responder en Computer Science Stack Exchange. Migrado hace 7 años . Definición del problema de corte lógico mínimo (LMC) Supongamos que es un dígrafo no ponderado, y son dos vértices de , y es alcanzable desde . El problema de …

24 complexity-theory  graph-theory  np-complete