Ciencias de la Computación

Es un hecho bien conocido que "la correlación no es igual a la causalidad", pero el aprendizaje automático parece basarse casi por completo en la correlación. Estoy trabajando en un sistema para estimar el rendimiento de los estudiantes en preguntas basadas en sus actuaciones pasadas. A diferencia de otras tareas, …

13 machine-learning  statistics 

Suponga .P≠NPP≠NPP\neq NP ¿Qué podemos decir sobre los límites de tiempo de ejecución de todos los problemas de NP completo? es decir, cuáles son las funciones más ajustadas para las cuales podemos garantizar que un algoritmo óptimo para cualquier problema NP-completo se ejecute en tiempo de al menos y como …

13 complexity-theory  time-complexity  np-complete  p-vs-np 

Estaba leyendo la entrada de Wikipedia sobre la complejidad de Kolmogorov ( gracias a esta pregunta ), que dice: Se puede demostrar que la complejidad de Kolmogorov de cualquier cadena no puede ser mayor que unos pocos bytes mayor que la longitud de la cadena misma. ¿Por qué necesitarías algo …

13 kolmogorov-complexity 

Me gustaría un ejemplo de quine en cálculo lambda puro . Me sorprendió bastante no poder encontrar uno buscando en Google. La página quine enumera quines para muchos idiomas "reales", pero no para el cálculo lambda. Por supuesto, esto significa definir lo que quiero decir con una quine en el …

13 lambda-calculus 

La programación funcional tiene el muy elegante cálculo Lambda y sus variantes como teoría de respaldo. ¿Existe tal cosa para OOP? ¿Qué es una abstracción para el modelo orientado a objetos?

13 terminology  lambda-calculus  functional-programming  object-oriented 

Estoy buscando un algoritmo eficiente para el siguiente problema o una prueba de dureza NP. Sea ΣΣ\Sigma un conjunto y A ⊆ P ( Σ )A⊆P(Σ)A\subseteq\mathcal{P}(\Sigma) un conjunto de subconjuntos de ΣΣ\Sigma . Encuentre una secuencia w ∈ Σ ∗w∈Σ∗w\in \Sigma^* de menor longitud tal que para cada L ∈ …

13 algorithms  formal-languages  encoding-scheme 

Usando el siguiente algoritmo recursivo de Fibonacci: def fib(n): if n==0: return 0 elif n==1 return 1 return (fib(n-1)+fib(n-2)) Si ingreso el número 5 para encontrar fib (5), sé que esto generará 5, pero ¿cómo examino la complejidad de este algoritmo? ¿Cómo calculo los pasos involucrados?

13 algorithms  time-complexity  recursion 

¿Hay alguna forma natural o notable de relacionar o vincular grupos matemáticos y lenguajes formales de CS o algún otro concepto central de CS, por ejemplo, máquinas de Turing? Estoy buscando referencias / aplicaciones. Sin embargo, tenga en cuenta que conozco el vínculo entre los semigrupos y los lenguajes CS …

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

¿La salida de un analizador tiene que ser un árbol o también podría ser un gráfico general? Además, ¿hay algún lenguaje existente o plausible que use la representación gráfica general en lugar de árboles para su sintaxis?

13 compilers  parsing 

Hay bins, el i ésimo bin contiene un i bolas. Las bolas tienen n colores, hay una i bolas de color i . Sea m = ∑ n i = 1 a i .nortenortenyoyoiunyounyoa_inortenortenunyounyoa_iyoyoim = ∑nortei = 1unyometro=∑yo=1norteunyom=\sum_{i=1}^n a_i Un intercambio es tomar una pelota de un contenedor e intercambiar …

13 algorithms  complexity-theory  balls-and-bins 

He estado leyendo sobre las diferencias entre la serialización y la linealización , que son criterios de consistencia para los sistemas replicados, como las bases de datos replicadas. Sin embargo, no sé en qué casos sería necesaria la linealización, a pesar de que es más fuerte que la serialización. ¿Podría …

13 concurrency  databases 

Deje que el lenguaje sea ​​regular.L ⊆ Σ∗L⊆Σ∗\mathcal{L} \subseteq \Sigma^* Una factorización de es un par máximo ( X , Y ) de conjuntos de palabras conLL\mathcal{L}( X, Y)(X,Y)(X,Y) X⋅ Y⊆LX⋅Y⊆LX \cdot Y \subseteq \mathcal{L} ,X≠∅≠YX≠∅≠YX \neq \emptyset \neq Y donde | x ∈ X , y ∈ Y } …

13 algorithms  regular-languages  optimization 

Estoy tratando de entender qué se entiende por "determinista" en expresiones como "gramática determinista sin contexto". (Hay "cosas" más deterministas en este campo). ¡Agradecería un ejemplo más que la explicación más elaborada! Si es posible. Mi principal fuente de confusión es no poder decir cómo esta propiedad de una gramática …

13 context-free  formal-grammars  parsers 

La función de desplazamiento máximo del castor ocupado, , tiene valores conocidos para n ≤ 4 . ¿Hay alguna razón estructural básica por la que es inconcebible que alguna vez encontremos S ( n ) para n > 4 ? ¿Qué tiene de diferente n = 4 que n = …

13 computability  busy-beaver 

Supongamos que tengo una gráfica con el (desconocido) conjunto de perfectos matchings de . Suponga que este conjunto no está vacío, entonces, ¿qué tan difícil es muestrear uniformemente al azar de ? ¿Qué pasa si estoy de acuerdo con una distribución que es casi uniforme, pero no bastante uniforme, entonces …

13 algorithms  complexity-theory  matching  sampling