¿Cómo demuestra que la altura esperada de un árbol de búsqueda binario construido aleatoriamente con nnn nodos es O(logn)O(logn)O(\log n) ? Hay una prueba en CLRS Introducción a los algoritmos (capítulo 12.4), pero no la
Tomo curso sobre Complejidad Computacional. Mi problema es que no entiendo el método de relativización . Intenté encontrar un poco de intuición en muchos libros de texto, desafortunadamente, hasta ahora sin éxito. Apreciaré si alguien pudiera arrojar luz sobre este tema para poder continuar por mí...
Realmente me gustaría su ayuda para demostrar lo siguiente. Si entonces .NTime(n100)⊆DTime(n1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P=NPP=NP\mathrm{P}=\mathrm{NP} Aquí, es la clase de todos los idiomas que puede decidir la máquina de Turing no...
Supongamos que tengo un gráfico dirigido con pesos de borde extraídos del rango [1,…,K][1,…,K][1,\dots, K] donde KKK es constante. Si estoy tratando de encontrar la ruta más corta utilizando el algoritmo de Dijkstra , ¿cómo puedo modificar la estructura del algoritmo / datos y mejorar la...
¿Existen lenguajes de programación (o lógica) que puedan implementar (o expresar) una función si y solo si es una función biyectiva computable? ff:N→Nf:N→Nf:\mathbb{N}\to
Procedente del punto de vista de alguien que está pensando en obtener un doctorado en informática. Tengo problemas para decidir en qué enfocaría mi investigación cuando vaya a hacer mi doctorado. Ver también esta pregunta en academia.SE . Así que estoy pensando que leer / mantenerse al día sobre...
Hay una variedad vertiginosa de símbolos que a veces se utilizan en documentos de matemáticas y CS. Sin embargo, muchos suponen una familiaridad básica que parece raramente enseñada en un solo lugar. Estoy buscando un diccionario similar al siguiente, especialmente desde una perspectiva...
maximizar f( x )sujeto a A x = bmaximizar F(X)sujeto a UNX=si\text{maximize } f(\mathbf{x}) \quad\text{subject to } \mathbf{Ax} = \mathbf{b} dónde F( x ) = ∑i = 1norte1 + x4 4yo( ∑nortei = 1X2yo)2-------------⎷,F(X)=∑yo=1norte1+Xyo4 4(∑yo=1norteXyo2)2,f(\mathbf{x}) =...
Necesito ayuda para calcular la función potencial de un montón máximo para que el extracto máximo se complete en tiempo amortizado. Debo agregar que no entiendo bien el método potencial.O(1)O(1)O(1) Sé que la función de inserción debería "pagar" más para reducir el costo de la extracción, y esto...
Tomé un curso sobre compiladores en mis estudios universitarios en el que escribimos un compilador que compila programas fuente en un lenguaje similar a Java de juguete a un lenguaje ensamblador de juguetes (para el cual teníamos un intérprete). En el proyecto hicimos algunas suposiciones sobre la...
Dado un gráfico acíclico dirigido , un vértice es una fuente si su grado es cero, lo que significa que solo tiene arcos salientes.D = ( V, A )re=(V,UNA)D = (V,A)v ∈ Vv∈Vv \in V ¿Existe un algoritmo de tiempo lineal para encontrar una fuente en un gráfico acíclico dirigido dado? Pregunta de...
Esta página sobre el algoritmo de Knuth-Moriss-Pratt en comparación con Boyer-Moore describe un posible caso en el que el algoritmo de Boyer-Moore sufre una pequeña distancia de salto mientras que KMP podría funcionar mejor. Estoy buscando un buen ejemplo (texto, patrón) que pueda demostrar...
¿Qué son las funciones anónimas (lambda)? ¿Cuál es la definición formal de una función anónima en un lenguaje de programación funcional? En mis términos simples, cuando estoy programando en esquema / lisp, diría que una función anónima (lambda) es una función que no está vinculada a un...
Considere el siguiente problema cuya instancia de entrada es un gráfico simple y un entero natural k .solsolGkkk ¿Existe un conjunto tal que G - S sea bipartito y | S | ≤ k ?S⊆ V( G )S⊆V(sol)S \subseteq V(G)G - Ssol-SG - SEl | SEl | ≤kEl |SEl |≤k|S| \leq k Me gustaría mostrar que este...
Recientemente me encontré con un artículo que describe la técnica de análisis mencionada en el título. Desafortunadamente, la terminología utilizada en dicho documento está más allá de mi comprensión, por lo que he estado tratando de comprender el algoritmo de construcción de manera más intuitiva....
Las máquinas de Turing y las gramáticas sin restricciones son dos formalismos diferentes que definen los lenguajes RE. Algunos lenguajes RE son decidibles, pero no todos lo son. Podemos definir los idiomas decidibles con las máquinas de Turing diciendo que un idioma es decidible si hay una TM para...
Este es un problema de la sesión de práctica del Concurso de Programación Universitaria de Polonia 2012 . Aunque pude encontrar las soluciones para el concurso principal, parece que no puedo encontrar la solución para este problema en ninguna parte. El problema es: dado un conjunto de norteNN...
Estoy aprendiendo la clasificación SVM y encuentro un problema. No estoy seguro de si este dilema tiene una terminología para ello. Supongamos que nos gustaría clasificar a los pacientes por SVM a partir de las muestras de personas sanas (de ambos sexos) y personas con cáncer de hígado (de ambos...
Desde el punto de vista del comportamiento asintótico, ¿qué se considera un algoritmo "eficiente"? ¿Cuál es el estándar / razón para dibujar la línea en ese punto? Personalmente, pensaría que cualquier cosa que sea ingenuamente llamaría "subpolinomio", de modo que como sería eficiente y cualquier...
No puedo entender cómo funciona el SR Latch. Aparentemente, conecta una línea de entrada desde R y otra desde S, y se supone que obtendrá resultados en y Q ' .QQQQ′Q′Q' Sin embargo, tanto R como S requieren la entrada de la salida del otro, y la salida del otro requiere la entrada de la salida del...