Pagini recente » Cod sursa (job #1980647) | Cod sursa (job #1802780) | Cod sursa (job #2320650) | Cod sursa (job #1905993) | Cod sursa (job #2375214)
#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;
}