k-sat.cpp

#include<bits/stdc++.h>
#include<iostream>
using namespace std;
const int MAX=26;
int main()
{
	int k,n,m;
	cout<<"k=";
    cin>>k;
    cout<<"n=";
    cin>>n;
    cout<<"m=";
    cin>>m;
    set<char> v;
    int i,z;
    for(i=0;v.size()!=n+1;i++)
    {
     
   srand(time(NULL));
    char alphabet[MAX] = { 'a', 'b', 'c', 'd', 'e', 'f', 'g', 
                          'h', 'i', 'j', 'k', 'l', 'm', 'n',  
                          'o', 'p', 'q', 'r', 's', 't', 'u', 
                          'v', 'w', 'x', 'y', 'z' }; 
    	// z=i+97;
    	// char c=char(z);
    	// v.push_back(c);
     char c =  alphabet[rand() % MAX];
     v.insert(c);
    }
     int flag=0;
    string s;
    auto p=v.begin();
    auto check=v.rbegin();
    for(i=0;i<m;i++)
    {
    	s+=" ( ";
    	for(int j=0;j<k;j++)
    	{
    		if((*p)==(*check))
    		{
    			p=v.begin();
    			s+="~";
    		}
    		if(flag==0)
    		{
    			// s+=(*p);
    			if(j==2)
    			{
    				s+="~";
    				s+=(*p);
    			}
    			else
    				s+=(*p);
    			if(j!=k-1)
    			s+=" & ";
    		flag=1;
    		}
    		else
    		{
    			if(i==2)
    			{
    				s+="~";
    				s+=(*p);
    			}
    			else
    			s+=(*p);
    			if(j!=k-1)
    			s+=" | ";
    		flag=0;
    		}
    		p++;
    		
    	}
    	s+=" ) ";
    	if(i!=m-1)
    		s+=" | ";
    }
    cout<<s;
	return 0;
}