Ciência da Computação

Estou vendo meu livro aqui, de Michael Sipser, e ele diz que uma máquina de Turing não determinística é decisiva se todos os seus ramos de computação pararem em todas as entradas. Acho que me lembro de ter visto em algum lugar o que você chamaria de máquina de Turing …

7 turing-machines  nondeterminism 

Sabe-se que para , .f(n)≥lognf(n)≥log⁡nf(n) \geq \log nNSPACE(f(n))=coNSPACE(f(n))NSPACE(f(n))=coNSPACE(f(n))\mathsf{NSPACE}(f(n)) = \mathsf{coNSPACE}(f(n)) E se ? Eles também são iguais?f(n)&lt;lognf(n)&lt;log⁡nf(n)<\log n

7 complexity-theory  space-complexity 

Ultimamente, tenho trabalhado com matrizes de sufixos e não consigo encontrar um algoritmo eficiente para criar uma matriz de sufixos fácil de entender. Eu já vi em muitos sites que existe umaO ( nregistro2n )O(nlog2⁡n)O(n \log^2 n)algoritmo, mas não consigo entender, pois muitos detalhes importantes são omitidos. Há um exemplo …

7 algorithms  data-structures  strings 

Estou interessado em conhecer a complexidade do problema NAE-HORN-SAT (nem todos iguais). Sabemos que o HORNSAT é completo, mas, por outro lado, o NAE-SAT é completo. Quero saber o que podemos dizer sobre o problema NAE-HORN-SAT. Deixe-me definir o problema formalmente:PP\mathsf{P}NPNP\mathsf{NP} Dado: Uma fórmula booleana é dada a nós no …

7 complexity-theory  np-complete  satisfiability 

Francamente, estou muito desconfortável com o material no momento. Há algumas coisas que posso entender, mas muitas ainda não o compreendo. Minha primeira tarefa é me fazer uma pergunta (que eu sei fazer) para fornecer uma descrição completa de uma MT que aceite um idioma L = { x ∈ …

7 terminology  turing-machines 

Alguém sabe se existe um algoritmo para escrever diretamente a gramática livre de contexto que gera uma determinada expressão regular?

7 formal-grammars  regular-expressions  context-free 

Passando por alguns tutoriais de representação do conhecimento sobre resolução no momento, deparei-me com o slide 05.KR, no77 . Lá é mencionado que "o procedimento também está completo". Eu acho que essa completude não pode significar que, se uma sentença for envolvida por KB, ela será derivada por resolução. Por …

7 logic  first-order-logic 

Dado um gráfico não direcionado, não ponderado, conectado e com arestas potencialmente paralelas GGG, um circuito de Euler pode ser construído se todo vértice GGG tem um grau par. Em gráficos com dois ou mais vértices de grau ímpar (pode haver apenas múltiplos de dois), é necessário "Eulerizar" o gráfico, …

7 graph-theory 

A função padrão de movimento ocupado chama a atenção para a contagem final de símbolos diferentes de zero na fita. Em vez disso, poderíamos observar a maior quantidade de símbolos diferentes de zero que aparecem na fita em qualquer ponto do cálculo. O limite inferior dessa função seria e o …

7 computability  turing-machines 

Gostaria de saber se existe um exemplo simples de conjuntos e tal que é Turing-irredutível a , mas não muitos-para-um irredutível para .AAABBBAAABBBBBB

7 turing-machines  reductions 

Como preparação para um exame sobre algoritmos e complexidade, atualmente estou resolvendo exercícios antigos. Um conceito com o qual eu já estava lutando quando o encontrei pela primeira vez é o conceito de análise amortizada. O que é análise amortizada e como fazê-lo? Em nossas notas de aula, afirma-se que …

7 algorithm-analysis  proof-techniques  amortized-analysis 

Se limitarmos uma máquina de turing para que não seja permitido escrever o símbolo que ela lê, reduziria sua potência? Por exemplo: (State,A,State,Z,DIRECTION)(State,A,State,Z,DIRECTION)( State, A, State, Z, DIRECTION) AAA não pode ser o mesmo símbolo que ZZZ.

7 computability  turing-machines  machine-models 

O título da pergunta expressa o que estou procurando - isso é para me ajudar a entender melhor os pré-requisitos para o Teorema da Hierarquia de Tempo Não Determinístico Por exemplo, o livro Arora-Barak explica o teorema usando e - mas, eu posso ver que também! Portanto, estou tentando entender …

7 complexity-theory  time-complexity  asymptotics  landau-notation 

Estive pesquisando referências no google scholar e reduzi a primeira menção para algo em torno de 1963 com um tremor muito estranho em 1949. Então, eu estou tentando rastrear o artigo original, introduzindo gráficos de intervalo para citação, mas tem sido bastante elusivo até agora.

7 graph-theory  reference-request  history 

Muitas operações comuns são monoides . Haskell aproveitou essa observação para tornar muitas funções de ordem superior mais genéricas ( Foldablesendo um exemplo). Existe uma maneira óbvia de usar monoides para melhorar o desempenho: os programadores estão afirmando a associatividade da operação e, portanto, as operações podem ser paralelizadas. Estou …

7 optimization  compilers  category-theory