Riduzione 3sat e cricca

Question

Ciao a tutti, questa è la mia prima domanda in assoluto e mi scuso se chiedo in modo sbagliato causando chiusura o cancellazione di questo post. Sto imparando riduzioni e il mio professore ci ha chiesto di scrivere un documento sulle riduzioni (3SAT)

Quando facciamo la riduzione dal problema della cricca a 3sat, capisco che facciamo clausole e ogni clausola contiene 3 letterali (quindi 3sat) ma il mio problema arriva quando scelgono quali letterali e perché li scelgono. Come faccio a sapere quali letterali scegliere? Quindi so che in ogni clausola avrò x1, x2 e x3, ma come posso scegliere il loro ordine di assegnazione? In una clausola ho (x1 o x2 o x3) e in un'altra ho (x1 o no x2 o no x3). Come sono stati scelti?

Inoltre, sembra che non iniziano già con un grafico. E se mi viene dato un grafico per cominciare, come lo convertirei in x1, x2, x3? Se per la clausola ho 3 vertici, come assegnerei loro la rispettazione di espressione booleana? Grazie mille