Ciencias de la Computación

Dado que comprar potencia de cálculo es mucho más económico que en el pasado, ¿el conocimiento de algoritmos y la eficiencia son cada vez menos importantes? Está claro que querrás evitar un bucle infinito, por lo tanto, no todo funciona. Pero si tiene un mejor hardware, ¿podría tener un software …

29 efficiency 

Muchos libros de texto cubren los tipos de intersección en el cálculo lambda. Las reglas de tipeo para la intersección se pueden definir de la siguiente manera (además del cálculo lambda simplemente tipado con subtipado): Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧I)Γ⊢M:⊤(⊤I)Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧I)Γ⊢M:⊤(⊤I) \dfrac{\Gamma \vdash M : T_1 \quad \Gamma \vdash M : T_2} {\Gamma \vdash M …

29 lambda-calculus  type-theory  logic 

Tengo curiosidad por determinar un enfoque para abordar un algoritmo de "amigos sugeridos". Facebook tiene una función en la que le recomendará personas que cree que puede conocer. Estos usuarios normalmente (excluyendo los casos extremos en los que un usuario recomienda específicamente a un amigo ) tienen una red muy …

29 algorithms  machine-learning  modelling  social-networks 

¿SQL necesita subconsultas? Imagine una implementación suficientemente generalizada del lenguaje de consulta estructurado para bases de datos de relaciones. Como la estructura de la SELECTdeclaración canónica de SQL es bastante importante para que esto tenga sentido, no apelo directamente al álgebra relacional, pero podría enmarcar esto en esos términos haciendo …

29 database-theory  relational-algebra 

Tengo un algoritmo codicioso que sospecho que podría ser correcto, pero no estoy seguro. ¿Cómo verifico si es correcto? ¿Cuáles son las técnicas a utilizar para probar que un algoritmo codicioso es correcto? ¿Existen patrones o técnicas comunes? Espero que esto se convierta en una pregunta de referencia que pueda …

29 algorithm-analysis  proof-techniques  correctness-proof  greedy-algorithms 

Estoy buscando un algoritmo para generar una matriz de N números aleatorios, de modo que la suma de los N números sea 1, y todos los números se encuentren dentro de 0 y 1. Por ejemplo, N = 3, el punto aleatorio (x, y, z) debe estar dentro del triángulo: …

29 algorithms  randomness  random-number-generator  sampling 

Sea SSS un conjunto de números naturales. Consideramos SSS bajo el orden parcial de divisibilidad, es decir, . Dejars1≤s2⟺s1∣s2s1≤s2⟺s1∣s2s_1 \leq s_2 \iff s_1 \mid s_2 α(S)=max{|V|∣V⊆S,Vα(S)=max{|V|∣V⊆S,V\qquad \displaystyle \alpha(S) = \max \{|V| \mid V\subseteq S, V una antichain .}}\} Si consideramos el problema de la suma de subconjuntos donde el conjunto …

28 complexity-theory  number-theory  knapsack-problems 

En mi club de squash local, hay una escalera que funciona de la siguiente manera. Al comienzo de la temporada, construimos una tabla con el nombre de cada miembro del club en una línea separada. Luego escribimos el número de juegos ganados y el número de juegos jugados al lado …

28 algorithms  graphs 

Si se intenta descargar un archivo a una velocidad de 800 Mb / s (100 MB / s) en un disco duro con una velocidad de escritura de 500 Mb / s (62.5 MB / s), ¿qué sucedería? ¿El sistema limitaría la velocidad de descarga?

28 computer-networks 

Wikipedia, así como otras fuentes que he encontrado, enumeran el voidtipo de C como un tipo de unidad en lugar de un tipo vacío. Esto me parece confuso, ya que me parece que se voidajusta mejor a la definición de un tipo vacío / inferior. No habito valores void, por …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

Tengo la siguiente cita del curso de mi compilador (en el contexto de la coloración de gráficos): Debido a que es lento, la coloración de gráficos tiende a usarse en compiladores por lotes, mientras que el escaneo lineal tiende a usarse en compiladores JIT. No pude encontrar una definición clara …

28 compilers 

¿Existen programas que puedan 'traducir' el código fuente entre dos idiomas (suponiendo que el traductor tenga acceso a las bibliotecas necesarias)? Si los hay, ¿cómo funcionan (técnicas utilizadas, conocimiento requerido, etc.)? ¿Cómo se construirían de manera factible? Si no lo son, ¿cuáles son las restricciones que impiden su desarrollo? ¿Es …

28 computability  programming-languages  compilers 

Actualmente estoy jugando con pronósticos de series de tiempo (específicamente para Forex). He visto algunos artículos científicos sobre las redes de estado de eco que se aplican al pronóstico de Forex. ¿Existen otros buenos algoritmos de aprendizaje automático para este propósito? También sería interesante extraer patrones "rentables" de la serie …

28 reference-request  machine-learning  artificial-intelligence 

Está escrito en Wikipedia que "... el tipo de selección casi siempre supera al de burbuja y al de gnomos". ¿Alguien puede explicarme por qué el ordenamiento por selección se considera más rápido que el ordenamiento por burbujas aunque ambos tengan: La peor complejidad del tiempo del caso :O(n2)O(n2)\mathcal O(n^2) …

28 algorithms  runtime-analysis  efficiency  sorting 

Estoy tratando de entender los métodos de agrupamiento. Lo que creo que entendí: En el aprendizaje supervisado, los datos de categorías / etiquetas a los que se les asigna se conocen antes del cálculo. Por lo tanto, las etiquetas, clases o categorías se están utilizando para "aprender" los parámetros que …

28 machine-learning  data-mining  clustering