Imagine que tengo un pedido en un grupo de elementos como este: Donde una flecha X← YX←YX \leftarrow Y medio X< YX<YX < Y. También es transitivo:( X< Y) ∧ ( Y< Z)⟹( X< Z)(X<Y)∧(Y<Z)⟹(X<Z)\left(X < Y\right) \wedge \left(Y < Z\right) \implies \left(X < Z\right). Para...
Dejar x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n) y y=(y1,…,yn)y=(y1,…,yn)y=(y_1,\dots,y_n) ser nnn-vectores de variables booleanas. Tengo un predicado booleanoQ(x,y)Q(x,y)Q(x,y) en x,yx,yx,y. Le doy a mi amiga PriscillaQ(x,y)Q(x,y)Q(x,y). En respuesta, ella me daP(x)P(x)P(x), un predicado booleano en...
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 + 1, ¿se...
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...
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 debe...
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...
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...
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 el que se da una...
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...
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 yo...
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...
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
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...
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...
Recientemente he estado lidiando con un problema que me llevó a las siguientes preguntas: ¿Existe un buen algoritmo para enumerar todas las coincidencias máximas / perfectas en un gráfico general? ¿Existe un buen algoritmo para encontrar todas las coincidencias máximas / perfectas en un gráfico...
Deje , donde y para todo .L={an∣n≥0}L={an∣n≥0}L = \{a^n \mid n \ge 0\}a0=ϵa0=ϵa^0 = \epsilonan=an−1aan=an−1aa^n = a^{n-1}an≥1n≥1n \ge 1 Por lo tanto, consiste en secuencias de de todas las longitudes, incluida una secuencia de longitud . Deje ser cualquier subconjunto infinito de . Necesito...
Dejar GsolGser un DAG Sabemos que algunos nodos en son "malos", mientras que otros son "buenos"; un descendiente de un nodo malo es malo mientras que los antepasados de un nodo bueno son buenos. También sabemos que los nodos defectuosos tienen un elemento mínimo único en que nos gustaría...
Periódicamente me encuentro con oraciones como "Se considera la variante de Winograd [20] de este algoritmo, cuya complejidad asintótica también es " (de https://www.cise.ufl.edu/~sahni/papers/strassen.pdf )O (norte2,81)O(norte2,81)O(n^{2.81}) Entiendo intuitivamente cómo terminamos con...
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
En el cálculo lambda puro, tenemos el conjunto de términos inductivamente definidos (la gramática): e::=x∣λx.e∣e1e2e::=x∣λx.e∣e1e2e::= x \mid \lambda x . e \mid e_1 e_2 Bajo la estrategia de evaluación llamada por valor, tenemos las reglas de inferencia para la reducción beta y las reglas sobre...