Ciência da Computação

Definições de máquinas de Turing são sempre explícitas sobre o símbolo em branco não fazer parte do alfabeto de entrada. Eu me pergunto o que dá errado quando você faria parte do alfabeto de entrada, porque efetivamente o símbolo em branco já parece fazer parte da entrada. Para explicar que …

12 turing-machines 

No wiki do haskell, há o seguinte exemplo de uso condicional da mônada de E / S (veja aqui) . when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) Observe que, neste exemplo, a definição de IO …

12 programming-languages  functional-programming  haskell 

Fechadas. Esta questão está fora de tópico . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela esteja no tópico do Computer Science Stack Exchange. Fechado há 10 meses . O Python usa famosa indentação para definir sintaticamente blocos de código. (Veja Instruções …

12 programming-languages  python  syntax 

Dadas duas cadeias , escrevemos para sua concatenação. Dada uma cadeia e número inteiro , escreve-se para a concatenação de cópias de . Agora, dada uma string, podemos usar essa notação para 'compactá-la', ou seja, pode ser escrito como . Vamos chamar o peso de uma compactação do número de …

12 dynamic-programming  word-combinatorics 

Supondo que temos um problema e mostramos que o limite inferior para resolver é .ppppppΩ(2n)Ω(2n)\mathcal{\Omega}(2^n) O limite inferior implica o problema no ?Ω(2n)Ω(2n)\mathcal{\Omega}(2^n)NPNPNP

12 time-complexity  np-complete 

Brainfuck é uma linguagem de programação completa de Turing que usa apenas 8 símbolos (6 se você ignorar a E / S). Os dois mais notáveis ​​que o empurram para a perfeição de Turing são [e ], essencialmente, o rótulo de Brainfuck. Normalmente, os programas no Brainfuck usam vários conjuntos …

12 turing-completeness 

Estou tentando criar uma lista de algoritmos / problemas que são "excepcionalmente úteis", como resolver problemas que 'parecem' muito exponenciais por natureza, mas que têm algum algoritmo particularmente inteligente que finalmente os resolve. Exemplos do que quero dizer: Programação Linear (O algoritmo simplex é tempo exponencial; demorou muito tempo para …

12 complexity-theory  polynomial-time  efficiency 

Eu sei que autores diferentes usam notação diferente para representar a semântica da linguagem de programação. De fato, Guy Steele aborda esse problema em um vídeo interessante . Gostaria de saber se alguém sabe se o operador líder de torniquete tem um significado bem reconhecido. Por exemplo, eu não entendo …

12 type-theory  denotational-semantics 

Vem da perspectiva do big data. Basicamente, muitas estruturas (como o Apache Spark) "compensam" a falta de operações relacionais, fornecendo interfaces do tipo Functor / Monad e há um movimento semelhante em relação às conversões de gatos para SQL (Slick in Scala). Por exemplo, precisamos de junção natural (assumindo que …

12 relational-algebra  category-theory  curry-howard 

Eu estava lendo a pergunta Consistência e integridade implicam solidez? e a primeira afirmação diz: Entendo que a solidez implica consistência. O que me deixou bastante intrigado porque pensei que a consistência era uma afirmação mais fraca que a consistência (ou seja, pensei que sistemas consistentes deviam ser sólidos, mas …

12 terminology  logic  first-order-logic  propositional-logic  incompleteness 

Eu recebi o seguinte problema em uma entrevista (que eu já não consegui resolver, sem tentar me enganar): O jogo começa com um número inteiro positivo . (Por exemplo, A 0 = 1234. ) Esse número é convertido em representação binária e N é o número de bits definido como …

12 algorithms  optimization 

Ou: precisamos de Rupert para receber presentes? Questões de roteamento à parte, o Papai Noel enfrenta o seguinte problema (muitas e muitas vezes): Dado um saco com capacity¹ CCC e um conjunto de presentes {p1,…,pn}{p1,…,pn}\{p_1, \dots, p_n\} , cada um com tamanho sisis_i , ele quer fazer as crianças {c1,…,ck}{c1,…,ck}\{c_1, …

12 algorithms  complexity-theory  optimization  packing 

Atualmente, estou escrevendo algum código para gerar dados binários. Eu preciso especificamente gerar números de 64 bits com um determinado número de bits definidos; mais precisamente, o procedimento deve levar cerca de e retornar um número pseudo-aleatório de 64 bits com exatamente n bits definido como 1 e o restante …

12 algorithms  information-theory  coding-theory  pseudo-random-generators 

Atualmente, tenho que aprender Coq e não sei como lidar com or: Como exemplo, por mais simples que seja, não vejo como provar: Theorem T0: x \/ ~x. Eu realmente aprecio isso, se alguém puder me ajudar. Para referência, eu uso esta folha de dicas . Também um exemplo de …

12 logic  coq 

Em Fundamentos Práticos para Linguagens de Programação , Robert Harper diz Se uma proposição para ser verdadeira significa ter uma prova dela, o que significa que uma proposição seja falsa? Isso significa que a refutamos , mostrando que não pode ser provado. Ou seja, uma proposição é falsa se pudermos …

12 logic