Na etapa de redução de grau da prova de Dinur, o gráfico de entrada é transformado em um gráfico substituindo cada vértice v \ in V (G) por um conjunto de vértices, nuvem (v) , de modo que | cloud (v) | = degree_G (v) e impondo um gráfico expansor de grau d na nuvem (v) para todos os v \ in V (G) ....
Estou planejando executar um "experimento" ao ensinar minha classe de algoritmos neste outono, com um computador muito antigo e limitado (o principal fator limitante provavelmente é a memória - possivelmente tão baixa quanto 16 KB) e um moderno / padrão. A idéia é resolver um problema com um...
Eu tenho um DAG de dependências que contém muitas bordas redundantes (veja o exemplo abaixo). Eu quero um algoritmo "rápido" (ou seja, pode manipular um gráfico com vários milhares de nós / arestas) que encontre um sub-gráfico mínimo. Por exemplo: A -> B -> C A -> C nas palavras A é...
Estou considerando o problema de reconhecer um idioma (acima do alfabeto 0-9 e espaço) contendo seqüências de caracteres como "1 2 3 4 5 6" e "14 15 16 17", mas não "1 3". Isso surgiu durante o trabalho em uma tarefa de análise comum em que os elementos precisavam estar em uma lista ordenada....
Mudei de alguma forma da biofísica para uma equipe mista, onde geralmente publicamos em periódicos / conferências da TCS. Para obter financiamento, no país europeu em que moro, é aconselhável mostrar em seu currículo que tenho documentos ou conferências sobre esses campos. Tenho mais de 30...
[Editar em 21 de julho de 2011: editei a pergunta para pedir mais exemplos] Esta pergunta está solicitando uma discussão documentada de ou mais exemplos de uma observação heurística. Alguns problemas matemáticos que admitem algoritmos eficientes parecem ter natureza convexa. Estou pensando em...
Existe uma porta de alçapão, como função cuja codificação complexidade é tempo polinomial nk1nk1n^{k_{1}} e invertendo complexidade (sem chave secreta) é também uma função polinomial de comprimento de entrada nk2nk2n^{k_{2}} com k1< < K2k1<<k2k_{1}
Considere uma linguagem regex com o quantificador ganancioso , o quantificador não-viciado, alternância ordenada e classes de caracteres. (Essa é essencialmente uma sub-linguagem do PCRE, sem referências anteriores, afirmações gerais ou alguns dos outros bits mais sofisticados.)∗ ?∗∗*∗?∗?{*}? Uma...
Quais estruturas de dados você recomendaria que representam uma coleção de subconjuntos de e suportam as seguintes operações?{1,…,n}{1,…,n}\{1, \dots, n\} : inserções S na colecção.insert(S)insert(S)insert(S)SSS : retorna true se existir S ′ na coleção, de modo que S ′ ⊂ S , caso contrário,...
Contexto: Pelo que entendi, na teoria da complexidade geométrica, a existência de obstruções serve como um certificado de prova, por assim dizer, para a inexistência de um circuito computacional eficiente para a função difícil explícita no problema de limite inferior em consideração. Agora, existem...
Embora L.Berman tenha provado que o problema de verificar ou falsificar qualquer declaração de primeira ordem sobre números reais que usa adição e comparação, mas não multiplicação, está no EXPSPACE. Foi mostrado quanto tempo ou espaço você precisaria para verificar ou falsificar qualquer...
Dado um gráfico , o problema clássico de correspondência máxima é escolher o subconjunto máximo de arestas st, para cada aresta , .M ( u , v ) ∈ M d ( u ) = d ( v ) = 1G(V,E)G(V,E)G(V,E)MMM(u,v)∈M(u,v)∈M(u,v) \in Md(u)=d(v)=1d(u)=d(v)=1d(u)=d(v)=1 Alguém estudou a seguinte variante? Para cada...
Os fechamentos lexicais são uma técnica de implementação em linguagens com funções de primeira classe. Estou interessado em uma descrição operacional simples do fechamento de funções. Alguém sabe dessa
Estou procurando vincular um problema em que estou trabalhando com um problema conhecido como NP-hard. Acho que posso modelar meu problema como um problema de caminho mais curto com recursos limitados. No entanto, a estrutura do meu gráfico não é completamente arbitrária. Assim, será útil saber...
Recentemente, participei de um workshop sobre pseudo-aleatoriedade no Instituto de Matemática de Chennai sobre pseudo-aleatoriedade. Venkat Guruswami fez a seguinte declaração bonita durante sua palestra (sobre a teoria da codificação): É notável o quanto se pode provar usando o simples fato de...
Dado um gráfico , defina o gráfico de árvore T ( G ) como um gráfico cujos vértices são as árvores abrangentes de G , e há uma aresta entre duas árvores, se uma pode ser obtida uma da outra, substituindo uma única aresta. Isto é, há uma aresta ( t 1 , t 2 ) , se existem duas bordas x , y ∈ L de tal...
Eu tenho mmm vetores de bits, cada um dos quais é composto por mmm bits. Vamos denotar com vi[j]vi[j]v_i[j] o jjj ésimo bit do iii ésimo vetor, i,j∈[1,m]i,j∈[1,m]i,j \in [1, m] . Cada vetor de bit viviv_i está sujeito às 2 restrições a seguir: vi[j]=0 ∀j≥ivi[j]=0 ∀j≥iv_i[j] = 0\ \forall j \geq i...
Suponha que temos um quadrado, e um alfabeto Γ . Colocamos um elemento de Γ em cada local do quadrado. Um elemento pode aparecer em mais de um local. A restrição é que um par a , b de vizinhos (leste-oeste um do outro ou norte-sul um do outro) só pode aparecer nessa configuração uma vez.n × nn×nn...
A Wikipedia afirma que as vantagens do smoothsort sobre o heapsort é que, às vezes , chega mais perto do tempo O (n). Agora eu estava imaginando que vantagem o heapsort tem sobre o smoothsort? Ou, para reformular esta pergunta, o smoothsort é sempre uma escolha melhor que o heapsort (mesmo que a...
Dada inteiros positivos e e , o que é conhecido sobre o espaço eo tempo complexidade de encontrar o peso de Hamming (número de 1s binários) de b e ?bbbeeebebeb^e Se os bits estiverem disponíveis, o número pode ser simplesmente calculado por técnicas padrão e os 1s contados. Mas que técnicas são...