Ciência da Computação

Atualizado com base nos comentários: De que maneiras podemos distinguir um ser humano que realiza determinadas atividades on-line e um bot programado para realizar atividades semelhantes, como verificar e-mail, baixar alguns arquivos de música, fazer compras no ebay, pesquisar no Google etc. ou talvez tentar desfigurar / invadir um site …

7 machine-learning  artificial-intelligence  game-theory  computer-vs-human 

Se Máquinas de Turing são o equivalente de autômato do cálculo , qual é o equivalente de autômato do cálculo ? Suponho que haveria alguma classe de autômatos que se assemelha a uma máquina de Turing, mas com suporte a canais de comunicação ou sinais de algum tipo, mas não …

7 automata  concurrency  machine-models  pi-calculus 

Dado sss como uma string sobre algum alfabeto, qual é o algoritmo mais conhecido para calcular um autômato determinístico de estado finito (DFA) determinístico que aceita qualquer string que contenha sss? Estou interessado principalmente na menor complexidade de tempo, portanto, se você me disser qual é a complexidade mais conhecida …

7 automata  finite-automata  strings  substrings 

Eu li que computadores quânticos podem resolver 'certos problemas' exponencialmente melhor do que computadores clássicos. Como eu acho que entendo, NÃO é o mesmo dizer que computadores quânticos pegam quaisquer problemas EXPTIME-complete, 2-EXPTIME, ... e os convertem em tempo linear ou tempo constante. Eu gostaria de saber algo mais sobre …

7 complexity-theory  time-complexity  quantum-computing 

Um filtro Bloom usa uma função de hash para testar a associação em um determinado conjunto , verificando se um item está presente ou não na posição especificada.SSS Para mitigar o efeito da colisão de hash, várias funções são usadas, produzindo um limite probabilístico se o hash universal for usado. …

7 data-structures  hash  probabilistic-algorithms  bloom-filters  dictionaries 

Eu tenho lido o excelente livro Representação e Raciocínio do Conhecimento, de Ronald Brachman e Hector Levesque. No início da Seção 3.2 "Vocabulário" do Capítulo 3 "Expressando conhecimento", eles afirmam: Ao criar uma KB (Base de Conhecimento), é uma boa idéia começar com o conjunto de predicados e funções dependentes …

7 terminology  logic  knowledge-representation  first-order-logic  reasoning 

Temos uma lista ordenada de comprimentos laterais que podem ser usados ​​para formar um polígono. Existem tais valores ( ).nnnn ≤ 1000n≤1000n \le 1000 Agora precisamos descobrir se podemos usar 10 desses valores para formar um polígono convexo não degenerado. Como abordamos isso? Qualquer coisa na ordem de é aceitável. …

7 algorithms  computational-geometry 

É claro que qualquer idioma em pode ser calculado em .EXPEXPEXPEXP\mathsf{EXP}^{\mathsf{EXP}}2EXP=DTime(22poly(n))2EXP=DTime(22poly(n))\mathsf{2EXP} = \mathsf{DTime}(2^{2^{\mathsf{poly}(n)}}) Minha pergunta é se o inverso é verdadeiro: is ?2EXP⊆EXPEXP2EXP⊆EXPEXP\mathsf{2EXP} \subseteq \mathsf{EXP}^{\mathsf{EXP}}

7 complexity-theory  complexity-classes 

Para minha tese, criei uma abordagem de desenvolvimento (que consiste em esquemas, um modelo de aplicativo e código de protótipo) que deve facilitar o desenvolvimento e a adaptação de aplicativos para uma plataforma específica. Eu conduzi entrevistas com desenvolvedores dessa plataforma para avaliar minha abordagem. Até agora, houve cinco entrevistados …

7 reference-request  software-engineering  empirical-research 

Alguns autores definem de uma maneira um pouco diferente: vamos usar (leia “omega infinito”) para esta definição alternativa. Dizemos que se existe uma constante positiva tal que para infinitamente muitos números inteiros , enquanto o usual exige que isso valha para todos os números inteiros maiores que um certo .ΩΩ\OmegaΩ∞Ω∞ …

7 asymptotics  landau-notation 

Recentemente, fui entrevistado em uma entrevista para elaborar um algoritmo que divide um conjunto de pontos em um sistema de coordenadas, de modo que metade dos pontos esteja em um lado da linha e o restante no outro lado. Os pontos são colocados de maneira desigual e a linha não …

7 algorithms  machine-learning  computational-geometry  classification 

É adequado visualizar probabilidades condicionais, como os formulários: P (a | c) P (a | c, d) P (a, b | c, d) ... e assim por diante, como sendo tensores? Em caso afirmativo, alguém sabe de um texto introdutório decente (tutorial on-line, artigo de oficina, livro, etc.) que desenvolva …

7 machine-learning  probability-theory  statistics 

Estou fazendo algumas pesquisas sobre os NFAs e problemas de inclusão com eles. Eu sei que, em geral, os problemas de inclusão e a conversão para uma NFA inequívoca são ambos completos do PSPACE. Gostaria de saber, existem subclasses de NFA para as quais elas podem ser decididas com eficiência? …

7 complexity-theory  formal-languages  automata  finite-automata  nondeterminism 

Então, eu tenho tentado resolver isso por um longo tempo e quase sinto que estou dando voltas sobre essa questão. Dado o seguinte NFA: Usando o algoritmo GNFA, obtenha a expressão regular. Entendo que você teria o seguinte para a primeira etapa (adicionando estados vazios): O próximo passo seria remover …

7 automata  finite-automata  regular-expressions  nondeterminism 

Vamos denotar a representação binária de um número inteiro . Deixe .bin(n)bin(n)\mbox{bin}(n)nnnL={bin(n2)∣n∈N}L={bin(n2)∣n∈N}L = \{ \mbox{bin}(n^2) \mid n \in \mathbb{N} \} é uma linguagem comum?LLL Acho que se pode provar que não é regular usando o lema de bombeamento, mas não sei como usá-lo aqui.LLL

7 formal-languages  regular-languages