Ciência da Computação

Eu acho que essas duas classes devem ser as mesmas, mas não consigo encontrar nenhuma literatura sobre isso e tenho um conhecimento limitado sobre o assunto. Esse é o meu raciocínio, e eu gostaria de saber se (1) isso já é conhecido ou (2) eu entendi mal algo ou (3) …

8 complexity-theory  complexity-classes  quantum-computing 

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á 3 anos . Computadores e linguagens de programação tendem a ser determinísticos e previsíveis. No entanto, …

8 computation-models 

Dado um conjunto de pontos de dados X= {x1,x2, ... ,xm}X={x1,x2,…,xm}X = \{x_1, x_2, \ldots, x_m\} Onde xEu∈RdxEu∈Rdx_i \in \mathbb{R}^d corremos K-significa em XXXe obtenha os clusters .c1,c2, ... ,ckc1,c2,…,ckc_1, c_2, \ldots, c_k Agora, se criar um novo conjunto de dados onde e e executar K-means em para obter aglomerados …

8 algorithms  clustering 

Considere os termos criados a partir dos elementos de e as operações +, \ times, -, / , e \ sqrt [n] {\, \ cdot \,} para cada número natural n . Dada a promessa de que dois termos são bem-formados - isto é, não há divisão por zero e …

8 computability  undecidability  number-theory  equality 

Na aula, nosso professor nos mostrou três métodos para provar a não regularidade: Teorema de Myhill – Nerode Lemma de bombeamento para idiomas regulares Prova de não regularidade, com base na complexidade de Kolmogorov Agora, os dois primeiros, teorema de Myhill-Nerode e lema de Pumping, eu entendi bem e também …

8 formal-languages  regular-languages  proof-techniques  kolmogorov-complexity 

Não tenho certeza se é o lugar certo para esta pergunta. Desculpe se for um pouco fora de tópico. A escolha de um idioma adequado para o primeiro curso de programação é uma das coisas mais importantes que todo professor / professor relacionado deve ter em mente; especialmente se os …

8 algorithms  programming-languages  education 

Pergunta: Existem textos introdutórios na linguagem formal ou na teoria da linguagem de programação que discutam como aplicá-la ao estudo da notação ideal? Em particular, estou interessado em aprender o que são linguagens de pilha, árvores de análise e índices e como prever quando um determinado tipo de notação levará …

8 formal-languages  reference-request  formal-grammars  programming-languages 

Quando olho para as provas de bombeamento do lema , sinto que muitas vezes sinto falta da intuição por trás da condição | xy | ≤ p. Qual é exatamente o motivo por trás dessa condição? Toda a literatura que examinei é silenciosa (sem prova, sem discussão, apenas uma afirmação) …

8 formal-languages  regular-languages  pumping-lemma 

Recentemente, iniciei meus estudos em teoria de tipos / sistemas de tipos e Lambda Calculus. Eu já li sobre o Simple Typed Lambda Calculus no estilo Church and Curry. O último também é conhecido como sistema de atribuição de tipos (TA). Estou pensando nas relações entre TA e Hindley-Milner (HM), …

8 type-theory  type-checking  type-inference 

Um código de correção de erros da Reed-Solomon que consiste em N símbolos é garantido para detectar até N substituições de um único símbolo em uma entrada arbitrariamente longa mais o próprio ECC, além de garantir a correção de um único símbolo até o piso (N / 2) substituições no …

8 error-correcting-codes 

Eu tenho um problema de lição de casa que está me deixando perplexo porque a matemática está além do que eu fiz, embora nos tenham dito que não era necessário resolver isso matematicamente. Basta fornecer um limite superior próximo e justificá-lo. Deixei f(n)=|{w∈{a,b}n:aa∉w}|.f(n)=|{w∈{a,b}n:aa∉w}|.f(n) = |\{w ∈ \{a, b\}^n : aa …

8 asymptotics  combinatorics  upper-bound 

Meu livro de texto fornece a seguinte definição de chave primária em um banco de dados relacional, que eu não entendo completamente. A ajuda seria muito apreciada. Seja uma relação. Então a chave primária para é um subconjunto do conjunto de atributos de , digamos , satisfazendo as duas propriedades …

8 database-theory 

Estou lendo o artigo NJ Larsson, A. Moffat: Compactação baseada em dicionário offline , que descreve um algoritmo de compactação que, se bem entendi, é bastante semelhante à codificação de pares de bytes . Dada uma string de comprimento , estou tentando entender como se pode compactá-la no tempo linear, …

8 algorithms  algorithm-analysis  runtime-analysis  data-compression  encoding-scheme 

Adams descreve um algoritmo de dividir e conquistar para encontrar a união de dois conjuntos (representados como árvores de pesquisa binária com ponderação de peso). Ele então descreve um novo algoritmo de "união de hedge" que, segundo ele, melhora o algoritmo de dividir e conquistar. No entanto, ele não oferece …

8 data-structures 

Sabe-se que uma propriedade "bombear" (palavras de um determinado comprimento implica a existência de loops no mecanismo de definição de idioma) para linguagens regulares e sem contexto e mais algumas (geralmente usadas para refutar a associação de um idioma a uma determinada classe) ) Na discussão em torno dessa pergunta …

8 formal-languages  pumping-lemma  context-sensitive