Ciência da Computação

Estou gerando DFAs aleatórios para testar um algoritmo de redução de DFA neles. O algoritmo que estou usando agora é o seguinte: para cada estado , para cada símbolo no alfabeto c , adicione δ ( q , c ) a algum estado aleatório. Cada estado tem a mesma probabilidade …

9 algorithms  finite-automata  randomness  pseudo-random-generators  random-graphs 

Na teoria dos tipos, se alguém permite que o tipo seja um membro de si mesmo, isso torna a teoria inconsistente. Eu o entendo por analogia ao paradoxo de Russel na Teoria dos Conjuntos, mas preferiria ver isso na Teoria dos Tipos. Existe um pequeno exemplo do equivalente na teoria …

9 type-theory 

Estou tentando entender os sistemas interativos de provas e tentei o seguinte problema como exercício. Sabemos que PH⊆PSPACEPH⊆PSPACEPH \subseteq PSPACE e IP=PSPACEIP=PSPACEIP=PSPACE , então crie sistemas de prova interativos (fáceis de entender) para PHPHPH ? Um sistema de prova interativa para NPNPNP é trivial, mas eu não conseguiu obter um …

9 complexity-theory  interactive-proof-systems 

Uma equipe decidiu que todas as manhãs alguém deveria trazer croissants para todos. Não deve ser a mesma pessoa todas as vezes; portanto, deve haver um sistema para determinar de quem é a próxima vez. O objetivo desta pergunta é determinar um algoritmo para decidir de quem será a vez …

9 algorithms  scheduling 

Estou tentando entender por que o quicksort usando a partição Lomuto e um pivô fixo está executando de maneira incorreta, mas de maneira geral ruim, em entradas geradas aleatoriamente. Estou pensando que, embora as entradas sejam geradas aleatoriamente, pode haver muita ordem para as seqüências, mas não tenho certeza de …

9 algorithms  sorting 

Existe algum conjunto de regras ou métodos para converter qualquer gramática livre de contexto em um autômato pushdown? Eu já encontrei alguns slides online, mas não consegui entendê-los. No slide 10, ele fala sobre algumas regras que alguém poderia explicar?

9 context-free  formal-grammars  pushdown-automata  simulation 

O que são polígonos degenerados? Como se verifica se um determinado par de polígonos é degenerado ou não?

9 algorithms  computational-geometry 

Um garoto inteligente de 15 anos que conheço está interessado em ciência da computação e genética. Eu disse a ela que esses campos são uma excelente combinação. Eu gostaria de dar a ela um livro sobre bioinformática ou genômica computacional. Estou procurando um livro divertido, não um livro didático. Especificamente, …

9 education  books  bioinformatics 

No capítulo 1 de Fundamentos práticos para linguagens de programação , o autor menciona que as árvores de sintaxe abstratas estão associadas a tipos . Intuitivamente, as classificações são como tipos, mas eu gostaria de saber se elas têm uma definição precisa. Ficaria feliz se algumas referências também forem fornecidas.

9 terminology  programming-languages  semantics 

Na faculdade, aprendemos mais sobre a teoria da computação em geral e sobre as máquinas de Turing. Um dos grandes resultados teóricos é que, ao custo de um alfabeto potencialmente grande (símbolos), você pode reduzir o número de estados para apenas 2. Eu estava procurando exemplos de diferentes máquinas de …

9 turing-machines  context-free  parsers 

Inspirada nesta pergunta em que o solicitante deseja saber se o tempo de execução muda quando o comparador usado em um algoritmo de pesquisa padrão é substituído por um lançamento justo, e também pela falha proeminente da Microsoft em escrever um gerador de permutação uniforme, minha pergunta é assim : …

9 sorting  randomized-algorithms  permutations 

Recentemente, fiz uma pergunta no Math SE. Nenhuma resposta ainda. Esta questão está relacionada a essa pergunta, mas mais detalhes técnicos sobre ciência da computação. Dado dois DFAs e que o conjunto de estados, o alfabeto de entrada e a função de transição de e são iguais, os estados iniciais …

9 formal-languages  reference-request  finite-automata 

Em um vídeo de recitação para o MIT OCW 6.006 às 43:30, Dada uma matriz A com m colunas e n linhas, o algoritmo de localização de pico 2-D, em que um pico é qualquer valor maior ou igual a seus vizinhos adjacentes, foi descrito como:m×nm×nm \times nAAAmmmnnn Nota: Se …

9 algorithms  algorithm-analysis  asymptotics  matrices 

Um SkipList fornece os mesmos limites para pesquisa como uma árvore equilibrada com a vantagem de que o reequilíbrio não é necessário. Como o SkipList é construído usando lançamentos aleatórios de moedas, esses limites são válidos apenas enquanto a estrutura do SkipList estiver suficientemente "equilibrada". Em particular, com probabilidade 1 …

9 data-structures  search-trees  probabilistic-algorithms 

Encontrei esse problema envolvendo a manipulação de uma linguagem livre de contexto. Seja uma linguagem livre de contexto. Definir L # = { x : x i ∈ L para cada i = 0 , 1 , 2 , . . . } . É L # sempre livre de …

9 formal-languages  context-free