Ciencias de la Computación

26
Dos definiciones de árboles binarios balanceados.

He visto dos definiciones de árboles binarios equilibrados, que me parecen diferentes. Un árbol binario se equilibra si para cada nodo mantiene que el número de nodos internos en el subárbol izquierdo y el número de nodos internos en el subárbol derecho difieren en como máximo 1. Un árbol binario...

26
¿Es el lenguaje de pares de palabras de igual longitud cuya distancia de hamming es 2 o mayor libre de contexto?

¿El siguiente contexto de lenguaje es gratuito? L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 \}^+, |u| = |v|, u \neq v, |x| = |y|, x \neq y\} Como señaló sdcvvc, una palabra en este lenguaje también se puede...

26
¿Cuál es la diferencia entre un tipo y un tipo?

Estoy aprendiendo el lenguaje de programación Haskell, y estoy tratando de entender cuál es la diferencia entre ay typea kind. Como yo lo entiendo, a kind is a type of type. Por ejemplo, a ford is a type of cary a car is a kind of vehicle. ¿Es esta una buena manera de pensar en esto? Porque, la...

26
¿Qué es más eficiente para GCD?

Sé que el algoritmo de Euclides es el mejor algoritmo para obtener el GCD (gran divisor común) de una lista de enteros positivos. Pero en la práctica, puede codificar este algoritmo de varias maneras. (En mi caso, decidí usar Java, pero C / C ++ puede ser otra opción). Necesito usar el código más...