Ciência da Computação

Wiki: https://en.wikipedia.org/wiki/Byzantine_fault_tolerance No artigo "Chegar a um acordo na presença de falhas", M. Pease et al. provou que não existe um protocolo (de algum tipo) para resolver o probleman≤3mn≤3mn \leq 3m, Onde nnn significa o número de generais e mmmsignifica o número de traidores. A chave da prova disso é …

7 distributed-systems  information-theory  fault-tolerance 

Eu estava lendo a página Modular Multiplication na wikipedia ... e não conseguia entender o algoritmo para calcular a⋅b(modm)a⋅b(modm)a \cdot b \pmod{m} . uint64_t mul_mod(uint64_t a, uint64_t b, uint64_t m) { long double x; uint64_t c; int64_t r; if (a >= m) a %= m; if (b >= m) b …

7 algorithm-analysis  modular-arithmetic 

Estou espreitando por um tempo; Esta é minha primeira postagem aqui. Sinto muito se minha pergunta está mal formada ou mal formatada. Essa pergunta surgiu de algumas idéias de outra pergunta de um site irmão. Questão Devido à natureza de uma blockchain, um grande número de lançamentos de moedas publicamente …

7 complexity-theory  np  hash  proof-of-work 

Então, eu estou familiarizado com duas estratégias principais de ter polimorfismo de classificação mais alta em um idioma: Polimorfismo no estilo System-F, em que as funções são explicitamente digitadas e a instanciação ocorre explicitamente no tipo de aplicativo. Esses sistemas podem ser impredicativos. Polimorfismo baseado em subtipagem, em que um …

7 programming-languages  type-theory  functional-programming  type-checking  polymorphisms 

A máquina de Turing foi inventada por uma mente humana. Presumivelmente, nada menos poderoso do que uma máquina de Turing pode inventar uma máquina de Turing. No entanto, uma máquina de Turing possui fita infinita, enquanto a mente está situada em um universo finito e, portanto, só pode ser uma …

7 turing-machines 

Considere um loop while do formulário: enquanto (C) {S}enquanto (C) {S}\texttt{while (C) {S}} com a condição e o corpo do loop.CC\texttt{C}SS\texttt{S} Seja EuEu\texttt{I} e VV\texttt{V} respectivamente, uma invariável e uma variante desse loop. A regra para a correção total dos loops while é dada no meu livro por: Se I …

7 hoare-logic 

Existe uma estrutura de dados que ofereça suporte eficiente às seguintes operações? Adicionar conjunto Pergunte se algum subconjunto de um conjunto foi adicionado. Isso pode ser implementado com sobrecarga linear, testando todos os conjuntos adicionados durante cada consulta. Pode ser implementado com mais eficiência? Pequenas probabilidades de falsos positivos / …

7 data-structures 

Existe um conjunto de regras indutivas e um ponto fixo dessas regras, mas não é o menor nem o maior ponto fixo?

7 logic  inductive-datatypes 

Recentemente, deparei-me com este post de Brian McKenna explicando o polimorfismo de linha. Pareceu-me uma ideia maravilhosa, mas então percebi que cheira muito a polimorfismo paramétrico limitado: Com polimorfismo de linha: sum: {x: int, y: int | rho} -> int function sum r = r.x + r.y Com polimorfismo paramétrico …

7 programming-languages  semantics 

O problema é NP-completo (comprovado) para todos os dados de entrada (sem exceção). Assumimos que P! = NP. É possível que exista um subconjunto (infinitamente grande) do problema, para o qual esse subconjunto esteja em P? Questão teórica.

7 complexity-theory  time-complexity  np-complete  np 

Largura da árvore : 1) Por gráficos de acordes : tamanho da maior camarilha(ω(G))(ω(G))(\omega (G))- 1 em uma conclusão cordial do gráficoGGG. 2) Por decomposição de árvores : Uma decomposição de árvores de G=(V,E)G=(V,E)G = (V , E) consiste em uma árvore TTT (em um conjunto de nós diferente de …

7 graph-theory  parameterized-complexity 

Seja uma função inteira. Para um idioma , definaf:N→Nf:N→Nf : \mathbb{N} \to \mathbb{N}LLL f(L)={w∣∃x:|x|=f(|w|) and wx∈L}f(L)={w∣∃x:|x|=f(|w|) and wx∈L}f(L) = \{w \mid \exists x : |x| = f(|w|) \text{ and } wx \in L\} Por exemplo, se essa é apenas a operação "reduzida pela metade", e sabe-se que os idiomas regulares …

7 regular-languages 

Estou tentando implementar um procedimento de otimização em Python usando BFGS e L-BFGS em Python, e estou obtendo resultados surpreendentemente diferentes nos dois casos. O L-BFGS converge para o mínimo adequado super rápido, enquanto o BFGS converge muito lentamente, e isso também para um mínimo sem sentido. PERGUNTA: Das minhas …

7 optimization 

Acho difícil encontrar definições formais de classes de complexidade de funções. Aqui estão dois da Wikipedia. Uma relação binária P(x,y)P(x,y)P(x,y)está em FP se e somente se houver um algoritmo de tempo polinomial determinístico que, dadoxxx, pode encontrar alguns yyy de tal modo que P(x,y)P(x,y)P(x,y) detém. A definição acima parece implicar …

7 complexity-theory 

A análise de gramáticas de expressão (PEGs) é inequívoca e possui uma sintaxe superficialmente semelhante ao BNF , mas inclui três diferenças importantes: O operador de escolha ordenada e1 / e2 / e3. O e predicado &. O operador não !. Eu tenho algumas perguntas: Os idiomas reconhecidos pelos PEGs …

7 context-free  formal-grammars  normal-forms