O COQ é um provador de teoremas interativo que usa o cálculo de construções indutivas, ou seja, depende muito de tipos indutivos. Usando isso, estruturas discretas como números naturais, números racionais, gráficos, gramáticas, semânticas etc. são representadas de forma muito concisa. No entanto,...
Nós deixamos α=α1α2α3…α=α1α2α3…\alpha = \alpha_1\alpha_2\alpha_3\ldots uma sequência aleatória infinita (sob a medida uniforme) em que αiαi\alpha_i talvez 111 ou 000e defina a função booleana BkBkB_k: Bk(α1…αk)={1 if at least ⌈k/2⌉ of its inputs are 10 otherwiseBk(α1…αk)={1 if at least ⌈k/2⌉ of...
Existem problemas de CS, de preferência abertos, relacionados à música ou à teoria musical de alguma forma? Eu pensaria em problemas com notação musical, mas também em probabilidades ao randomizar de acordo com uma escala, uma tonalidade ou geral, o que é considerado harmonia em frequências e...
É adequado visualizar probabilidades condicionais, como os formulários: P (a | c) P (a | c, d) P (a, b | c, d) ... e assim por diante, como sendo tensores? Em caso afirmativo, alguém sabe de um texto introdutório decente (tutorial on-line, artigo de oficina, livro, etc.) que desenvolva...
Em muitos artigos, li que é bem sabido que a entropia de Shannon de uma variável aleatória pode ser convertida em min-entropia (até pequena distância estatística) tirando cópias independentes da variável. Alguém pode me explicar o que exatamente isso
Existem N jogadores e M objetos, cada um dos objetos tem um valor. Cada jogador tem uma estratégia na escolha de um objeto. A cada rodada que um jogador escolhe um objeto, muitos jogadores podem escolher o mesmo objeto. No entanto, o valor de cada objeto é dividido igualmente entre todos os...
Deixei a≠ba≠ba \neq bsejam dois inteiros do intervaloSeja um primo aleatório comProve que [1,2n].[1,2n].[1, 2^n].ppp1≤p≤nc.1≤p≤nc. 1 \le p \le n^c.Prp∈Primes{a≡b(modp)}≤cln(n)/(nc−1).Prp∈Primes{a≡b(modp)}≤cln(n)/(nc−1).\text{Pr}_{p \in \mathsf{Primes}}\{a \equiv b \pmod{p}\} \le c...