Así que actualmente estoy revisando el libro de HoTT con algunas personas. Afirmé que la mayoría de los tipos inductivos que veremos se pueden reducir a tipos que contienen solo tipos de función dependientes y universos tomando el tipo del recurrente como inspiración para el tipo equivalente....
En esta pregunta, pregunté cuál es la diferencia entre set y type . Estas respuestas han sido realmente esclarecedoras (por ejemplo, @AndrejBauer), por lo que, en mi sed de conocimiento, me someto a la tentación de preguntar lo mismo sobre las categorías: Cada vez que leo sobre la teoría de...
Dada una matriz simétrica real , ¿existe un algoritmo que calcule la suma sobre todo 1 \ leq i <j <k \ leq n con complejidad de tiempo mejor que O (n ^ 3) ?n×nn×nn \times
Me dieron el siguiente problema durante una entrevista: Da una cadena que contiene alguna mezcla de parens (no corchetes o llaves, solo parens) con otros caracteres alfanuméricos, identifica a todos los parens que no tienen pares coincidentes. Por ejemplo, en la cadena ") (ab))", los índices...
Estaba aprendiendo sobre la primera búsqueda de amplitud y se me ocurrió una pregunta de por qué BFS se llama así. En el libro Introducción a los algoritmos de CLRS , leí la siguiente razón para esto: La búsqueda de amplitud primero se llama así porque expande la frontera entre vértices...
Esta pregunta explica bastante bien que pueden, pero no muestra ningún ejemplo de que haya dos árboles diferentes con el mismo recorrido de preorden. También se menciona que el recorrido en orden de dos árboles diferentes puede ser el mismo, aunque son estructuralmente diferentes. ¿Hay un ejemplo...
Necesito crear un algoritmo recursivo para ver si un árbol binario es un árbol de búsqueda binario, así como contar cuántas ramas completas hay (un nodo primario con nodos secundarios izquierdo y derecho) con una variable de conteo global asumida. Esta es una tarea para mi clase de estructuras de...
En las redes de computadoras y el diseño de computadoras de clúster de alto rendimiento, la topología de red se refiere al diseño de la forma en que los nodos están conectados por enlaces para formar una red de comunicación. Las topologías de red comunes incluyen la malla, el toro, el anillo, la...
En el problema de coincidencia estable , se afirma que pueden existir casos en los que la lista de hombres puede contentarse con sus decisiones, pero la lista de f no puede cuando el algoritmo se ejecuta con las propuestas de los hombres.metrometromFFf Por lo que leo, un partido inestable ocurre...
La programación de dos niveles es útil cuando un sistema ejecuta más procesos de los que caben en la RAM: un programador de nivel inferior cambia entre procesos residentes y un programador de nivel superior intercambia grupos de procesos dentro y fuera. No encuentro otra mención de la programación...
Originalmente en matemáticas . SE pero sin respuesta allí. Considere el siguiente algoritmo. u := 0 v := n+1; while ( (u + 1) is not equal to v) do x := (u + v) / 2; if ( x * x <= n) u := x; else v := x; end_if end_while donde u, v y n son números enteros y la operación de división...
Tal como está actualmente, esta pregunta no es adecuada para nuestro formato de preguntas y respuestas. Esperamos que las respuestas estén respaldadas por hechos, referencias o experiencia, pero esta pregunta probablemente solicitará debate, argumentos, encuestas o discusión
Deje el conjunto de terminal y el conjunto de símbolos no terminales de algunos gramática libre de contexto .N GΣΣ\SigmanortenorteNsolsolG Digamos que tengo una cadena tal que donde y son las formas enunciativas de . x a y ∈ S ( G ) x , y ∈ ( Σ ∪ N ) ∗ S ( G ) Ga ∈ ( Σ ∪ N)+un∈(Σ∪norte)+a \in...
Bien, aquí hay una pregunta de una prueba anterior en mi clase de Teoría de la computación: Un estado inútil en una TM es uno que nunca se ingresa en ninguna cadena de entrada. Deje que Demuestre que es indecidible.U S E L E S S T MUSELESSTM={⟨M,q⟩∣q is a useless state...
Escriba para la expansión decimal de (sin encabezado ). Deje y ser enteros, con . Considere el lenguaje de las expansiones decimales de los múltiplos de más una constante:n¯n¯\bar nnnn0aaabbba>0a>0a > 0aaa M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M={ax+b¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N}...
En la teoría de la codificación, "qué tan bueno es un código" significa cuántos errores de canal pueden corregirse, o mejor dicho, el nivel de ruido máximo con el que puede lidiar el código. Para obtener mejores códigos, los códigos están diseñados con un alfabeto grande (en lugar de uno binario)....
Estoy tratando de entender qué está mal con la siguiente prueba de la siguiente recurrencia T(n)=2T(⌊n2⌋)+nT(n)=2T(⌊n2⌋)+n T(n) = 2\,T\!\left(\left\lfloor\frac{n}{2}\right\rfloor\right)+n T(n)≤2(c⌊n2⌋)+n≤cn+n=n(c+1)=O(n)T(n)≤2(c⌊n2⌋)+n≤cn+n=n(c+1)=O(n) T(n) \leq...
En un trazador de rayos Whitted, cada intersección de objeto de rayo genera un rayo transmitido (si el objeto era translúcido), un rayo reflejado y un rayo de sombra. El rayo de sombra contribuye al componente de iluminación directa. Pero, ¿qué sucede si el rayo de sombra se cruza con un objeto...
Soy curioso. He estado trabajando en este tipo de datos en OCaml : type 'a exptree = | Epsilon | Delta of 'a exptree * 'a exptree | Omicron of 'a | Iota of 'a exptree exptree Que se puede manipular utilizando funciones recursivas escritas explícitamente (una característica que se ha agregado...
Considere un modelo CSP donde cambiar el valor de una variable particular es costoso. ¿Existe algún trabajo en el que la función objetivo también considere el número de cambios en el valor de la variable durante el proceso de búsqueda? Un ejemplo: la variable costosa de cambiar puede estar bajo el...