Ciencias de la Computación

Soy un poco nuevo, pero estoy muy interesado en el campo de la informática y la teoría de la complejidad, y quiero aclarar mi comprensión sobre cómo clasificar los problemas, y qué tan fuertemente se relacionan los problemas con la máquina que se está utilizando para resolverlos. Mi punto de …

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

¿Existen estructuras robustas en Conway's Game of Life ? Por ejemplo, ¿alguien ha construido una nave espacial con un escudo que absorba todos los pequeños osciladores y planeadores con los que choca?

13 cellular-automata 

Acabo de empezar a leer sobre teoría de la computación. Si comparamos cuál es más poderoso (al aceptar cadenas), ambos son iguales. ¿Pero qué hay de la eficiencia? DFA será rápido en comparación con NFA, ya que solo tiene una ventaja saliente y no habrá ambigüedad. Pero en el caso …

13 finite-automata  efficiency  nondeterminism 

Al hacer cálculo mental, uno puede hacer: Dado un entero k, sume todos los dígitos (en base 10), y si el resultado es un múltiplo de 3, entonces k es un múltiplo de 3. ¿Conoces algún algoritmo que funcione de manera similar pero que funcione con dígitos (bits) de números …

13 algorithms 

Estoy buscando el algoritmo O (V + E) para encontrar la reducción transitiva dado un DAG. Es decir, elimine tantos bordes como sea posible para que si pudiera alcanzar v desde u, para v y u arbitrarios, aún pueda alcanzar después de eliminar los bordes. Si este es un problema …

13 algorithms  graphs  dag 

Esta es mi primera publicación después de ser un usuario pasivo desde hace algún tiempo. Deseo hacer algunas preguntas si puedo. No soy matemático pero mi pregunta se relaciona con el campo de las matemáticas / informática. En particular, el problema P vs NP. Soy consciente de que este es …

13 complexity-theory  p-vs-np 

Me preguntaba si alguien sabía el origen del modelo de servidor del cliente. ¿De dónde viene el término (papel, aplicación de software, libro)?

13 terminology  reference-request  distributed-systems  history 

Bruinier y Ono han encontrado una fórmula algebraica para la función de partición , que se informó ampliamente como un gran avance. No puedo entender el documento, pero ¿tiene alguna consecuencia algorítmica para el cálculo rápido de la función de partición?

13 algorithms  complexity-theory  number-theory 

Hay muchos idiomas populares. Pero, los informáticos nos dicen que para comprender el comportamiento de los programas en esos lenguajes definitivamente y sin ambigüedades argumentan sobre el comportamiento del programa (por ejemplo, demostrar su identidad), necesitamos traducirlos a otro lenguaje bien entendido. A ese lenguaje lo llaman "semántica". Los autores …

13 formal-languages  semantics 

Si consideramos un árbol como un conjunto ordenado parcial, se convierte en un caso especial de un entramado de unión. Para un semilattice de unión, queremos poder calcular el límite superior mínimo (único) de dos elementos (más o menos) de manera eficiente. En el caso de un árbol, una estructura …

13 data-structures  lattices 

Considere el siguiente bucle triple anidado: for (int i = 1; i <= n; ++i) for (int j = i; j <= n; ++j) for (int k = j; k <= n; ++k) // statement La declaración aquí se ejecuta exactamente veces ¿Podría alguien explicar cómo se obtuvo esta fórmula? …

13 algorithms  time-complexity  algorithm-analysis 

Leí sobre los números de castores ocupados y cómo crecen asintóticamente más grandes que cualquier función computable. ¿Por qué esto es tan? ¿Se debe a la no computabilidad de la función de castor ocupado? Si es así, ¿todas las funciones no computables crecen asintóticamente más grandes que las computables? Editar: …

13 computability  asymptotics 

Un predictor de Naive Bayes hace sus predicciones usando esta fórmula: PAG( Y= yEl | X= x ) = α P( Y= y) ∏yoPAG( Xyo= xyoEl | Y= y)PAG(Y=yEl |X=X)=αPAG(Y=y)∏yoPAG(Xyo=XyoEl |Y=y)P(Y=y|X=x) = \alpha P(Y=y)\prod_i P(X_i=x_i|Y=y) donde es un factor de normalización. Esto requiere estimar los parámetros partir de los datos. …

13 machine-learning  probability-theory  statistics 

He implementado una clasificación topológica basada en el artículo de Wikipedia que estoy usando para la resolución de dependencias, pero devuelve una lista lineal. ¿Qué tipo de algoritmo puedo usar para encontrar las rutas independientes?

13 algorithms  graphs  parallel-computing  scheduling 

He hecho una pregunta similar sobre cstheory.SE . De acuerdo con esta respuesta en Stackoverflow, existe un algoritmo que en un lenguaje de programación funcional puro no perezoso tiene una complejidad , mientras que el mismo algoritmo en la programación imperativa es Ω ( n ) . Agregar pereza al …

13 complexity-theory  lambda-calculus  functional-programming  turing-completeness