Autor Tema: Problema de lógica de primer orden

0 Usuarios y 1 Visitante están viendo este tema.

27 Junio, 2023, 04:48 pm
Leído 102 veces

SGMUGU

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 1
  • País: ar
  • Karma: +0/-0
Necesito poder formalizar una formula que me exprese lo siguiente:

 El arreglo a, al cual no contiene elementos repetidos, es una subsequencia del arreglo b, pero
no un subarreglo de b.


Tener en cuenta que un subarreglo es una parte contigua de un arreglo. Es decir, un arreglo que dentro de otro. Por ejemplo, si b = [1, 2, 3, 4], hay 10 subarreglos no vacíos en b. Los subarreglos son [1], [2], [3], [4],[1, 2], [2, 3], [3, 4], [1, 2, 3], [2, 3, 4] y [1, 2, 3, 4]. En general, para un arreglo tamaño \( m \), hay \( m \cdot (m + 1)/2 \) subarreglos no vacíos.

Por otro lado, una subsecuencia es un arreglo que se puede derivar de otro eliminando cero o más elementos, sin cambiar el orden de los elementos restantes. Para el mismo ejemplo, es decir, si b = [1, 2, 3, 4], tenemos 15 subsecuencias. Ellas son [1], [2], [3], [4], [1, 2], [1, 3], [1, 4], [2, 3], [2, 4], [3, 4], [1, 2, 3], [1, 2, 4],
[1, 3, 4], [2, 3, 4] y [1, 2, 3, 4]. En general, para una arreglo de tamaño m, tenemos \( 2 \) a la \( m - 1 \) subsecuencias  no vacías.