Universidad Simón Bolívar

Departamento de Computación y Tecnología de la Información

CI-2691 - Laboratorio de Algoritmos y Estructuras I

Septiembre-Diciembre 2010

Tarea 6
(semana 7 ; semana 8)

0. Problema modicación del ejercicio 0.a de la tarea 5: Dado un arreglo bi-dimensional de N

las y M columnas que representa una matriz de enteros, determinar si para alguna la de la
matriz se cumple que los valores que contiene corresponden a la suma por columna de las las
previas a ésta.
Considere la siguiente especicación formal de este problema:
|[
const n, m : int;
const matriz : array [0..n)x[0..m) of int;
var ocurre : boolean;
{ n ≥ 0 ∧ m ≥ 0 }
verificarOcurrencia
{ ocurre ≡ (∃ i : 0 ≤ i < n
: (∀ j : 0 ≤ j < m
: matriz[i][j] = ( k : 0 ≤ k < i : matriz[k][j]))) }
P

]|
Construya un programa que resuelva el problema verificarOcurrencia , y satisfaga dicha
especicación, indicando en cada iteración que utilice los correspondientes invariante y cota.

1. Escriba en GaCeLa su solución a la pregunta 0, y haga sucientes corridas con ella hasta
asegurarse de que su programa hace lo que se espera de él.

Nota: Ud. debe entregar esta tarea en equipo, como de costumbre, al inicio de su clase de laboratorio;
pero cada miembro del equipo debe contar con una copia de la misma (por favor no dependa de
la red del laboratorio para proveerse de dicha copia), de la que podrá hacer uso durante el
examen individual para resolver un problema que es una modicación al problema presentado en
este enunciado.