Digamos que um grafo é -connected se a remoção de qualquer vértices e qualquer arestas de folhas sempre um grafo conexo. Por exemplo, um gráfico conectado a , de acordo com a definição padrão, é conectado , de acordo com a nova definição. Existe um algoritmo de tempo polinomial para decidir se está...
Contexto: relações entre lógica e autômatos O Teorema de Büchi afirma que a lógica monádica de segunda ordem sobre seqüências de caracteres (MSO) captura a classe de linguagens regulares. A prova realmente mostra que o MSO existencial ( ou EMSO ) sobre cadeias de caracteres é suficiente para...
Vamos supor que construímos um computador quântico universal. Exceto por questões relacionadas à segurança (criptografia, privacidade, ...) quais problemas atuais do mundo real podem se beneficiar com o uso? Estou interessado em ambos: problemas atualmente insolúveis para uma entrada...
Estou procurando um algoritmo para mesclar duas árvores de pesquisa binária de tamanho e alcance arbitrários. A maneira óbvia de implementar isso seria encontrar subárvores inteiras cujo intervalo pode caber em um nó externo arbitrário na outra árvore. No entanto, o pior caso de tempo de execução...
Há muitos anos, ouvi dizer que calcular o mínimo de AFN (autômato finito não determinístico) a partir de um AFD (determinístico) era uma questão em aberto, em oposição à direção vice-versa conhecida há décadas e que é bem pesquisada com um eficiente ( n lg n ) algoritmo. Alguém criou um algoritmo?O...
(também solicitado aqui , sem respostas) Um expansor de quantidade é uma distribuição sobre o grupo unitário com a propriedade que: a) , b) , onde \ mu_H é a medida de Haar. Se, em vez de distribuições por unidades unitárias, consideramos distribuições por matrizes de permutação, não é difícil ver...
Um labirinto fractal é um labirinto que contém cópias de si mesmo. Por exemplo, o seguinte de Mark JP Wolf deste artigo : Comece no MINUS e siga para o PLUS. Ao inserir uma cópia menor do labirinto, certifique-se de registrar o nome da letra dessa cópia, pois você terá que deixar essa cópia na...
A computação quântica limitada no tempo é obviamente muito interessante. E quanto à computação quântica limitada ao espaço? Conheço muitos resultados interessantes para computação quântica com limites de espaço sublogarítmicos e vários tipos de modelos de autômatos quânticos. Por outro lado, foi...
Até onde eu sei, a maioria das implementações de geração de números pseudo-aleatórios na prática usa métodos como registradores de feedback de deslocamento linear (LSFRs), ou esses algoritmos "Mersenne Twister". Embora eles passem em muitos testes estatísticos (heurísticos), não há garantias...
Os 2dca (autômatos determinísticos bidirecionais de um contador) (Petersen, 1994) podem reconhecer a seguinte linguagem unária: POWER={02n∣n≥0}.POWER={0 02n∣n≥0 0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} Existe alguma outra linguagem unária não...
Estou lendo sobre classes de gráficos para o qual Graph Isomorfismo ( ) está em . Um desses casos são gráficos de valência limitada (máximo acima do grau de cada vértice), conforme explicado aqui . Mas achei muito abstrato. Ficaria muito grato se alguém puder me sugerir algumas referências de...
Gráficos planares têm gênero zero. Os gráficos incorporados em um toro têm gênero no máximo 1. Minha pergunta é simples: Existem problemas que são polinomialmente solucionáveis em gráficos planares, mas que são rígidos em NP em gráficos do gênero um? De um modo mais geral, existem problemas...
Hoje ensinei limites inferiores a e um dos alunos perguntou sobre o motivo do nome . A explicação oficial é que o "A" significa "Alternação".AC0AC0AC^0ACACAC Lembro-me vagamente de ter sido informado há muitos anos que Nick Pippenger Steve Cook nomeou homenagem a Nick Pippenger (classe de Nick), e...
Versão curta. A prova original de que # 2-SAT é # P- completo mostra, de fato, que as instâncias de # 2-SAT são monótonas (sem envolver negações de quaisquer variáveis) e bipartidas (o gráfico formado pelas cláusulas sobre o variáveis é um gráfico bipartido) são #P -hard. Assim, os dois casos...
Sabemos que os programas lineares (LP) podem ser resolvidos exatamente em tempo polinomial usando o método elipsóide ou um método de ponto interior como o algoritmo de Karmarkar. Alguns LPs com número super-polinomial (exponencial) de variáveis / restrições também podem ser resolvidos em tempo...
A maioria dos sites que visitei lendo sobre este tópico interessante afirma algo semelhante "os únicos poderes de dois (exceto o próprio 2) que ocorrem nessa sequência são aqueles com expoente principal" (MathWorld) ou "Após 2, esta sequência contém os seguintes poderes de 2: [...] que são...
Este é o seguimento de uma pergunta recente feita por A. Pal: Resolvendo programas semidefinidos em tempo polinomial . Ainda estou intrigado com o tempo de execução real de algoritmos que calculam a solução de um programa semidefinido (SDP). Como Robin apontou em seu comentário à pergunta acima,...
Existem conjecturas na ciência da computação teórica que envolvam algum parâmetro n e foram provadas por pequenos valores de n E por números primos, mas depois se revelaram falsos? Na teoria dos números, tais problemas existem, por exemplo. como Aaron Meyerowitz aponta aquele sobre os coeficientes...
Eu sou um estudante de graduação em matemática com uma sólida formação em lógica. Eu fiz um curso de graduação de um ano em lógica, juntamente com cursos de teoria dos modelos finitos e outro sobre forçar e definir teoria. A maioria dos textos de CS parece assumir apenas um fundo muito modesto da...
Qualquer mônada também é um função aplicadora e qualquer função aplicadora é um função. Além disso, qualquer comonada é um functor. Existe um conceito semelhante entre comônadas e functores, algo como functor co-aplicativo e quais são suas