Ciencias de la Computación

La notación Big-O oculta factores constantes, por lo que existen algunos algoritmos que no son factibles para cualquier tamaño de entrada razonable porque el coeficiente en el término n es muy grande.O(n)O(norte)O(n)nnorten ¿Hay algún algoritmo conocido cuyo tiempo de ejecución sea pero con algún término de bajo orden o ( …

10 algorithms  asymptotics 

Necesito mantener una colección de enteros en el rango de 0 a 65535 para poder hacer rápidamente lo siguiente: Insertar un nuevo entero Insertar un rango de enteros contiguos Eliminar un número entero Eliminar todos los enteros debajo de un entero Prueba si hay un número entero presente Mis datos …

10 data-structures  efficiency  search-trees  integers 

O al menos generar un conjunto de cadenas que una NFA acepta, para que pueda alimentarlo a la otra NFA. Si hago una búsqueda en cada ruta de la NFA, ¿funcionará? Aunque eso llevará mucho tiempo.

10 algorithms  regular-languages  finite-automata 

Una secuencia binaria de longitud es solo una secuencia ordenada para que cada sea o . Para generar todas esas secuencias binarias, se puede usar la estructura de árbol binario obvia de la siguiente manera: la raíz está "vacía", pero cada hijo izquierdo corresponde a la adición de a la …

10 algorithms  graphs  binary-trees 

Este problema surgió de las pruebas de software. El problema es un poco difícil de explicar. Primero daré un ejemplo, luego trataré de generalizar el problema. Hay 10 elementos para probar, digamos A a J, y una herramienta de prueba que puede probar 3 elementos al mismo tiempo. El orden …

10 algorithms  combinatorics  software-testing 

Mi experiencia provino de lenguajes imperativos, principalmente C, C ++ y Python. Recogí Scala, Erlang y un poco de Haskell unos años más tarde y desde entonces me he interesado mucho en la programación funcional y los formalismos detrás de ella. También estoy interesado en la programación concurrente y distribuida …

10 distributed-systems  concurrency 

Pebbling es un juego de solitario jugado en un gráfico no dirigido , donde cada vértice tiene cero o más guijarros. Un solo movimiento consiste en eliminar dos piedras de un vértice y agregar una piedra a un vecino arbitrario de . (Obviamente, el vértice v debe tener al menos …

10 algorithms  graph-theory  np-complete 

Dados números modo que hay una asignación de números que es una permutación de tal queA 1 ≤ A 2 ≤ . . . ≤ A k k Σ i = 1 A i = k ( 2 k + 1 ) i 1 , i 2 , . . …

10 np-complete  decision-problem 

Tengo un problema de optimización restringido en la entropía de la matriz (Shannon) (sum(entr(eig(A))))(sum(entr(eig(A))))\mathtt{(sum(entr(eig(A))))} . La matriz AAA se puede escribir como la suma de las matrices de rango 1 de la forma [vivTi][viviT][v_i\,v_i^T] dondeviviv_i es un vector normalizado dado. Los coeficientes de las matrices de rango uno son las …

10 optimization  entropy 

Estoy interesado en los procedimientos para una división equitativa de la tierra (es decir, una división libre de envidia, o al menos una división proporcional). A diferencia del problema bien estudiado de la división de la torta, la división de la tierra es bidimensional, es decir, las preferencias de los …

10 reference-request  game-theory 

Un gráfico es cordal si no tiene ciclos inducidos de longitud o más. Un árbol clique de es un árbol en el que los vértices del árbol son la máxima camarillas de . Un borde en corresponde a un separador mínimo. El número de árboles de camarilla distintos puede ser …

10 algorithms  graph-theory  reference-request 

Comenzaré un curso universitario de ciencias de la computación el próximo otoño, pero realmente no puedo entender el cálculo λ en el contexto de la programación funcional. Puedo estar malinterpretando esto por completo, pero según esta definición de la Enciclopedia de Filosofía de Stanford, es solo otra notación para las …

10 programming-languages  lambda-calculus 

No puedo entender cómo funciona el SR Latch. Aparentemente, conecta una línea de entrada desde R y otra desde S, y se supone que obtendrá resultados en y Q ' .QQQQ′Q′Q' Sin embargo, tanto R como S requieren la entrada de la salida del otro, y la salida del otro …

10 circuits  sequential-circuit 

Estoy aprendiendo la clasificación SVM y encuentro un problema. No estoy seguro de si este dilema tiene una terminología para ello. Supongamos que nos gustaría clasificar a los pacientes por SVM a partir de las muestras de personas sanas (de ambos sexos) y personas con cáncer de hígado (de ambos …

10 machine-learning 

Estoy buscando recursos para comenzar con el análisis de programas . El único libro que he encontrado sobre el tema es el libro de Nielson & Nielson . Aparte de eso, parece que solo hay libros de "compilación" donde el "análisis de programa" sería un capítulo, o algo por el …

10 reference-request  compilers  semantics