Ciência da Computação

Eu entendo o que é, mas não vejo como isso serve para algoritmos ou algo assim. Talvez esteja faltando alguma coisa. Preciso que alguém me dê um exemplo de como ele pode ser usado para que eu possa entender melhor.

8 algorithms  lambda-calculus  combinatory-logic 

Eu ficaria surpreso se esse não fosse um problema bem estudado, mas não tenho certeza do que mais procurar nesse momento: você recebe um conjunto de códigos binários. nnn-vetores S⊂ { 0 , 1}nS⊂{0,1}nS \subset \{0,1\}^n. O problema é encontrar outro conjunto de bináriosnnn-vetores B ⊂ { 0 , 1}nB⊂{0,1}nB …

8 complexity-theory  arithmetic  matrices  linear-algebra 

Minha pergunta é basicamente dada a três idiomas A, B e L, onde L é A e B concatenados juntos e B é comprovadamente não regular, é possível encontrar um A que faça L regular?

8 formal-languages  regular-languages 

Existem problemas cuja decisão é desconhecida, mas é sabido que os problemas são menos difíceis do que o problema da parada.

8 computability  reference-request  undecidability 

Não consegui encontrar um gráfico representando ou respondendo à seguinte pergunta: Existe uma relação direta entre a complexidade de um algoritmo (como o melhor / pior caso de classificação rápida) e a classe de autômatos que podem implementar o algoritmo. Por exemplo, existe uma variedade de complexidade que os autômatos …

8 complexity-theory  automata  reference-request  complexity-classes 

Testes de identidade polinómio é o padrão exemplo de um problema conhecido por ser em co-RP mas não conhecido por ser em P . Nos circuitos aritméticos , parece realmente difícil, pois o grau do polinômio pode ser aumentado exponencialmente por meio de quadrados repetidos. Esta pergunta aborda a questão …

8 randomized-algorithms  polynomial-time  circuits 

Essa pergunta é bastante específica na maneira de executar as etapas para resolver o problema. Dado prove que .T(n)=2T(2n/3)+O(n)T(n)=2T(2n/3)+O(n)T(n)=2T(2n/3)+O(n)T(n)=O(n2)T(n)=O(n2)T(n)=O(n^2) Portanto, as etapas foram as seguintes. Queremos provar que .T(n)≤cn2T(n)≤cn2T(n) \le cn^2 T(n)=2T(2n/3)+O(n)≤2c(2n/3)2+an≤(8/9)(cn2)+anT(n)=2T(2n/3)+O(n)≤2c(2n/3)2+an≤(8/9)(cn2)+an\begin{align*} T(n)&=2T(2n/3)+O(n) \\ &\leq 2c(2n/3)^2+an\\ &\leq (8/9)(cn^2)+an \end{align*} e meu professor continuou: T(n)≤cn2+(an−(1/9)cn2),T(n)≤cn2+(an−(1/9)cn2),T(n) \leq cn^2+(an-(1/9)cn^2)\,, que sai para: T(n)≤cn2 …

8 asymptotics  recurrence-relation 

Fiz o seguinte programa Haskell (não-destruído) para o desafio do código-golfe de calcular o primeironnnvalores de A229037 . Esta é a minha solução proposta para calcular o º valor:nnn a n | n<1 = 0 | n<3 = 1 | otherwise = head (goods n) goods n = [x | …

8 algorithm-analysis  runtime-analysis  recurrence-relation  recursion 

O problema de paridade do prefixo pode ser definido da seguinte maneira. Você recebe uma sequência de comprimento e, inicialmente, cada caractere é . Então você deseja criar uma estrutura de dados que possa suportar atualizações como a seguir.SSSnnn00 00 Para um dado mudança para um ou outro ouiEuiS[i]S[Eu]S[i]00 00111 …

8 algorithms  algorithm-analysis  search-algorithms  lower-bounds 

Temos dois idiomas: . Sabemos que é uma linguagem comum, então minha pergunta é se é uma regular?L1,L2L1,L2L_1,L_2L1L2L1L2L_1L_2L2L1L2L1L_2L_1 Eu tento encontrar uma maneira de provar isso ... Não posso supor que sejam regulares ... Então, procuro uma maneira de provar isso. L1,L2L1,L2L_1,L_2 Eu gostaria de receber alguma dica! Obrigado!

8 formal-languages  regular-languages  closure-properties 

Eu estava lendo o CLRS e ele pediu para mostrar que se é um primo da forma e é um resíduo quadrático, então é uma raiz quadrada (também é possível mostrar facilmente que é uma raiz quadrada).ppp4k+34k+34k+3umaaaumak+1ak+1a^{k+1}uma-ka−ka^{-k} Fiquei me perguntando se usando o fato anterior e também que sabíamos que …

8 algorithms  algorithm-analysis  randomized-algorithms  number-theory 

E se f: N → Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N} é computável e tem um inverso, sob quais condições é f- 1f−1f^{-1}também computável? Não consegui encontrar isso em um livro didático, e o google recebe algumas sugestões vagas sobre o bijetivo, mas não consegui encontrar um teorema claramente estabelecido para esse efeito. De improviso, …

8 computability 

Acabamos de aprender sobre a auto-redutibilidade nas aulas. Meu professor e nosso livro não se comprometeram a dizer que todos os problemas em PN são auto-redutíveis, mas não parecia haver exemplos de problemas que não sejam. Fiquei me perguntando se existem exemplos, ou se é apenas uma situação em que …

8 complexity-theory  reductions  decision-problem  np 

Que eu saiba, interromper o problema pergunta se existe um programa que decide se um programa está sendo testado, dados alguns dados de entrada (não importa qual programa seja ou quais dados de entrada que fornecemos) serão encerrados ou não. A resposta para esse problema é 'não'. Em outras palavras, …

8 computability  halting-problem 

Estou pensando nesse problema de computação / criptografia / banco de dados há anos e só quero saber se já existem soluções para ele. Para ser sincero, nem sei a que campo exatamente esse problema pertence. Em poucas palavras: a pessoa A tem uma lista de dados, outra pessoa (B) …

8 cryptography  security  protocols  encryption