Ciência da Computação

Existem muitos (e eu digo muitos) idiomas contáveis ​​que são decidíveis por Turing. Qualquer idioma incontável pode ser Turing decidível?

17 formal-languages  turing-machines  regular-languages  church-turing-thesis 

I ler, que o algoritmo mais eficiente encontrado pode calcular os factores em o tempo, mas o código que escreveu é S ( n ) ou possivelmente O ( n log n ), dependendo da rapidez da divisão e do módulo.Tenho certeza de que não entendi algo em algum lugar, …

17 complexity-theory  time-complexity  factoring  primes 

Pelas minhas leituras sobre sistemas operacionais (lendo o material básico na Wikipedia, sites de tecnologia etc.), aprendi que o sistema operacional é um programa que permite que programas e aplicativos interajam com o hardware de maneira eficiente e segura. No entanto, estou confuso sobre como o sistema operacional supervisiona a …

17 operating-systems 

No meu curso de Algoritmos e Estruturas de Dados , professores, slides e o livro ( Introdução aos algoritmos, 3ª edição ) têm usado a palavra NILpara denotar, por exemplo, um filho de um nó (em uma árvore) que não existe. Uma vez, durante uma palestra, em vez de dizer …

17 algorithms  terminology  data-structures  notation 

Dou-lhe uma lista de nnn vetores de largura kkk . Seu objetivo é retornar dois vetores de bits da lista que não possuem 1s em comum, ou então informar que esse par não existe. Por exemplo, se eu fornecer [00110,01100,11000][00110,01100,11000][00110, 01100, 11000] , a única solução é {00110,11000}{00110,11000}\{00110, 11000\} . …

17 algorithms  search-algorithms 

Segundo a Wikipedia , A operação de teste e configuração pode resolver o problema de consenso sem espera por não mais que dois processos simultâneos. Por que não pode resolver o problema por mais de dois processos?

17 concurrency  consensus 

Eu acho que sei o que é um sistema operacional "rígido" em tempo real. É um sistema operacional com um agendador que fornece um contrato com o programador de aplicativos. Um aplicativo fornece um prazo para cada solicitação de alocação de recursos. Se as solicitações de prazo final forem possíveis …

17 terminology  operating-systems  process-scheduling  real-time 

Alguém já escreveu um sistema (software ou explicação detalhada no papel, com exemplos simples) que gera programas de computador? Eu introduzo e ele cria um programa que lista os números primos menores que 10. é simplesmente definido como professores dizem que podem, mas ninguém dá exemplos completos reais.Pr i m …

17 logic  type-theory  coq  proof-assistants 

Existe uma máquina de Turing que para em todas as entradas, mas essa propriedade não é comprovável por algum motivo? Gostaria de saber se esta questão foi estudada. Observe que "improvável" pode significar um sistema de prova "limitado" (que no sentido fraco acha que a resposta deve ser sim). Naturalmente, …

17 computability  reference-request  turing-machines  halting-problem 

Estou lendo o livro do HoTT e tenho dificuldade em induzir caminhos. Quando olho para o tipo na secção 1.12.1 : ind=A:∏C:∏x,y:A(x=Ay)→U((∏x:AC(x,x,reflx))→∏x,y:A∏p:x=AyC(x,y,p)),ind=A:∏C:∏x,y:A(x=Ay)→U((∏x:UMAC(x,x,reflx))→∏x,y:UMA∏p:x=UMAyC(x,y,p)),\text{ind}_{=_A}:\prod_{C:\prod\limits_{x,y:A}(x=_Ay)\to \mathcal{U}} \left( \left(\prod_{x:A}C(x,x,\text{refl}_x)\right) \to \prod_{x,y:A}\prod_{p:x=_Ay} C(x,y,p) \right), não tenho problema em entender o que isso significa (acabei de escrever o tipo na memória, para verificar isso). O que …

17 induction  dependent-types  homotopy-type-theory 

Existe alguma técnica geral para provar que um problema NÃO é NP-Completo? Eu recebi esta pergunta no exame que me pediu para mostrar se algum problema (veja abaixo) é NP-Complete. Eu não conseguia pensar em nenhuma solução real e apenas provei que estava em P. Obviamente, essa não é uma …

17 complexity-theory  np-complete  proof-techniques 

Eu estudei o livro "C ++ Desmistificado" . Agora comecei a ler "Programação Orientada a Objetos no Turbo C ++ primeira edição (1ª edição)", de Robert Lafore. Eu não tenho nenhum conhecimento de programação que esteja além desses livros. Este livro pode estar desatualizado porque tem 20 anos. Eu tenho …

17 programming-languages  object-oriented  programming-paradigms 

Quais são as diferenças entre visão computacional e processamento de imagem? Por exemplo, no reconhecimento de objetos, quais são os papéis da visão por computador e do processamento de imagens?

17 terminology  computer-vision  image-processing  education 

Eu pensei que matriz associativa (ou seja, mapa ou dicionário) e tabela de hash eram o mesmo conceito, até que vi na Wikipedia que Para dicionários com um número muito pequeno de ligações, pode fazer sentido implementar o dicionário usando uma lista de associações, uma lista vinculada de ligações. ... …

17 data-structures  abstract-data-types 

Estou lutando para entender a relação entre NP-Intermediário e NP-Completo. Eu sei que se P! = NP baseado no Teorema de Ladner, existe uma classe de idiomas em NP, mas não em P ou em NP-Complete. Todo problema no NP pode ser reduzido a um problema NP-Complete, no entanto, não …

17 np-complete  reductions  factoring