Ciência da Computação

Perguntas e respostas para estudantes, pesquisadores e profissionais de ciência da computação

3
Código binário com restrição
Suponha que eu tenha um alfabeto de n símbolos. Eu posso codificá-los eficientemente com⌈log2n⌉⌈log2⁡n⌉\lceil \log_2n\rceil-bits strings. Por exemplo, se n = 8: A: 0 0 0 B: 0 0 1 C: 0 1 0 D: 0 1 1 E: 1 0 0 F: 1 0 1 G: 1 1 0 …
1
O XOR-SAT NP é pesado?
Dado nnn variáveis ​​booleanas x1 1, ... ,xnx1,…,xnx_1,\ldots,x_n cada um dos quais recebe um custo positivo c1,…,cn∈Z&gt;0c1,…,cn∈Z&gt;0c_1,\ldots,c_n\in\mathbb{Z}_{>0} e uma função booleana fff nessas variáveis ​​dadas na forma f(x1,…,xn)=⋀i=1k⨁j=1lixrijf(x1,…,xn)=⋀i=1k⨁j=1lixrijf(x_1,\ldots,x_n)=\bigwedge_{i=1}^k\bigoplus_{j=1}^{l_i}x_{r_{ij}} (⊕⊕\oplus denotando XOR) com k∈Z&gt;0k∈Z&gt;0k\in\mathbb{Z}_{>0}inteiros 1≤li≤n1≤li≤n1\leq l_i\leq n e 1≤ri1&lt;⋯&lt;rili≤n1≤ri1&lt;⋯&lt;rili≤n1\leq r_{i1}<\cdots
3
Definição padrão de máquina de Turing
Eu segui dois livros famosos sobre "Autômatos e Teoria da Linguagem Formal": Livro de Micheal Sipser Livro de Jeffrey Ullman e John Hopcroft nos dois livros, a definição de nível de tupla da máquina de Turing difere entre si. Embora o trabalho em nível abstrato seja o mesmo, mas os …
1
Menor classe de modelo de autômatos cuja classe de linguagem correspondente contém CFL e é fechada contra (des) permitindo não-determinismo no modelo
De um comentário , uma pergunta interessante surgiu. A classe de CFLs (os idiomas reconhecidos pelos PDAs) obviamente não está fechada sob não-determinismo - o que quero dizer com isso é que os PDAs determinísticos não são equivalentes em poder aos PDAs não-determinísticos. No entanto, todas as CFLs são decidíveis …
2
Por que em uma fila de prioridade mínima (com base em heap) é chamada de "chave de diminuição" e não apenas "chave de configuração"?
Quando você chama a tecla de diminuição em uma fila de prioridade mínima, basicamente está definindo a chave, pode colocar acidentalmente uma chave mais alta, certo? então por que não é chamado de "chave de ajuste" ou "chave de atualização"? por que (de acordo com a Wikipedia e outras fontes) …
1
A transparência do local implica em transparência de acesso?
Na teoria dos sistemas distribuídos, encontrei a definição de que um sistema distribuído exige, entre outros, localização e transparência de acesso. Fiquei me perguntando se a transparência do local ainda não inclui a transparência de acesso. A Wikipedia define os dois da seguinte maneira: Transparência de acesso - independentemente de …
5
Relação entre sistema formal e linguagens formais
Em um curso de ciência da computação, é comum estudar a hierarquia de linguagens formais, gramáticas, autômatos e máquinas de Turing. Gostaria de saber qual é a relação desses objetos com sistemas formais. Por exemplo, o cálculo lambda é considerado um sistema formal. Sua gramática também seria considerada um sistema …
2
Formalizando a teoria básica das categorias em Coq
Sou totalmente iniciante na Coq e estou tentando implementar algumas coisas da teoria das categorias como um exercício. Naveguei um pouco entre os repositórios git das muitas implementações disponíveis (HoTT, companhia de Awodey's Coq etc.), parece que todo projeto implementa algo assim Record Category : Type := mkCategory{ ob : …
1
E se
Estou interessado em provar que eu--√= { w : w w ∈ L }L={w:ww∈L}\sqrt{L}=\{w:ww\in L\} é regular se euLLé regular, mas parece que não estou chegando a lugar algum. Se possível, eu estava esperando uma dica para me levar na direção certa. Obrigado pela ajuda. Minha idéia para demonstrar a …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.