Há evidências teóricas de que a construção ingênua de produto cartesiano para a interseção de DFAs é "o melhor que podemos fazer". E a concatenação de dois DFAs? A construção trivial envolve a conversão de cada DFA em um NFA, adicionando uma transição épsilon e determinando o NFA resultante....
A análise de casos piores e médios são medidas bem conhecidas para a complexidade de um algoritmo. A análise suavizada recentemente surgiu como outro paradigma para explicar por que alguns algoritmos exponenciais no pior dos casos funcionam tão bem na prática, por exemplo, o algoritmo...
O problema a seguir é PTIME ou coNP-hard: Dadas duas expressões booleanas e e 2 nas variáveis x 1 , … , x n , sem negação (ou seja, as expressões são totalmente construídas via ∧ e ∨ ). Decida se e 1 ≡ e 2 , ou seja, eles têm o mesmo valor para todas as atribuições às variáveis.e1 1e1...
fundo Uma árvore de decisão binária é uma árvore com raiz onde cada nó interno (e raiz) é marcado por um índice j ∈ { 1 , . . . , n } de modo que nenhum caminho da raiz para a folha repita um índice, as folhas são rotuladas pelas saídas em { A , B } e cada borda é rotulada por 0 para o filho...
Existem casos em que publicações extras podem prejudicar seu registro? Isso evita os casos óbvios em que você publica resultados incorretos ou controversos. Evitando também o caso do tempo finito: você só tem muito tempo para pensar e escrever; portanto, escrever um artigo pode fazer com que...
Estou procurando obter uma resposta definitiva para a pergunta do título. Existe um conjunto de regras que traduz qualquer programa em uma configuração de peças finitas em um tabuleiro infinito, de modo que, se preto e branco executam apenas movimentos legais, o jogo termina em um tempo finito se...
Normalização fraca para o cálculo lambda de tipo simples pode ser comprovada (Turing) por indução em . Um cálculo lambda estendido com recursores em números naturais (Gentzen) possui uma estratégia de normalização fraca por indução em .ω2ω2\omega^2ϵ0ϵ0\epsilon_0 E o Sistema F (ou mais fraco)?...
Estou procurando um problema que pertence a nos gráficos gerais, mas está em nos gráficos de largura de árvore delimitada. Na verdade, acho que esses problemas são mais difíceis do que usar a programação dinâmica normal em limites gráficos de largura de banda para
Dado que a maioria das universidades americanas aceita apenas solicitações em apenas um campo, estou tentando descobrir quais são as vantagens / desvantagens de aplicar a um programa de teoria de CS versus um programa de matemática aplicada, dado que o interesse está em algum lugar dos dois...
É bem conhecido que K5K5K_5 e K3,3K3,3K_{3,3} são proibidos menores para grafos planares. Existem centenas de menores proibidos para gráficos incorporados em um toro. O número de menores proibidos para gráficos incorporáveis na superfície do gênero g é uma função exponencial de g . Minha pergunta...
Qual é o número mínimo de portas binárias necessárias para calcular AND e OR de bits de entrada simultaneamente? O limite superior trivial é 2 n - 2 . Eu acredito que isso é ótimo, mas como provar isso? A técnica de eliminação de gate padrão não funciona aqui, pois, ao atribuir uma constante a...
Como é sabido, uma decomposição em árvore de um gráfico consiste em uma árvore com uma bolsa associada para cada vértice , que satisfaz as seguintes condições:T T v ⊆ V ( G ) v ∈ V ( T )GGGTTTTv⊆V(G)Tv⊆V(G)T_v \subseteq V(G)v∈V(T)v∈V(T)v \in V(T) Cada vértice de ocorre em algum saco de...
Estou tentando descobrir como o Path Graph acordo com o algoritmo de Eppstein, neste artigo funciona e como posso reconstruir os caminhos mais curtos de para com a construção de pilha correspondente .P(G)P(G)P(G)kkkssstttH(G)H(G)H(G) Tão longe: out(v)out(v)out(v) contém todas as arestas que saem...
Uma frase de permutação é uma extensão das definições gramaticais livres de contexto (E) BNF: uma frase de permutação contém produções (ou equivalentes, não terminais) a . Na posição da frase de permutação, gostaríamos de ver cada uma dessas produções exatamente uma vez, mas não estamos...
Por um resultado clássico de Kuroda, a classe de complexidade NSPACE [ ]nnn (também conhecida como NLIN-SPACE) é precisamente a classe CSL de linguagens sensíveis ao contexto . O problema de satisfação SAT está no NSPACE [ ], uma vez que um palpite de tamanho linear para uma solução pode ser...
Eu estou interessado neste problema: Dado um grafo não direcionado , Existe uma partição de em gráficos e de tal forma que e são isomorphic?G G 1 ( E 1 , V 1 ) G 2 ( E 2 , V 2 ) G 1 G 2G ( E, V)G(E,V)G(E, V)GGGG1 1(E1 1,V1 1)G1 1(E1 1,V1 1)G_1(E_1, V_1)G2( E2, V2)G2(E2,V2)G_2(E_2, V_2)G1 1G1...
Não trabalho em teoria, mas meu trabalho exige a leitura (e a compreensão) de trabalhos de teoria de vez em quando. Depois de entender um (conjunto de) resultados, discuto esses resultados com pessoas com quem trabalho, a maioria das quais também não trabalha em teoria. Durante uma dessas...
Eu queria saber se os problemas para os quais existem algoritmos de tempo sublinear (no tamanho da entrada) podem ser caracterizados como possuindo propriedades específicas. Isso inclui tempo sublinear (por exemplo, teste de propriedades, uma noção alternativa de aproximação para problemas de...
Sabemos que podemos representar qualquer gráfico plano por um conjunto de círculos no plano, conhecido como gráfico de moedas . Cada círculo representa um vértice e há uma aresta entre dois vértices se e somente se os círculos "beijarem" em seus limites. Suponha que, em vez disso, permitamos que...
Você pode modelar transmissões confiáveis no cálculo pi? Se sim: como? Caso contrário: existem álgebras de processo semelhantes onde você pode? O que eu tentei: Se o remetente quiser enviar uma mensagem y para todos os P 1 a P n , você poderá escrever ! ( ¯ x y ) . S e x ( z ) . P 1 a x...