La Ley de De Morgan a menudo se introduce en un curso introductorio de matemáticas para ciencias de la computación, y a menudo lo veo como una forma de convertir las declaraciones de AND a OR negando los términos. ¿Existe una explicación más intuitiva de por qué esto funciona en lugar de solo...
Dejar L = { anorte∣ ∃p ≥ n pag, p + 2 son primos } . L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. ¿ es regular?LLL Esta pregunta parecía sospechosa a primera vista y me di cuenta de que está relacionada con la conjetura del primo gemelo ....
Los cursos de introducción de gráficos generalmente tienen un proyecto que le pide que cree un trazador de rayos para representar una escena. Muchos estudiantes de gráficos que ingresan a la escuela de posgrado dicen que quieren trabajar en el trazado de rayos. Y, sin embargo, parece que el trazado...
Hace poco leí que es posible tener matrices que no necesitan inicializarse, es decir, es posible usarlas sin tener que perder tiempo tratando de establecer cada miembro en el valor predeterminado. es decir, puede comenzar a usar la matriz como si se hubiera inicializado por el valor predeterminado...
Un gráfico unipático es un gráfico dirigido de tal manera que existe como máximo una ruta simple desde cualquier vértice a cualquier otro vértice. Los gráficos unipáticos pueden tener ciclos. Por ejemplo, una lista doblemente vinculada (¡no circular!) Es un gráfico unipático; si la lista tiene...
Estoy buscando un algoritmo eficiente que me permita procesar el árbol de búsqueda minimax para ajedrez con poda alfa-beta en una arquitectura distribuida. Los algoritmos que he encontrado (PVS, YBWC, DTS, ver más abajo) son bastante antiguos (1990 es el último). Supongo que ha habido muchos...
Estoy tratando de usar el lema de bombeo para demostrar que no es regular.L={(01)m2m∣m≥0}L={(01)m2m∣m≥0}L = \{(01)^m 2^m \mid m \ge0\} Esto es lo que tengo hasta ahora: suponga que es regular y deje que p sea la longitud de bombeo, entonces w = ( 01 ) p 2 p . Considere cualquier descomposición...
Para cada función computable fff existe un problema que puede resolverse en el mejor de los casos en el tiempo Θ(f(n))Θ(f(n))\Theta(f(n)) o existe una función computable fff tal manera que cada problema que pueda resolverse en O(f(n))O(f(n))O(f(n)) también ser resuelto en o(f(n))o(f(n))o(f(n))...
Entonces pensé que esta pregunta (aunque algo básica) pertenecía aquí: Digamos que tengo un gráfico de tamaño 100 nodos dispuestos en un patrón de 10x10 (piense en el tablero de ajedrez). El gráfico no está dirigido y no está ponderado. Moverse por el gráfico implica mover tres espacios hacia...
Mi objetivo es resolver el siguiente problema, que he descrito por su entrada y salida: Entrada: Un gráfico acíclico dirigido con nodos, fuentes y sumidero ( ).solsolGmetrometromnortenorten111m > n ≥ 1metro>norte≥1m > n \geq 1 Salida: El VC-dimensión (o una aproximación de la misma) para...
¿Si hay una manera de identificar si dos conjuntos de puntos se pueden separar por una línea? Tenemos dos conjuntos de puntos y B si hay una línea que separa A y B de manera que todos los puntos de A y solo A en un lado de la línea, y todos los puntos de B y solo B en el otro...
Intento encontrar un enfoque para el siguiente problema: Dado el conjunto de puntos y el radio , encuentre el punto central del círculo, de modo que el círculo contenga el número máximo de puntos del conjunto. El tiempo de ejecución debe ser .r O ( n 2 )SSSrrrO ( n2)O(n2)O(n^2) Al principio...
Las identidades utilizadas en los algoritmos de multiplicación por Karatsuba (enteros) Gauss (números complejos) Strassen (matrices) Parece muy relacionado. ¿Existe un marco abstracto general /
Cuando se prueban algoritmos, un enfoque común es la prueba aleatoria: generar una cantidad significativa de entradas de acuerdo con alguna distribución (generalmente uniforme), ejecutar el algoritmo en ellas y verificar la corrección. Los marcos de prueba modernos pueden generar entradas...
Estoy tratando de encontrar el conjunto máximo independiente de un gráfico de biparita. Encontré lo siguiente en algunas notas "13 de mayo de 1998 - Universidad de Washington - CSE 521 - Aplicaciones del flujo de red" : Problema: Dado un bipartito gráfico , encontrar un conjunto...
Deje . Necesito decidir si F es decidible o recursivamente enumerable. Creo que es decidible, pero no sé cómo demostrarlo.F={⟨M⟩:M is a TM which stops for every input in at most 50 steps}F={⟨M⟩:M is a TM which stops for every input in at most 50 steps}F = \{⟨M⟩:\text{M is a TM which stops for every...
Noté que en algunos trabajos de investigación de CS, para comparar la eficiencia de dos algoritmos, se usa el número total de comparación clave en los algoritmos en lugar de los tiempos reales de computación. ¿Por qué no podemos comparar cuál es mejor ejecutando ambos programas y contando el tiempo...
Estoy atrapado en la siguiente pregunta: "Los lenguajes regulares son precisamente los aceptados por autómatas finitos. Dado este hecho, demuestre que si el lenguaje es aceptado por algún autómata finito, entonces también es aceptado por algún finito; consiste en todas las palabras de invertido...
Sigo encontrando referencias a puntos fijos en preguntas y respuestas en stackexchange y busco el significado en la web, obviamente, encuentro referencias en sitios como Wikipedia. Sin embargo, ninguna de las referencias realmente responde a mi pregunta de qué es un punto fijo y qué significa en el...
He leído la página de Wikipedia para la regla 110 en autómatas celulares, y sé más o menos cómo funcionan (un conjunto de reglas decide dónde dibujar el siguiente 1 o 0). Acabo de leer que están Turing completo, pero ni siquiera puedo entender cómo 'programarías' en la 'regla 110'....