Cod sursa(job #2375214)

Utilizator stratonedanielDaniel Stratone stratonedaniel Data 7 martie 2019 23:10:17
Problema 2SAT Scor 10
Compilator c-64 Status done
Runda Arhiva educationala Marime 2.25 kb
#include <stdlib.h>
#include <stdio.h>
#include <math.h>

typedef struct mystruct{

	int variable1;
	int variable2;

}Disj;

void increment(int **variables, int number_of_variables)
{
	int remainder = 1;

	for (int i = 1; i <= number_of_variables; i++)
	{
		int save_remainder = remainder;
		remainder = ((*variables)[i] + remainder)/2;
		(*variables)[i] = ((*variables)[i] + save_remainder) % 2;

	}

}

int main(int argc, char const *argv[])
{
	FILE *read = fopen ("2sat.in", "r");
	FILE *write = fopen ("2sat.out", "w");

	int number_of_variables;
	int number_of_disj;

	fscanf (read, "%d%d", &number_of_variables, &number_of_disj);

	int *variables = (int*) calloc (number_of_variables+1, sizeof(int));
	Disj *disj = (Disj*) calloc (number_of_disj, sizeof(Disj));

	for (int i = 0; i < number_of_disj; ++i){

		fscanf(read, "%d%d", &(disj[i].variable1), &(disj[i].variable2));

	}

	long end = pow(2,number_of_variables);
	int result;

	for (long i = 0; i < end; i++)
	{
		result = 1;
		
		for (int j = 0; j < number_of_disj; j++)
		{	
			int partial_result = 0;

			if (disj[j].variable1 < 0 && disj[j].variable2 < 0)
			{
				partial_result = partial_result | (! variables[abs(disj[j].variable1)]);
				partial_result = partial_result | (! variables[abs(disj[j].variable2)]);

			}

			else if (disj[j].variable1 > 0 && disj[j].variable2 < 0)
			{
				partial_result = partial_result | (variables[disj[j].variable1]); 
				partial_result = partial_result | (! variables[abs(disj[j].variable2)]);

			}
			else if (disj[j].variable1 < 0 && disj[j].variable2 > 0)
			{
				partial_result = partial_result | !(variables[abs(disj[j].variable1)]);
				partial_result = partial_result | (variables[disj[j].variable2]);

			}
			else
			{
				partial_result = partial_result | (variables[disj[j].variable1]);
				partial_result = partial_result | (variables[disj[j].variable2]);

			}


			result = result & partial_result;

			if (result == 0)
				break;
		}

		if (result == 1)
		{
			for (int j = 1; j <= number_of_variables; j++)
			{
				if (j == number_of_variables)
					fprintf(write, "%d\n", variables[j]);
				else
					fprintf(write, "%d ", variables[j]);
			}
			break;
		}

		increment(&variables, number_of_variables);
	}	

	printf("%d\n", 1 & 0 );

	free(variables);
	free(disj);

	return 0;
}