/*                                                                    */
/* 					       Programma  sviluppato  da	   					 */
/*                                                                    */
/*      							  Giovanni DI CECCA                  		 */
/*                                                                    */
/*                         http://www.dicecca.net                     */
/*                                                                    */

#include <stdio.h>
#include <math.h>

/* Dichiarazione di un nuovo tipo */
typedef enum {false, true} logical;

/* Prototipo della funzione RICERCA BINARIA */
logical RICERCA_BINARIA (int *vett, int n, int k);

main ( )
{
	/* dichiarazione di variabili */
	int *a, n, chiave, i;

	/* Inserimento dell'array ordinato */
	printf ("\nQuanti elementi vuoi inserire?");
 	scanf ("%d", &n);

	a=(int *) calloc (n, sizeof(int));

	for(i=0;i<n;i++)
	{
		printf ("elemento numero %d:",i+1);
		scanf ("%d", &a[i]);
 	}

	printf ("Inserire l'elemento da ricercare ");
	scanf ("%d", &chiave);

	/* Visualizzazione del risultato richiamando la function RIC. BIN. */
	if (RICERCA_BINARIA (a, n, chiave))
		printf ("Elemento trovato");

	else
   	printf ("Elemento non trovato");

}

/*------------------------------------*/
/* Inizio funzione di ricerca binaria */
/*------------------------------------*/

logical RICERCA_BINARIA (int *vett, int n, int k)
{
	/* dichiarazione di variabili locali */
	int m, inizio, fine;
	logical trovato;

	/* Ricerca dell'elemento scelto */
	inizio=0;
	n--;
	fine =n;
	trovato =false;
	do
	{
		m=(inizio + fine)/2;
		if ( vett[m]==k)
      	trovato = true;
      else
      	if (k>vett[m])
				inizio=m+1;
         else
				if (k<vett[m])
					fine=m-1;

	}while ((!trovato)&&(inizio <= fine));

	return trovato;

}