Preguntas etiquetadas con terminology

¿Aceptar significa que el TM leerá y reconocerá un carácter de la celda de la que está leyendo actualmente? ¿Y es el caso de que una TM se detenga si la entrada es decidible?

10 terminology  turing-machines  undecidability 

Leí en Wikipedia que la unificación es un proceso para resolver el problema de la satisfacción. Al mismo tiempo, sé que tales solucionadores se llaman "solucionadores SAT" o "solucionadores SMT". Entonces, ¿son nombres diferentes para la misma cosa? Si dice que son diferentes, señale una falla en mi tratamiento.

10 terminology  sat-solvers  unification 

¿Existe alguna definición formal sobre la altura promedio de un árbol binario? Tengo una pregunta tutorial sobre cómo encontrar la altura promedio de un árbol binario usando los siguientes dos métodos: La solución natural podría ser tomar la longitud promedio de todos los caminos posibles desde la raíz hasta una …

10 graph-theory  terminology  combinatorics  binary-trees 

Hice una pregunta (semilla) sobre sumas de términos de Landau antes , tratando de evaluar los peligros del abuso de la notación asintótica en aritmética, con un éxito mixto. Ahora, aquí nuestro gurú de la recurrencia JeffE hace esencialmente esto: ∑i = 1norteΘ ( 1yo) =Θ( Hnorte)∑i=1nΘ(1i)=Θ(Hn)\qquad \displaystyle \sum_{i=1}^n \Theta\left(\frac{1}{i}\right) …

10 terminology  asymptotics  landau-notation 

Mientras leía un artículo que describía las diferencias en OO y la programación funcional, me encontré con punteros de función. Ha pasado un tiempo desde que completé mi licenciatura en Ciencias de la Computación (2003), así que busqué punteros para refrescar mi memoria. Los punteros son variables que contienen una …

10 terminology  programming-languages 

Me resulta difícil diferenciar claramente entre multiprogramación y multitarea. Mi fuente principal ha sido Wikipedia , pero el artículo de WP parece estar un poco en desacuerdo con algunas fuentes menos confiables (como mi profesor universitario). Mientras leo WP, la multiprogramación es una forma rudimentaria de aumentar el rendimiento de …

10 terminology  process-scheduling 

Desde el punto de vista del comportamiento asintótico, ¿qué se considera un algoritmo "eficiente"? ¿Cuál es el estándar / razón para dibujar la línea en ese punto? Personalmente, pensaría que cualquier cosa que sea ingenuamente llamaría "subpolinomio", de modo que como sería eficiente y cualquier cosa que sea sería "ineficiente". …

10 algorithms  terminology  asymptotics  landau-notation 

Hay una variedad vertiginosa de símbolos que a veces se utilizan en documentos de matemáticas y CS. Sin embargo, muchos suponen una familiaridad básica que parece raramente enseñada en un solo lugar. Estoy buscando un diccionario similar al siguiente, especialmente desde una perspectiva CS. Enumeraría todos los símbolos matemáticos básicos …

10 terminology  reference-request  education 

Estaba investigando programación dinámica y leí lo siguiente: A menudo, cuando se utiliza un método más ingenuo, muchos de los subproblemas se generan y resuelven muchas veces. ¿Qué es un método ingenuo?

10 terminology  dynamic-programming 

Un gráfico bipartito es plano si no tiene o menores. K 5K3,3K3,3K_{3, 3}K5K5K_5 Estoy buscando las condiciones necesarias y / o suficientes para permitir dibujos planos sin bordes que "rodeen" conjuntos de vértices. Estos son dibujos satisfactorios: Todos los vértices de una parte se dibujan en una sola línea vertical. …

9 graph-theory  terminology  graph-drawing 

Escuché varias explicaciones posibles, así que me gustaría una referencia confiable. Actualización 05.19: Estoy interesado en la pregunta porque uno de mis estudiantes escribió en su tesis que el nombre proviene de la explicación a continuación (1). Hasta ahora pensé / escuché que proviene de la explicación (2). Me sentiría …

9 terminology  reference-request  history 

¿Alguien podría explicarme qué es exactamente la RAM ajena? Encontré la siguiente explicación que me deja bastante claro, pero me gustaría tener una idea de los aspectos técnicos: El cifrado no siempre es suficiente para garantizar la privacidad. Si un adversario puede observar sus patrones de acceso al almacenamiento encriptado, …

9 terminology  computer-architecture  security  memory-hardware  memory-access 

Uno de mis mayores tuvo una entrevista de trabajo y le preguntaron por qué se llama dinámico. No pudo responder y, después de darse por vencido, el entrevistador dijo que no había nada dinámico al respecto, simplemente se llama así. Eso me cuesta creerlo. ¿Se refiere al hecho de que …

9 terminology  dynamic-programming 

Me parece extraño que el TSP niegue la posibilidad de ciudades repetidas. El objetivo de este vendedor ambulante es ir lo más rápido posible y visitar todas las ciudades, ¿verdad? Entonces, ¿qué pasa si es más rápido viajar por una ciudad en la que ya has estado?

9 terminology  traveling-salesman 

En el Capítulo 1 de Fundamentos prácticos para lenguajes de programación , el autor menciona que los árboles de sintaxis abstractos están asociados con géneros . Intuitivamente, los tipos son como los tipos, pero me gustaría saber si tienen una definición precisa. Me alegraría si también se proporcionan algunas referencias.

9 terminology  programming-languages  semantics