Ciência da Computação

7
É mais eficaz votar em uma mulher?

Um certo partido político quer incentivar as mulheres a participar de suas eleições primárias, então elas decidem que a 4ª posição é reservada para uma mulher. Ou seja, se não houver mulher nas 4 primeiras posições, a mulher com o maior número de votos será promovida para a 4ª posição e os...

7
Max-SNP hard implica NP-hard

Tenho dificuldades para entender a definição da classe Max-SNP (variante de otimização de NP estrito ), portanto, tenho que seguir a pergunta básica: If a problem is known to be Max-SNP hard, does this imply NP-hardness of the

7
Os monoides são úteis na otimização?

Muitas operações comuns são monoides . Haskell aproveitou essa observação para tornar muitas funções de ordem superior mais genéricas ( Foldablesendo um exemplo). Existe uma maneira óbvia de usar monoides para melhorar o desempenho: os programadores estão afirmando a associatividade da operação e,...

7
Decidibilidade de idiomas

L1L1L_1é uma linguagem recursivamente enumerável sobre algum alfabeto . Um algoritmo enumera eficazmente as suas palavras como . é outro idioma sobre como Considere as seguintes afirmações.ΣΣ\Sigmaw1,w2,...w1,w2,...w_1, w_2, ... L2L2L_2Σ∪{#}Σ∪{#}\Sigma \cup