Perguntas com a marcação «discrete-mathematics»

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, jogando fora o …

9 discrete-mathematics  xor 

Aqui estão quatro princípios que não consigo conciliar: Algoritmos de tempo exponencial duplo são executados no tempo com constanteO(22nk)O(22nk)O(2^{2^{n^k}})k∈Nk∈Nk \in \mathbb{N} Algoritmos de tempo exponencial são executados em com constanteO(2nk)O(2nk)O(2^{n^k})k∈Nk∈Nk \in \mathbb{N} O primeiro limite cresce estritamente mais rápido que o último; ou seja, existem algoritmos que são executados em …

8 asymptotics  discrete-mathematics  notation 

Isso está um pouco relacionado a outra pergunta que fiz , mas acho que é diferente o suficiente para justificar sua própria pergunta. Estou pesquisando onde estou tentando encontrar a estrutura de complementos de uma determinada classe de linguagens finitas. É fácil para mim conseguir o mínimo de DFAs aceitando …

8 formal-languages  automata  finite-automata  discrete-mathematics  nondeterminism 

Dado um item de entrada (N bytes), estou procurando uma função que mapeie isso para uma saída (ainda N bytes). A função deve ter as seguintes qualidades: Deve ser 1 para 1, para que todas as entradas sejam mapeadas para alguma saída e para que nenhuma duas entradas seja mapeada …

7 discrete-mathematics  cryptography  hash 

Eu estou revisando algumas das matemáticas pré-requisitas sobre a teoria dos autômatos e as representações finitas. Eu li o seguinte: Se ∑ é um alfabeto finito, o conjunto de todas as cadeias de caracteres sobre o alfabeto (∑ *) é infinitamente contável . O conjunto de todos os idiomas possíveis …

7 discrete-mathematics 

O teorema de Ramsey afirma que todo gráfico com nós contém um clique ou um conjunto independente com pelo menos nós.nnn12log2n12log2⁡n\frac{1}{2}\log_2 n Tentei procurar em alguns lugares (incluindo o Sipser), mas não consegui entender muito bem as provas. Eu apreciaria se alguém pudesse me dar uma prova (ou uma intuição …

7 graph-theory  proof-techniques  combinatorics  discrete-mathematics 

Em um conjunto parcialmente ordenado, sempre posso ordenar dois elementos arbitrários fora do conjunto? Ou é possível que dois elementos dentro do conjunto não tenham relação de ordem entre si? Por exemplo, se houver três elementos { a , b , c }{uma,b,c}\{a, b, c\}e e , ou têm que …

7 terminology  discrete-mathematics  order-theory