Ciência da Computação Teórica

Eu estava apresentando uma palestra sobre classificação de panquecas e mencionei que: A classificação por reversões é difícil para NP "assinado" ordenação por reversões está em P . O que me fez pensar. Há um sentido em que a classificação "assinada" é "direcionada" - você pode ver o sinal como …

28 ds.algorithms 

Estou procurando bons exemplos, nos quais ocorre o seguinte fenômeno: (1) Um problema algorítmico parece difícil, se você quiser resolvê-lo trabalhando com as definições e usando apenas resultados padrão. (2) Por outro lado, fica fácil se você conhece alguns teoremas (não tão padrão). O objetivo disso é ilustrar para os …

28 cc.complexity-theory  ds.algorithms  graph-algorithms 

Eu queria saber se existe um algoritmo `` melhor '' (explicarei em que sentido) iniciar a partir de um DFA e construir uma expressão regular tal que , do que o livro de Hopcroft e Ullman (1979). Lá, os conjuntos são usados ​​para representar conjuntos de seqüências de caracteres que …

28 fl.formal-languages  automata-theory  regular-expressions 

Sendo engenheiro de software a maior parte da minha vida, não tenho absolutamente nenhuma idéia de como começar a publicar um tipo de papel "acadêmico". Durante minha pesquisa mais recente, encontrei um algoritmo interessante para a tarefa que resolvi (relacionado a alguns cálculos nos mercados financeiros). Não é um ótimo …

28 soft-question  research-practice  paper-review 

Corrija um número inteiro nnn e alfabeto Σ = { 0 , 1 }Σ={0,1}\Sigma=\{0,1\} . Defina D FA ( n )DFA(n)DFA(n) como a coleção de todos os autômatos de estados finitos em nnn estados com o estado inicial 1. Estamos considerando todos os DFAs (não apenas os conectados, mínimos ou …

28 cc.complexity-theory  fl.formal-languages  automata-theory  counting-complexity 

A complexidade do prefixo Kolmogorov (ou seja, é o tamanho do programa auto-delimitador mínimo que gera ) possui vários recursos interessantes:xK( X )K(x)K(x)xxx Corresponde a uma intuição de fornecer a strings com padrões ou estrutura uma complexidade menor do que strings sem. Ela nos permite definir condicional complexidade , ou …

28 it.information-theory  kolmogorov-complexity  formal-modeling 

Seja um polinômio grau em variáveis ​​acima de , onde é constante (digamos 2 ou 3). Gostaria de encontrar a menor fórmula para , em que "fórmula" e "tamanho da fórmula" são definidos da maneira óbvia (por exemplo, a menor fórmula para o polinômio é ).f(x1,…,xn)f(x1,…,xn)f(x_1,\dots,x_n)dddnnnF2F2\mathbb{F}_2dddfffx1x2+x1x3x1x2+x1x3x_1 x_2 + x_1 x_3x1(x2+x3)x1(x2+x3)x_1(x_2+x_3) …

28 cc.complexity-theory  formulas 

Estou procurando criar notações para grandes ordinais contáveis ​​de uma "maneira natural". Por "caminho natural", quero dizer que, dado um tipo de dados indutivo X, essa igualdade deve ser a igualdade recursiva usual (a mesma que deriving Eqem Haskell produziria) e a ordem deve ser a ordem lexicográfica recursiva usual …

28 lo.logic  type-theory  proof-theory 

Tenho um interesse crescente na teoria dos grafos espectrais, o que acho fascinante, e comecei a coletar alguns documentos que ainda tenho que ler mais profundamente do que o que tenho até agora. No entanto, estou curioso sobre uma declaração que apareceu em várias fontes (por exemplo, por lá ), …

28 graph-theory  co.combinatorics  proofs  spectral-graph-theory 

Suponha que eu quisesse formalizar a prova de Turing sobre o problema da parada, para que uma máquina pudesse verificá-la. Alguns dos conhecidos sistemas automatizados de prova de teoremas incluem Mizar, Coq e HOL4. Fiz o download e experimentei o Coq, mas ele não possui uma biblioteca para máquinas Turing. …

28 lo.logic  turing-machines  software  proof-assistants  automated-theorem-proving 

Nota: trata-se do quebra-cabeça padrão do sudoku 9x9. A solução precisa apenas suportar quebra-cabeças legais resolvidos . Portanto, uma solução não precisa suportar células vazias e pode confiar nas propriedades de um quebra-cabeça sudoku resolvido. Eu estava pensando isso, mas não conseguia pensar em uma resposta com a qual me …

28 co.combinatorics  puzzles 

Além da ACM, IEEE computer Society, Google Scholar, qual é o melhor site para obter entradas de bibtex para artigos relacionados à ciência da computação?

28 soft-question  research-practice  paper-review  bibliography 

Faz sentido considerar uma categoria de todos os problemas completos de NP, com morfismos como reduções de politempo entre diferentes instâncias? Alguém já publicou um artigo sobre isso e, em caso afirmativo, onde posso encontrá-lo?

28 cc.complexity-theory  np-hardness  ct.category-theory 

Considere um autômato finito não determinístico A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F) e uma função f(n)f(n)f(n) . Adicionalmente, definimos Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i . Agora vamos analisar a seguinte declaração: Se Σ≤f(|Q|)⊆L(A)Σ≤f(|Q|)⊆L(A)\Sigma^{\leq f(|Q|)} \subseteq L(A) , então L(A)=Σ∗L(A)=Σ∗L(A) = \Sigma^* . É fácil mostrar que, para …

28 automata-theory  fl.formal-languages  nondeterminism 

Estou interessado em saber por que os números naturais são tão amados pelos autores de livros sobre teoria das linguagens de programação e teoria dos tipos (por exemplo, J. Mitchell, Fundações para linguagens de programação e B. Pierce, Tipos e linguagens de programação). A descrição do cálculo lambda de tipo …

28 pl.programming-languages  big-picture  type-theory