Eu gostaria de aprender sobre a complexidade parametrizada (tanto no lado algorítmico quanto no lado da dureza). Que livros / notas de aula posso ler sobre esse
Eu gostaria de aprender sobre a complexidade parametrizada (tanto no lado algorítmico quanto no lado da dureza). Que livros / notas de aula posso ler sobre esse
Uma abordagem recente para criar uma moeda online descentralizada, chamada Bitcoin , vem gerando algum interesse. O objetivo é ter uma maneira de transferir moeda sem uma autoridade central e sem gastos duplos ou falsificações. Sua abordagem é fazer com que todos os nós da rede tentem verificar uma...
A Computação Quântica é uma área ativa de pesquisa que visa tirar proveito da física quântica (por exemplo, emaranhamento quântico) para aprimorar as capacidades de eficiência dos computadores (não altera a tese de Church-Turing ). Quais são os experimentos mais significativos que foram...
Suponha que você receba um gráfico H. simples, não direcionado, conectado O problema do corte sem H é definido da seguinte maneira: Dado um gráfico simples e não direcionado G, existe um corte (partição de vértices em dois conjuntos não vazios, L, R), de modo que os gráficos induzidos pelos...
Uma rede de comutadores (o nome é inventado) é criada com três tipos de nós: um nó Iniciar um nó final um ou mais nós do Switch O nó do comutador possui 3 saídas: Esquerda, Cima, Direita; possui dois estados L e R e um estado alvo TL ou TR . Cada switch pode ser percorrido com as seguintes...
A seguinte classe gráfica é conhecida na literatura? A classe de gráficos é parametrizada por números inteiros positivos e e contém cada gráfico modo que, para cada vértice , o subgrafo de induziu em todos os vértices na distância no máximo de em tem uma largura de árvore no máximo .dddtttG = ( V,...
Ao ler um artigo sobre o uso de métodos algébricos para detectar alguns subgráficos induzidos, parece que o ideal da aresta é uma ferramenta importante que conecta álgebra comutativa e teoria de grafos. Como não estou familiarizado com cálculos de objetos algébricos, existem boas referências ou...
Tanto quanto eu entendo, todos sabem que as regras de pivô determinísticas para algoritmos simplex têm entradas específicas nas quais o algoritmo requer tempo exponencial (ou pelo menos não polinomial) para encontrar o melhor. Vamos chamar essas instâncias de "patológicas", já que geralmente (ou...
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...
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...
Estou procurando descobrir se existem resultados gerais ou exemplos relativos à completude de NP do problema de encontrar uma segunda solução para um problema de NP-completo. Mais precisamente, estou interessado em qualquer problema da seguinte forma: Dada uma solução para uma instância de um...
Eu sou novo na teoria das linguagens de programação e estou procurando um bom recurso em um recurso para semântica formal de linguagens de programação. Procurando especificamente por semântica operacional estrutural. Eu tenho algumas recomendações de livros. Mas estou procurando um recurso em um...
Sabe-se que o tamanho mínimo dos circuitos calculam a função de paridade é exatamente igual a 3 ( n - 1 )você2você2U_23 ( n - 1 )3(n-1 1)3(n-1) . A prova do limite inferior é baseada no método de eliminação do portão. Recentemente, notei que o método de eliminação portão funciona bem também para...
O método adversário negativo ( ) é um SDP que caracteriza a complexidade da consulta quântica. É uma generalização do método adversário amplamente utilizado ( ) e supera as duas barreiras que impediram o método adversário:A D V±UMADV±ADV^\pmA D VUMADVADV A barreira do teste de propriedades: se...
Como o termo está sobrecarregado, faça uma breve definição primeiro. Um poset é um conjunto XXX dotado de uma ordem parcial ≤≤\le . Dado dois elementos a,b∈Xa,b∈Xa,b \in X , podemos definir x∨yx∨yx \vee y (junção) como seu limite superior mínimo em XXX e similarmente definir x∧yx∧yx \wedge y...
Estou procurando exemplos naturais de algoritmos eficientes (isto é, em tempo polinomial) st sua correção e eficiência podem ser comprovadas construtivamente (por exemplo, na ou na ), masPR APRUMAPRAHUMAHUMAHA nenhuma prova usando apenas conceitos eficientes é conhecida (ou seja, não sabemos como...
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...
Ao tentar convencer economistas da relevância da teoria da complexidade impressa, existe uma referência padrão a ser citada? Estou familiarizado com o post de Noam Nisan , a pesquisa de Tim Roughgarden e o capítulo 11 do ensaio de Scott Aaronson . Essas postagens são acessíveis aos cientistas da...
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...
É sabido que, se você jogar n bolas em n compartimentos, é altamente provável que a bandeja mais carregada tenha . Em geral, pode-se perguntar sobre bolas em caixas. Um artigo da RANDOM 1998 de Raab e Steger explora isso com alguns detalhes, mostrando que à medida que aumenta, a probabilidade de ir...