Ciencias de la Computación

Una reciente publicación de blog sobre cómo encontrar tres espacios espaciados de manera uniforme me lleva a una pregunta de stackoverflow con una respuesta superior que dice hacerlo en tiempo O (n lg n). La parte interesante es que la solución consiste en cuadrar un polinomio, haciendo referencia a un …

15 algorithms  time-complexity 

Las máquinas de mostrador con dos o más contadores suelen ser equivalentes a las máquinas de Turing en cursos sobre teoría de la computación. Sin embargo, no he visto un análisis formal de qué idiomas puede reconocer una máquina de un contador. ¿Son estos lenguajes equivalentes a los lenguajes libres …

15 computability  automata 

Recientemente me he vuelto extremadamente interesado en comprender y probar aspectos de lenguajes de programación (funcionales). Sin embargo, a medida que profundizo, cosas como el cálculo , la teoría de categorías y la semántica denotacional son un poco difíciles de asimilar sin una explicación adecuada.λλ\lambda Leí SICP (un libro bastante …

15 reference-request  lambda-calculus  functional-programming  books 

Aparentemente, si P=NPP=NP{\sf P}={\sf NP} , todos los idiomas en PP{\sf P} excepto ∅∅\emptyset y Σ∗Σ∗\Sigma^* serían NPNP{\sf NP} -completos. ¿Por qué estos dos idiomas en particular? ¿No podemos reducir a ellos otro lenguaje en PP{\sf P} al enviarlos al aceptar o no aceptar?

15 complexity-theory  np-complete  reductions 

Este problema, para mí, parece muy interesante. Estaba a punto de encontrar un ciclo simple (es decir, ciclo donde no hay nodos repetidos) en un gráfico dirigido. Mi solución es así, es decir, este gráfico es un problema de caso: Sé que hay un ciclo en un gráfico, cuando puedes …

15 algorithms  graphs  enumeration 

Los algoritmos de ajedrez actuales van alrededor de 1 o tal vez 2 niveles por un árbol de posibles caminos dependiendo de los movimientos del jugador y del oponente. Digamos que tenemos el poder informático para desarrollar un algoritmo que predice todos los movimientos posibles del oponente en un juego …

15 algorithms  turing-machines 

Estoy tratando de derivar el artículo clásico en el título solo por medios elementales (sin funciones generadoras, sin análisis complejo, sin análisis de Fourier) aunque con mucha menos precisión. En resumen, "solo" quiero demostrar que la altura promedio hnhnh_n de un árbol con nnn nodos (es decir, el número máximo …

15 combinatorics  discrete-mathematics  trees  average-case  random-walks 

He estado leyendo Introducción a los algoritmos de Cormen et al. y estoy leyendo la declaración del teorema del Maestro que comienza en la página 73 . En el caso 3 también hay una condición de regularidad que debe cumplirse para usar el teorema: ... 3. Si f(n)=Ω(nlogba+ε)f(n)=Ω(nlogb⁡a+ε)\qquad \displaystyle f(n) …

15 algorithms  asymptotics  mathematical-analysis  landau-notation  master-theorem 

En una conferencia, un profesor mencionó que las computadoras modernas no tienen tanta potencia computacional como una máquina de Turing porque no tienen memoria infinita, y dado que ninguna computadora puede tener memoria infinita, la máquina de Turing es inalcanzable y simplemente representa el límite superior de informática. ¿Existe una …

15 computability 

Sea A reducible a B, es decir, . Por lo tanto, la máquina de Turing aceptar tiene acceso a un oráculo de . Deje que la máquina de Turing que acepta sea y el oráculo para sea . Los tipos de reducciones:A B A M A B O BA≤BA≤BA \leq …

15 complexity-theory  np-complete  reductions  complexity-classes 

Dado un conjunto de conjuntos, me gustaría encontrar un conjunto de tal manera que cada conjunto en contiene al menos un elemento de . También me gustaría que contenga la menor cantidad posible de elementos sin dejar de cumplir este criterio, aunque puede existir más de una más pequeña con …

15 algorithms  optimization  sets 

Soy asistente de pruebas de autoaprendizaje y decidí comenzar con algunas pruebas básicas y progresar. Como las pruebas se basan en otras pruebas y, por lo tanto, forman una jerarquía, ¿existe un depósito de la jerarquía de pruebas? Sé que puedo elegir un asistente de pruebas en particular y analizar …

15 reference-request  logic  proof-assistants 

Estoy usando una computadora digital para escribir este mensaje. Tal máquina tiene una propiedad que, si lo piensa, es realmente notable: es una máquina que, si se programa adecuadamente, puede realizar cualquier cálculo posible . Por supuesto, las máquinas de calcular de un tipo u otro vuelven a la antigüedad. …

15 computability  turing-machines  history 

El algoritmo de minimización de DFA de Brzozowski crea un DFA mínimo para DFA GGG de la siguiente manera: invirtiendo todos los bordes en GGG , haciendo que el estado inicial sea un estado de aceptación, y los estados de aceptación iniciales, para obtener un NFA N′N′N' para el lenguaje …

15 algorithms  finite-automata  runtime-analysis 

Estoy trabajando en un compilador para un lenguaje concatenante y me gustaría agregar soporte de inferencia de tipos. Entiendo Hindley-Milner, pero he estado aprendiendo la teoría de tipos a medida que avanzo, así que no estoy seguro de cómo adaptarla. ¿El siguiente sistema es sólido y decididamente infeccioso? Un término …

15 programming-languages  logic  compilers  type-theory  type-checking