Ciencias de la Computación

En problemas de satisfacción de restricciones, la heurística se puede utilizar para mejorar el rendimiento de un solucionador de bactracking. Tres heurísticas comúnmente dadas para los solucionadores de retroceso simples son: Valores restantes mínimos (cuántos valores siguen siendo válidos para esta variable) Grado heurístico (cuántas otras variables se ven afectadas …

11 artificial-intelligence  constraint-satisfaction 

Durante una entrevista para un puesto de desarrollador de Java, me preguntaron lo siguiente: Escribe una función que tome dos parámetros: una cadena que representa un documento de texto y un número entero que proporciona la cantidad de artículos a devolver. Implemente la función de modo que devuelva una lista …

11 algorithms  sorting  strings  data-mining 

Según tengo entendido, el problema de asignación está en P ya que el algoritmo húngaro puede resolverlo en tiempo polinómico - O (n 3 ). También entiendo que el problema de asignación es un problema de programación lineal de enteros , pero la página de Wikipedia dice que esto es …

11 complexity-theory  complexity-classes  linear-programming  integer-programming 

Necesito saber bajo qué clase de CFL está cerrada, es decir, qué conjunto es complemento de CFL. Sé que CFL no está cerrado bajo complemento, y sé que P está cerrado bajo complemento. Dado que CFL PI puede decir que el complemento de CFL está incluido en P (¿verdad?). Todavía …

11 complexity-theory  formal-languages  context-free  closure-properties  sets 

Estoy trabajando en un ejercicio duro en un libro de texto, y no puedo entender cómo proceder. Aquí está el problema. Supongamos que tenemos el lenguaje L={aibj:i≤jγ,i≥0,j≥1}L={aibj:i≤jγ,i≥0,j≥1}L = \{a^ib^j: i \leq j \gamma, i\geq 0, j\geq 1\} donde γγ\gamma es un número irracional. ¿Cómo probaría que LLL no es un …

10 formal-languages  automata  context-free 

Específicamente, si un nuevo como lugar de sería el cálculo de {{S, K_2, I \} una base competitiva?K2K2K_2K2=λx.(λy.y)K2=λX.(λy.y)K_2 = \lambda x. (\lambda y. y)K=λx.(λy.x)K=λX.(λy.X)K = \lambda x. (\lambda y. x){S,K2,I}{S,K2,I}\{S, K_2,I\} Mi suposición es "no", solo porque parece que no puedo construir el combinador K normal a partir de los …

10 lambda-calculus  combinatory-logic 

Estoy tratando de argumentar que N no es NP igual usando teoremas de jerarquía. Este es mi argumento, pero cuando se lo mostré a nuestro maestro y después de la deducción, dijo que esto es problemático cuando no puedo encontrar una razón convincente para aceptar. Comenzamos asumiendo que . Luego …

10 complexity-theory  time-complexity  p-vs-np 

He oído hablar de todas estas prevenciones de ataque de Man-In-The-Middle y me pregunto cómo podría funcionar esto si el hombre en el medio solo escucha su transmisión y no quiere cambiar el mensaje en sí. ¿Puede el hombre en el medio no solo tomar las llaves intercambiadas por los …

10 cryptography  security 

Deje → β→β\to_\beta ser β-β\beta reducción en el cálculo λλ\lambda . Definir β-β\beta expansión ← β←β\leftarrow_\beta por t ′ ← β t⟺t → β t ′t′←βt⟺t→βt′t'\leftarrow_\beta t \iff t\to_\beta t' . ¿Es ← β←β\leftarrow_\beta confluente? En otras palabras, ¿tenemos eso para cualquier l , d , rl,d,rl,d,r , si l …

10 lambda-calculus  term-rewriting 

En la programación de tipo dependiente, hay dos formas principales de descomponer datos y realizar recursividad: Dependencia de patrones dependientes : las definiciones de funciones se dan como múltiples cláusulas. La unificación asegura que todos los casos omitidos son imposibles, y un solucionador externo asegura que la recursión esté bien …

10 reference-request  recursion  type-theory  dependent-types  inductive-datatypes 

No sé dónde más hacer esta pregunta, espero que este sea un buen lugar. Tengo curiosidad por saber si es posible hacer un generador de cálculo lambda; esencialmente, un ciclo que, dado un tiempo infinito, producirá todas las funciones posibles de cálculo lambda. (como en forma de una cadena). Dado …

10 lambda-calculus 

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 

Mi principal preocupación es si la programación genética es un campo activo de investigación, con algunas aplicaciones prometedoras en la práctica. Parece que en el campo del aprendizaje automático, las redes neuronales son la palabra de moda principal, con menciones en las principales noticias de hoy, pero nunca he oído …

10 machine-learning  evolutionary-computing 

Mi situación Estoy escribiendo un documento que presenta un módulo de software que desarrollé y quiero comparar su tiempo de ejecución con otros módulos para la misma tarea. Soy consciente de los inconvenientes de los experimentos en tiempo de ejecución , pero suponga que dado que no hay forma de …

10 algorithm-analysis  reference-request  runtime-analysis  experimental-analysis 

Estoy leyendo el documento "Maquinaria de computación e inteligencia" de Turing ( https://www.csee.umbc.edu/courses/471/papers/turing.pdf ) y encontré un fragmento en el que dice: He configurado en la computadora Manchester un pequeño programa que usa solo 1,000 unidades de almacenamiento, mediante el cual la máquina suministró un número de dieciséis respuestas con …

10 algorithms  history