Ciência da Computação Teórica

Perguntas e respostas para cientistas da computação teóricos e pesquisadores em áreas afins

4
Por que consideramos o espaço de log como um modelo de computação eficiente (em vez do espaço de polilog)?
Essa pode ser uma pergunta subjetiva, e não uma resposta concreta, mas de qualquer maneira. Na teoria da complexidade estudamos a noção de cálculos eficientes. Existem classes como significa tempo polinomial e significa espaço no log . Ambos são considerados representados como uma espécie de "eficiência" e capturam muito bem …
3
Existe uma noção sensata de um algoritmo de aproximação para um problema indecidível?
Certos problemas são conhecidos por serem indecidíveis, mas, no entanto, é possível progredir na solução deles. Por exemplo, o problema de parada é indecidível, mas é possível progredir na criação de ferramentas para detectar possíveis loops infinitos em seu código. Os problemas de lado a lado são muitas vezes indecidíveis …
2
Teoria da realizabilidade: diferença de potência entre o cálculo Lambda e as máquinas de Turing
Eu tenho três subquestões relacionadas, destacadas pelos pontos abaixo (não, eles não podem ser divididos, se você estiver se perguntando). Andrej Bauer escreveu, aqui , que algumas funções são realizáveis ​​através de uma máquina de Turing, mas não através do cálculo lambda. Um passo fundamental de seu raciocínio é: Entretanto, …
11
Qual é a maneira mais eficiente de gerar uma permutação aleatória a partir de swaps probabilísticos aos pares?
A questão em que estou interessado está relacionada à geração de permutações aleatórias. Dado um mecanismo probabilístico de troca por pares como bloco básico de construção, qual é a maneira mais eficiente de produzir uma permutação aleatória uniformemente de nnn elementos? Aqui tomo "probabilística portão de pares de troca" ser …
3
Casamentos superficiais versus profundos
Ao codificar uma lógica em um assistente de prova, como Coq ou Isabelle, é necessário fazer uma escolha entre usar uma incorporação superficial e profunda . Em uma incorporação superficial, as fórmulas lógicas são escritas diretamente na lógica do provador do teorema, enquanto em uma incorporação profunda as fórmulas lógicas …
20
Problemas NP-difíceis em árvores
Vários problemas de otimização conhecidos por serem NP-hard em gráficos gerais são trivialmente solucionáveis ​​em tempo polinomial (alguns até em tempo linear) quando o gráfico de entrada é uma árvore. Os exemplos incluem cobertura mínima de vértices, conjunto independente máximo, isomorfismo do subgrafo. Cite alguns problemas de otimização natural que …
4
Quais são as consequências de
Sabemos que L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} e que L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , em que L2=DSPACE(log2n)L2=DSPACE(log2⁡n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . Nós também sabe que polyL≠PpolyL≠P\mathsf{polyL} \neq \mathsf{P}porque o último tem problemas completos no espaço logarítmico, muitas reduções, enquanto o primeiro não (devido ao teorema da hierarquia …
6
Bons exemplos de como escrever bem no TCS
Eu estava editando um manuscrito de estudante. O aluno comentou que seria bom ver exemplos de redação de qualidade em trabalhos publicados, e eu percebi que não conseguia realmente encontrar bons exemplos do alto da minha cabeça Quais são os melhores exemplos de escrita matemática de qualidade que você já …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.