Preguntas etiquetadas con terminology

¿Qué significa cuando decimos que un algoritmo es asintóticamente más eficiente que ?YXXXYYY XXX será una mejor opción para todas las entradas. XXX será una mejor opción para todas las entradas, excepto las entradas pequeñas. XXX será una mejor opción para todas las entradas, excepto las entradas grandes. YYY será …

12 algorithms  algorithm-analysis  terminology  asymptotics 

Estoy mirando el cálculo de construcciones y su lugar en el Cubo Lambda . Si entiendo correctamente, se puede pensar que cada eje del cubo agrega otra operación que involucra tipos al cálculo de tipo simple, . El primer eje agrega operadores de tipo a término, los segundos operadores de …

11 terminology  lambda-calculus  type-theory  dependent-types 

Necesito una definición concisa del "estado de un objeto" en la programación orientada a objetos (para un artículo). Durante aproximadamente medio día busqué un documento que pueda citar sobre este tema, pero no pude encontrar uno. Todos los documentos que encontré eran principalmente documentos generales sobre programación orientada a objetos …

11 terminology  reference-request  programming-languages  object-oriented 

¿"Inductivamente" y "recursivamente" significan muy similares? Por ejemplo, si hay un algoritmo que determina un vector n-dim mediante la determinación de sus primeros componentes k + 1 en función de que se hayan determinado sus primeros componentes k, y se inicializa con el primer componente, ¿llamaría que funciona recursivamente o …

11 algorithms  terminology  recursion  induction 

En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

Quiero especificar qué significa dar un álgebra como entrada a un algoritmo y no encontré mucha literatura al respecto. Primero, quiero preguntar si puede recomendar un libro o documento que aborde el tema del análisis de complejidad de álgebras sobre campos y defina claramente el problema de decisión . Después …

11 computability  terminology  decision-problem 

Este es el precursor de mi otra pregunta más avanzada sobre la inspección de la pila. Stack Inspection es un mecanismo de seguridad introducido en la JVM para manejar el código en ejecución que se origina en ubicaciones que tienen diferentes niveles de confianza. Esta pregunta tiene como objetivo encontrar …

11 terminology  security  stack-inspection 

En un primer árbol de profundidad, los bordes definen el árbol (es decir, los bordes que se usaron en el recorrido). Hay algunos bordes sobrantes que conectan algunos de los otros nodos. ¿Cuál es la diferencia entre un borde cruzado y un borde delantero? De wikipedia: Según este árbol de …

11 algorithms  terminology  graphs  graph-traversal 

De Wikipedia : El tipo de problema computacional: los problemas más utilizados son los problemas de decisión . Sin embargo, las clases de complejidad se pueden definir en función de problemas de función, problemas de conteo, problemas de optimización, problemas de promesa, etc. También vi que las definiciones de NP-complete, …

11 complexity-theory  terminology 

Se le da una matriz de longitud . Cada elemento de la matriz pertenece a una de las clasesSe supone que debe reorganizar la matriz utilizando un número mínimo de operaciones de intercambio para que todos los elementos de la misma clase estén siempre agrupados, es decir, que formen una …

10 terminology  reference-request  sorting  arrays 

Aproximadamente, un gráfico no dirigido es muy similar a un gráfico dirigido donde para cada borde (v, w), siempre hay un borde (w, v). Eso sugiere que podría ser aceptable ver gráficos no dirigidos como un subconjunto de gráficos dirigidos (tal vez con una restricción adicional de que agregar / …

10 graphs  terminology 

No sé la terminología correcta para hacer esta pregunta, así que la describiré con muchas palabras, tengan paciencia conmigo. Antecedentes , solo para estar en la misma página: los programas a menudo contienen cachés, una compensación de tiempo / memoria. El error de un programador común es olvidar actualizar un …

10 terminology  reference-request  functional-programming  programming-paradigms 

Según Peter Selinger , The Lambda Calculus is Algebraic (PDF). Al principio de este artículo dice: Se sabe que la interpretación combinatoria del cálculo lambda es imperfecta porque no satisface la regla : según la interpretación, M = N no implica \ lambda xM = \ lambda xN (Barendregt, 1984).ξξξM=NM=NM …

10 terminology  lambda-calculus  combinatory-logic 

¿Qué notación se usa para discutir los coeficientes de las funciones en notación big-O? Tengo dos funciones: f(x)=7x2+4x+2f(x)=7x2+4x+2f(x) = 7x^2 + 4x +2 g(x)=3x2+5x+4g(x)=3x2+5x+4g(x) = 3x^2 + 5x +4 Obviamente, ambas funciones son , de hecho , pero eso no permite una comparación más allá de eso. ¿Cómo discuto los …

10 terminology  asymptotics  landau-notation 

Para funciones o cálculos tenemos términos como: Determinista - determinismo Puro - Pureza Ahora, ¿cuál es el nombre correspondiente correcto para sin efectos secundarios ? ¿"Libre de efectos secundarios"? ¿"Libertad de efectos secundarios"? ¿"No tiene efectos secundarios"?

10 terminology  programming-languages