No estoy seguro de verlo. Por lo que entiendo, los bordes y los vértices son complementos entre sí y es bastante sorprendente que exista esta diferencia. ¿Hay una manera buena / rápida / fácil de ver que, de hecho, encontrar un camino hamiltoniano debería ser mucho más difícil que encontrar un...
Estoy buscando un texto de referencia sobre teoría gráfica aplicada y algoritmos gráficos. ¿Existe un texto estándar utilizado en la mayoría de los programas informáticos? Si no, ¿cuáles son los textos más respetados en el campo? Tengo Cormen et
Muestra esa L = {unanorte2El | n≥0}L={unanorte2El |norte≥0 0}L=\{a^{n^2} | n \geq 0\} no es regular Hola chicos. Estoy tomando una clase de CS y estas cosas son realmente nuevas para mí, así que tengan paciencia conmigo. Traté de mirar si obtengo alguna contradicción al usar el lema de bombeo...
Quisiera su ayuda para probar que el lenguaje es decidible iff .L={⟨M⟩|L(M)∈NP∖P}L={⟨M⟩|L(M)∈NP∖P}L=\{\langle M \rangle \mathrel| L(M) \in \mathrm{NP}\smallsetminus \mathrm{P} \}P=NPP=NP\mathrm{P}=\mathrm{NP} Si , entiendo que es el lenguaje de las máquinas de Turing vacías. Entonces es un...
Estoy estudiando para un examen de IA y estoy buscando una mejor manera de resolver el siguiente problema: El gráfico muestra un problema de clasificación en el cuadrado de la unidad. [ 0 , 1]2[0 0,1]2[0,1]^2, donde la Clase A se denota por el área gris en la figura (sin incluir los puntos en...
He estado estudiando Spiking Neural Networks en línea de varios artículos, principalmente Maass (1997) . No estoy completamente seguro de entender qué hace que el código de pulso de SNN contrasta con los ANN 's anteriores que se consideran código de frecuencia. Tengo experiencia en neurociencia,...
Si suponemos que comenzamos con una instancia de -SAT e intentamos convertir el problema en una instancia de -SAT, donde hay literales por cláusula, ¿podemos garantizar una reducción en el cantidad total de cláusulas?kkk(k+m)(k+m)(k+m)(k+m)(k+m)(k+m) Después de publicar me di cuenta de que no...
¿Hay algún libro o tutorial que nos enseñe cómo aplicar eficientemente los algoritmos comunes (clasificación, búsqueda, etc.) en datos grandes (es decir, datos que no se pueden cargar completamente en la memoria principal) y cómo aplicar esos algoritmos de manera eficiente teniendo en cuenta el...
Digamos que tiene entradas booleanas y se le da un umbral . Necesita construir un circuito booleano que se evalúe como verdadero si al menos de las entradas son verdaderas. Puede usar las compuertas AND, OR, NOT o XOR (restringido a fan-in two, con arbitrario fan-out). Asintóticamente, ¿qué tan...
Estoy a punto de implementar un lenguaje de dominio específico para la representación de convenciones de aprendizaje social. Parte de la implementación es una descripción formal de un lenguaje: su 'cálculo', símbolos y expresiones lógicas. Mi enfoque sería describir el lenguaje describiendo su...
Para el método de ramificación y corte, es esencial conocer muchas facetas de los politopos generados por el problema. Sin embargo, actualmente es uno de los problemas más difíciles calcular todas las facetas de dichos politopos a medida que crecen rápidamente. Para un problema de optimización...
¿Qué significa cuando un argumento de una función se llama argumento ficticio ? No he encontrado este término fuera de Fortran, ¿es un término general en informática? ¿Cuáles serían ejemplos de argumentos pasados como ficticios y no pasados como ficticios? Encontré esta definición , que no...
No se cree que la satisfacción general (con algunas excepciones, como las cláusulas Horn) tenga una solución algorítmica. Sin embargo, el siguiente algoritmo parece ser una solución para la satisfacción general. ¿Cuál es exactamente la falla con el siguiente algoritmo? Sea un conjunto vacío que...
La fuente de esta pregunta proviene de un curso de pregrado que estoy tomando, que cubre una introducción al análisis de algoritmos. Esto no es para la tarea, sino más bien una pregunta formulada en CLRS. Tiene una máquina lenta que funciona con MIPS y una máquina rápida que funciona con MIPS....
Digamos FFF es un oráculo para un problema en N PNP\mathbb{NP}, pero no puedo llamar a este oráculo con ninguna instancia de entrada. En cambio, cada vez que llamoFFFMe devuelven una instancia y solución al azar. Por lo tanto, sé queFFF de hecho es capaz de resolver arbitrarias N...
Dado un gráfico dirigido y dos vértices distintos, S y T, ¿existe un algoritmo de tiempo polinómico que encuentre cada vértice que esté en al menos un camino simple de S a T? No es difícil encontrar todos los vértices que sean sucesores de S y predecesores de T, pero esto es solo un superconjunto...
Digamos que tengo un gráficocon aristas. Quiero ejecutar BFS en que tiene un tiempo de ejecución de .El | G |El |solEl ||G|El | miEl | =O(V2)El |miEl |=O(V2)|E|=O(V^2)solsolGO ( V+ E)O(V+mi)O(V+E) Se siente natural escribir que el tiempo de ejecución en este gráfico sería y luego simplificar a .O...
Tengo un bosque, es decir, nodos con bordes dirigidos y sin ciclos (dirigidos o no dirigidos). Defino la altura de un vértice como 0 si no tiene bordes entrantes, o el número máximo de bordes para atravesar en reversa para alcanzar un vértice de altura 0. vvv También sé que el grado promedio de...
He estado tratando de implementar el algoritmo de Brzozowski, pero acabo de descubrir que crea autómatas subóptimos para una determinada clase de entradas, con un estado más de lo que realmente se necesita en el resultado. Puedo mostrarlo en un autómata trivial: a b a b a b a b a b >0 0 1 rev...
Digamos que encontré un algoritmo de aproximación de 2 para un problema determinado y quiero mostrar que el análisis es estricto. ¿Necesito ahora encontrar un ejemplo de tamaño genérico o es suficiente para mostrar que tengo un ejemplo de tamaño para el cual el algoritmo produce...