O XOR-SAT NP é pesado?
Dado nnn variáveis booleanas x1 1, ... ,xnx1,…,xnx_1,\ldots,x_n cada um dos quais recebe um custo positivo c1,…,cn∈Z>0c1,…,cn∈Z>0c_1,\ldots,c_n\in\mathbb{Z}_{>0} e uma função booleana fff nessas variáveis dadas na forma f(x1,…,xn)=⋀i=1k⨁j=1lixrijf(x1,…,xn)=⋀i=1k⨁j=1lixrijf(x_1,\ldots,x_n)=\bigwedge_{i=1}^k\bigoplus_{j=1}^{l_i}x_{r_{ij}} (⊕⊕\oplus denotando XOR) com k∈Z>0k∈Z>0k\in\mathbb{Z}_{>0}inteiros 1≤li≤n1≤li≤n1\leq l_i\leq n e 1≤ri1<⋯<rili≤n1≤ri1<⋯<rili≤n1\leq r_{i1}<\cdots<r_{il_i}\leq n para todos i=1,…,ki=1,…,ki=1,\ldots,k, j=1,…,lij=1,…,lij=1,\ldots,l_i, o problema é encontrar uma atribuição …