Ciencias de la Computación

Estaba leyendo el teorema de los cuatro colores y me pregunto si hay alguna aplicación práctica. (No creo que separar el mapa en cuatro colores diferentes pueda considerarse una aplicación). Intenté buscar en Google las aplicaciones, pero no pude encontrar ninguna.

8 graph-theory  colorings 

Supongamos que quiero optimizar una función unimodal definida en algún intervalo real. Puedo usar el conocido algoritmo descrito en Wikipedia bajo el nombre de búsqueda ternaria . En el caso del algoritmo que reduce a la mitad los intervalos repetidamente, es común reservar el término búsqueda binaria para problemas discretos …

8 algorithms  terminology  numerical-analysis  numerical-algorithms 

Sabemos que P = NP implica NP = coNP. ¿Se cumple la implicación inversa? ¿NP es igual a coNP implica que P es igual a NP? ¿Si no, porque no? Busqué en Google pero no encontré la respuesta.

8 complexity-theory 

Como he estudiado, decidir la regularidad de los lenguajes libres de contexto es indecidible. Sin embargo, podemos probar la regularidad utilizando el teorema de Myhill-Nerode que proporciona una condición necesaria y suficiente. Entonces el problema debería ser decidible. ¿Dónde está mi error?

8 formal-languages  computability  regular-languages  undecidability 

Aquí hay una pregunta quizás ingenua que me ha estado hormigueando: ¿Hay un límite inferior asintótico para abordar aleatoriamente una memoria arbitrariamente grande? Mi causa de creencia es que el camino más corto a cualquier memoria almacenada físicamente debe ser a través del espacio tridimensional, y la diagonal aquí debe …

8 algorithms 

Como hay un cálculo lambda sin tipo y un cálculo lambda de tipo simple (como se describe, por ejemplo, en el libro Tipos y lenguajes de programación de Benjamin Pierce), ¿existe una lógica combinatoria de tipo simple? Por ejemplo, parecería que los tipos naturales para los combinadores S, K y …

8 logic  lambda-calculus  functional-programming  combinatory-logic 

Estoy aprendiendo sobre el análisis asintótico, y he visto algunas complejidades de aspecto exótico que viven entre otras comunes. Por ejemplo, "log log n" está estrictamente entre 1 y log n. Me hace preguntarme si uno siempre puede encontrar complejidades entre otros dos. Específicamente, para cualquier función f y g …

8 complexity-theory  time-complexity  asymptotics 

Recientemente, estoy leyendo documentos sobre dicotomía . No entiendo qué condición se puede llamar como una dicotomía ? ¿Cuál es el significado de "una pregunta está en P o en NP - completa "? (suponga P ≠≠\neq NP ) Por ejemplo, conozco el teorema de la dicotomía de Schaefer, en …

8 complexity-theory  np-complete  satisfiability 

He estado intentando durante bastante tiempo encontrar una construcción para poder demostrar formalmente que un PDA determinista está cerrado bajo complementación. Sin embargo, sucede que cada idea que tengo tiene algo que al final no encaja. ¿Me puedes dar una mano? El principal problema ocurre con los movimientos ε . …

8 formal-languages  automata  closure-properties  pushdown-automata 

Soy un erudito novato en ciencias de la computación, y me piden que escriba un artículo que implique la factorización de enteros. Como resultado, tengo que investigar el algoritmo de Shor en computadoras cuánticas. Para los otros algoritmos, pude encontrar ecuaciones específicas para calcular el número de instrucciones del algoritmo …

8 time-complexity  quantum-computing  factoring 

Tengo graficas GkGkG_k y HkHkH_k con |V(Gk)|=|V(Hk)|2k=n2k|V(Gk)|=|V(Hk)|2k=n2k|\mathcal{V}(G_k)|=|\mathcal{V}(H_k)|^{2k}=n^{2k} con k∈Nk∈Nk\in\Bbb Nque pasan controles de cordura como el lema de no homomorfismo. ¿Existen herramientas gratuitas y fáciles de usar para probar el homomorfismo gráfico deGGG a HHH?

8 complexity-theory  graph-theory 

Me parece que, tomada sobre todo el gráfico, la norma del vector de error debe estar disminuyendo monotónicamente, de lo contrario no podríamos garantizar que el PageRank converja alguna vez. Sin embargo, ¿es lo mismo cierto para cada vértice? Es decir, de la iteración t a la iteración t + …

8 graph-theory  algorithm-analysis  error-estimation 

Varios algoritmos populares de aprendizaje automático, como la regresión logística o las redes neuronales, requieren que sus entradas sean numéricas. Lo que me interesa es cómo hacer que estos algoritmos funcionen en entradas no numéricas (como cadenas cortas). Como ejemplo, supongamos que estamos creando un sistema de clasificación de correo …

8 machine-learning  data-mining 

Tengo problemas para entender por qué es fácil detectar ciclos de peso negativo (Bellman Ford) pero difícil de encontrar el ciclo de peso máximo en un gráfico no dirigido. Si negamos el peso de cada borde, podemos encontrar fácilmente si hay ciclos con un peso total> 0. Sin embargo, no …

8 complexity-theory  graph-theory 

Estoy buscando un algoritmo que proporcione una cadena canónica para un gráfico de color dado. Es decir. un algoritmo que devuelve una cadena para un gráfico, de modo que dos gráficos obtienen la misma cadena si y solo si son isomórficos. En particular, estoy buscando un algoritmo simple que sea …

8 algorithms  graph-theory  combinatorics