Ciencias de la Computación

Entiendo la prueba de la indecidibilidad del problema de detención (dada, por ejemplo, en el libro de texto de Papadimitriou), basada en la diagonalización. Si bien la prueba es convincente (entiendo cada paso), no es intuitiva para mí en el sentido de que no veo cómo alguien la derivaría, comenzando …

30 computability  proof-techniques  undecidability  halting-problem  intuition 

¿Qué diferencias y relaciones hay entre los algoritmos aleatorios y los algoritmos no deterministas? De Wikipedia UNA algoritmo aleatorio es un algoritmo que emplea un grado de aleatoriedad como parte de su lógica. El algoritmo generalmente utiliza bits aleatorios uniformes como entrada auxiliar para guiar su comportamiento, con la esperanza …

30 algorithms  terminology  computation-models  nondeterminism  randomness 

Me gustaría enumerar todos los gráficos no dirigidos de tamaño nnn , pero solo necesito una instancia de cada clase de isomorfismo . En otras palabras, quiero enumerar todos los gráficos no isomorfos (no dirigidos) en nnn vértices. ¿Cómo puedo hacer esto? Más precisamente, quiero un algoritmo que genere una …

30 algorithms  graphs  data-compression  graph-isomorphism 

He estado leyendo durante algunas semanas sobre el cálculo de Lambda, pero todavía no he visto nada que sea materialmente distinto de las funciones matemáticas existentes, y quiero saber si es solo una cuestión de notación, o si hay alguna nueva propiedades o reglas creadas por los axiomas del cálculo …

29 lambda-calculus  functional-programming 

He estado estudiando compiladores durante un tiempo, y he estado buscando lo que se entiende por "contexto" en gramática y lo que significa que la gramática esté "libre de contexto", pero sin resultado. Entonces, ¿alguien puede ayudar con esto?

29 terminology  context-free  formal-grammars 

Encontré a continuación la declaración de Alan M. Turing aquí : "La opinión de que las máquinas no pueden dar lugar a sorpresas se debe, creo, a una falacia a la que los filósofos y matemáticos están particularmente sujetos. Esta es la suposición de que tan pronto como se presenta …

29 turing-machines  computability  computation-models 

La tesis de Church-Turing establece que todo lo que se puede calcular físicamente, se puede calcular en una máquina de Turing. El documento "Computación analógica a través de redes neuronales" (Siegelmannn y Sontag, Theoretical Computer Science , 131: 331–360, 1994; PDF ) afirma que una red neuronal de cierta forma …

29 computability  turing-machines  church-turing-thesis 

Actualmente estoy leyendo un libro sobre algoritmos y complejidad. En este momento, estoy leyendo sobre funciones computables y no computables, y mi libro dice que hay muchas más funciones que no son computables que computables, de hecho, la mayoría no son computables, dice. En cierto sentido, puedo aceptar eso intuitivamente, …

29 computability  turing-machines  combinatorics 

Las redes backprop totalmente conectadas (al menos capa a capa con más de 2 capas ocultas) son aprendices universales. Desafortunadamente, a menudo son lentos para aprender y tienden a ajustarse demasiado o tienen generalizaciones incómodas. Al perder el tiempo con estas redes, he observado que podar algunos de los bordes …

29 machine-learning  network-topology  neural-networks 

Estoy implementando un conjunto de algoritmos de búsqueda de rutas como Dijkstra, Depth First, etc. Al principio usé un par de gráficos hechos por mí mismo, pero ahora me gustaría llevar el desafío un poco más allá y, por lo tanto, estoy buscando gráficos utilizados en puntos de referencia; gráficos …

29 algorithms  graphs  data-sets  benchmarking 

El problema 3SUM intenta identificar 3 enteros de un conjunto S de tamaño n tal que a + b + c = 0 .a , b , ca,b,ca,b,cSSSnortenna + b + c = 0a+b+c=0a + b + c = 0 Se conjetura que no hay mejor solución que la cuadrática, …

29 complexity-theory  combinatorics  complexity-classes 

Hay un algoritmo polinomial fácil para decidir si hay una ruta entre dos nodos en un gráfico dirigido (solo haga un recorrido de rutina del gráfico con, por ejemplo, búsqueda de profundidad primero). Sin embargo, parece que, sorprendentemente, el problema se vuelve mucho más difícil si en lugar de probar …

29 algorithms  complexity-theory  graph-theory 

Mi madre está tomando un curso en línea para ser una especie de bibliotecaria, en este curso cubren búsquedas booleanas, por lo que pueden buscar bases de datos de manera eficiente, sin embargo, recibió una pregunta que suena así: La búsqueda "x OR y" dará como resultado 105 000 resultados, …

29 sets  counting 

Cuando estaba explicando la prueba de Baker-Gill-Solovay de que existe un oráculo con el que podemos tener, , y un oráculo con el que podemos tener a un amigo, surgió una pregunta de por qué tales técnicas no son adecuadas para probar el problema , y no pude dar una …

29 complexity-theory  proof-techniques  p-vs-np  relativization 

Aprendimos sobre el concepto de enumeraciones de funciones. En la práctica, corresponden a lenguajes de programación. En un comentario pasajero, el profesor mencionó que la clase de todas las funciones totales (es decir, las funciones que siempre terminan para cada entrada) no es enumerable. Eso significaría que no podemos idear …

29 computability  semi-decidability  enumeration