Ciência da Computação

Estou confuso sobre como os toques são escolhidos para os Registros de troca de feedback linear. Eu tenho um diagrama que mostra um LFSR com polinômio de conexão . Os cinco estágios são rotulados: e e as derivações saem de e .C(X)=X5+X2+1C(X)=X5+X2+1C(X) = X^5 + X^2 + 1R 4 , …

13 cryptography  pseudo-random-generators  shift-register 

Eu realmente adoraria sua ajuda com o seguinte: Para qualquer fixo L2L2L_2 I precisa decidir se há fechamento nas seguintes operadores: Ar(L)={x∣∃y∈L2:xy∈L}Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} Al(L)={x∣∃y∈L:xy∈L2}Al(L)={x∣∃y∈L:xy∈L2}A_l(L)=\{x \mid \exists y \in L : xy \in L_2\} . As opções relevantes são: Os idiomas regulares estão …

13 formal-languages  regular-languages  closure-properties 

O Problema Pós Correspondência (PCP) é indecidível. A versão limitada do PCP é -completa e a versão marcada do PCP (as palavras de uma das duas listas devem diferir na primeira letra) está em [1].N PNP\mathrm{NP}P S P A C EPSPUMACE\mathrm{PSPACE} Essas versões restritas são usadas para provar alguns resultados …

13 complexity-theory  computability  reference-request 

O problema 3-partição pergunta se um conjunto de inteiros pode ser dividida em n conjuntos de três números inteiros tais que cada conjunto somas até algum dado número inteiro B . O problema da partição balanceada pergunta se 2 n inteiros podem ser particionados em dois conjuntos iguais de cardinalidade, …

13 complexity-theory  reductions  np-complete 

Considere o seguinte protocolo, destinado a autenticar (Alice) a (Bob) e vice-versa.AAABBB UMA→B:B→A:A →B:“I'm Alice”,RAE(RA,K)E( ⟨RUMA+ 1 , PUMA⟩ ,K)A→B:"Eu sou Alice",RUMAB→UMA:E(RUMA,K)UMA→B:E(⟨RUMA+1,PUMA⟩,K) \begin{align*} A \to B: &\quad \text{“I'm Alice”}, R_A \\ B \to A: &\quad E(R_A, K) \\ A \to B: &\quad E(\langle R_A+1, P_A\rangle, K) \\ \end{align*} RRR é …

13 cryptography  protocols  authentication 

Costumo trabalhar com lexer / parsers , ao contrário de um combinador de analisador e vejo pessoas que nunca tiveram aula em análise, perguntam sobre a análise de dados binários. Normalmente, os dados não são apenas binários, mas também sensíveis ao contexto. Isso basicamente leva a ter apenas um tipo …

13 programming-languages  compilers  parsers 

Eu estava lendo um artigo que descreve a alternância entre o espaço do usuário e o espaço do kernel que ocorre em uma chamada do sistema. O artigo diz Um aplicativo espera a conclusão da chamada do sistema antes de retomar a execução no modo de usuário. Agora, até agora …

13 operating-systems  os-kernel 

Seja como um design parcial ( m , k ) ef : { 0 , 1 } m → { 0 , 1 } seja uma função booleana. O gerador Nisan-Wigderson G f : { 0 , 1 } l → { 0 , 1 } n é definido da …

13 cryptography  pseudo-random-generators 

Um jogo simples geralmente jogado por crianças, o jogo da Guerra é jogado por duas pessoas, usando um baralho padrão de 52 cartas. Inicialmente, o baralho é embaralhado e todas as cartas recebem dois dos dois jogadores, para que cada uma tenha 26 cartas aleatórias em uma ordem aleatória. Assumiremos …

13 algorithms  optimization 

Eu sei que existem linguagens não regulares, de modo que é regular, mas todos os exemplos que posso encontrar são sensíveis ao contexto, mas não livres de contexto.eu∗eu∗L^* Caso não exista, como você prova isso?

13 formal-languages  context-free  regular-languages 

Eu quero gerar um Sudoku completamente aleatório . Defina uma grade Sudoku como uma grade de números inteiros entre 1 e 9, onde alguns elementos podem ser omitidos. Uma grade é um quebra-cabeça válido se houver uma maneira única de completá-la para corresponder às restrições do Sudoku (cada linha, coluna …

13 algorithms  randomness  sudoku 

Existe uma abordagem algorítmica para identificar se as datas indicadas em um parágrafo se correlacionam com eventos (frases) específicos no parágrafo? Exemplo, considere o seguinte parágrafo: Em junho de 1970, o grande líder prestou juramento. Mas foi somente depois de maio de 1972, após a morte do Ministro de Estado, …

13 algorithms  data-mining  natural-language-processing 

Sou programador com domínio de autômatos, mas não de lógica. Li nos jornais que os dois estão muito relacionados. Autômatos finitos determinísticos (DFA), autômatos em árvore e autômatos visivelmente pushdown estão todos relacionados à lógica monádica de segunda ordem (MSO). Embora eu entenda que os autômatos e as pessoas (nos …

13 automata  finite-automata  logic  coq  automated-theorem-proving 

Parece que "Expressões regulares básicas", conforme definidas no POSIX.1-2008 , não suportam alternância a|b(embora algumas implementações grep reconheçam a versão de escape \|). Como as linguagens regulares são fechadas sob união por definição, isso significa que o POSIX BRE possui um poder menos expressivo do que um autômato finito? Ou …

13 formal-languages  regular-expressions 

Eu pensei ter entendido a digitação dependente (DT) corretamente, mas a resposta a esta pergunta: /cstheory/30651/why-was-there-a-need-for-martin-l%C3% A teoria do tipo B6f para criar intuicionista me fez pensar o contrário. Depois de ler sobre a TD e tentar entender o que são, estou tentando imaginar o que ganhamos com essa noção …

13 logic  type-theory  intuition