Gostaria de saber se existe um algoritmo polinomial para "2-SAT com relações XOR". O 2-SAT e o XOR-SAT estão em P, mas é sua combinação? Exemplo de entrada: Parte 2-SAT: (a or !b) and (b or c) and (b or d) Parte XOR: (a xor b xor c xor 1) and (b xor c xor d) Em outras palavras, a entrada é a...
Operador - Diferença simétrica generalizada Se você pegar o xor binário e generalizá-lo para outras radições, poderá fazê-lo pelo valor absoluto da diferença de cada elemento em um vetor radix. No entanto, isso não tem as mesmas propriedades que o diferencial binário simétrico. A razão é que,...
Recentemente, conversei com um amigo sobre um site que propunha desafios regex, combinando principalmente um grupo de palavras com uma propriedade especial. Ele estava procurando por um regex que corresponda a cadeias de caracteres como ||||||||onde o número de |é primo. Eu imediatamente disse a...
Dada uma sequência de números naturais, você pode adicionar qualquer número natural a qualquer número na sequência, de modo que seu xor se torne zero. Meu objetivo é minimizar a soma dos números adicionados. Considere os seguintes exemplos: Para a resposta é ; adicionando a , obtemos .1,31,31,...
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