Ciência da Computação Teórica

O algoritmo de Brzozowski para converter um DFA em um DFA equivalente de estado mínimo é extraordinariamente simples: se denota o NFA formado pela reversão de todas as arestas em um DFA , tornando o antigo estado inicial um estado de aceitação, e fazendo o antigo aceitar estados iniciam estados e...

Os autômatos limitados lineares não determinísticos de visita limitada reconhecem apenas idiomas regulares? Por autômato delimitado linear não-determinístico (nLBA), quero dizer uma máquina de Turing não-determinística de fita única, na qual a entrada é "acolchoada" com marcadores nas duas...

Dado um grafo orientado fixo (d�rafo) , a -COLORING problema decisão pergunta se um digrama de entrada tem um homomorphism para . (Um homomorfismo de para é um mapeamento de para que preserva os arcos, ou seja, se é um arco de , então é um arco de )D L D L D F V ( L ) V ( D ) u v L f ( u ) f ( v...

A Wikipedia [1] afirma que o limite inferior mais conhecido para o tamanho das provas de Frege é quadrático e que não há limites inferiores superlineares conhecidos para o número de linhas de provas de Frege. Questões: 1) Qual é o limite inferior mais conhecido para o número de linhas de provas...

Atualmente, estou no segundo ano interessado em TCS. Recentemente, fiquei um pouco incomodado com a dificuldade de ingressar em programas de doutorado no futuro, já que a seleção é realmente muito competitiva. Examinei as páginas de algumas das melhores escolas de CS e descobri que seus atuais...

Este é um acompanhamento da aceleração não determinística da computação determinística . É plausível que o não determinismo (ou alternância mais geralmente) permita uma aceleração quadrática geral da computação determinística? Ou existem consequências implausíveis conhecidas para algo como ?D T...

Eu estive pensando sobre a seguinte pergunta em vários momentos desde que vi essa pergunta sobre criptografia . Questão Seja RRR uma relação TFNP . Um oráculo aleatório pode ajudar P / poli a romper RRR com probabilidade não desprezível? Mais

Não se sabe se NEXP está contido em P / poli. De fato, provar que o NEXP não está em P / poli teria algumas aplicações na des aleatorização. Qual é a menor classe uniforme C para a qual se pode provar que C não está contido em P / poli? Mostrar que o co-NEXP não está contido em P / poli teria...

Há um belo artigo de 1991 que contém três diagramas sobre famílias de classes gráficas diferentes, mostrando o que se sabe sobre a dureza de determinar o índice cromático para eles. Desde então, há alguma notícia sobre isso? Estou mais interessado no que se sabe sobre gráficos com um número...

Sou um teórico da homotopia, interessado em ciência da computação. Gostaria de perguntar quais são algumas aplicações interessantes da álgebra homotópica (categorias de modelos, categorias infinitas, categorias simples etc.) em ciência da computação

Eu gostaria de pedir uma ajuda de pesquisadores que realizam uma pesquisa em uma área de árvores de pesquisa. Você poderia escrever a lista dos artigos de leitura obrigatória e os mais recentes que são importantes para ler se eu quiser escrever artigos sobre árvores de busca. Pessoalmente, tenho a...

As funções recursivas primitivas são definidas sobre os números naturais. No entanto, parece que o conceito deve generalizar para outros tipos de dados, permitindo falar sobre funções recursivas primitivas que mapeiam listas para árvores binárias, por exemplo. Por analogia, funções recursivas...

Deixe UUU ser a distribuição uniforme ao longo de nnn bits e deixar DDD ser a distribuição ao longo nnn bits onde os bits são independentes e cada bit é 111 com probabilidade 1/2−ϵ1/2−ϵ1/2-\epsilon . É verdade que a distância estatística entre DDD e UUU é Ω(ϵn−−√)Ω(ϵn)\Omega(\epsilon \sqrt{n}),...

A Lógica Afim Elementar é um sistema de tipos que captura a classe de termos λ que podem ser reduzidos no tempo elementar. Além disso, termos tipáveis ​​à EAL podem ser reduzidos usando o fragmento abstrato do algoritmo de Lamping, o que é particularmente interessante para mim porque estou...

O artigo SODA de duas páginas da Kalai fornece um algoritmo simples e eficiente para a correspondência de padrões com não se preocupa (caracteres curinga que correspondem a um caractere). Em essência, é tão fácil quanto a convolução. Mas o que acontece se estivermos procurando por vários padrões...

A seguinte noção de algoritmo de destilação vem de "Em problemas sem núcleos polinomiais". Seja dada uma língua Um algoritmo de destilação para L pega uma determinada lista de cadeias de entrada { x i } i ∈ [ t ] e calcula uma cadeia de saída y de modo que:euLLeuLL{ xEu}i ∈ [ t ]{xi}i∈[t]\{ x_i...

Vamos L⊆A∗L⊆A∗L \subseteq A^* seja um idioma, e definir fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\} por fL(x,y)=1fL(x,y)=1f_L(x, y) = 1 sse x⋅y∈Lx⋅y∈Lx\cdot y \in L . Estou procurando uma referência para: Proposição. LLL é regular se a complexidade determinística da...

Temos um problema e encontramos um algoritmo que parece ser 2-nexptime. Eu gostaria de encontrar problemas conhecidos de 2 nexptime-complete para encontrar um limite inferior. Encontrei na literatura principalmente dois desses problemas: se o PCP como uma solução de tamanho menor...

Me deparei com um artigo publicado na Science "Memcomputando problemas completos de NP em tempo polinomial usando recursos polinomiais e estados coletivos" , o que faz algumas afirmações bastante surpreendentes. Memcomputing é um novo paradigma de computação não-Turing que usa células de memória...

Seja um alfabeto de tamanho e considere DFAs mínimos, cujo tamanho é limitado por no máximo . Seja o número de diferentes DFAs mínimos.2 m f ( m )ΣΣ\Sigma222mmmf(m)f(m)f(m) Podemos encontrar uma fórmula de forma fechada para ?f(m)f(m)f(m) Considerando que para a função de transição de um DFA de...