Li o famoso livro de Alon e Spencer sobre o método probabilístico na combinatória. Existe uma pesquisa ou notas de aula sobre avanços e relacionamentos recentes com os seguintes tópicos teóricos da complexidade deste método além deste livro? geradores pseudo-aleatórios enganando modelos de...
A teoria da complexidade parece ser construída em torno de problemas de decisão e não de funções. Quem introduziu isso primeiro e qual o motivo dessa escolha? Por exemplo, o artigo "Caminhos, árvores e flores" de Edmonds é geralmente creditado como a fonte da noção de representando o conjunto de...
Vamos definir o problema SAT : Dado F 3 , uma fórmula 3-CNF satisfatória e F 2 , uma fórmula 2-CNF ( F 3 e F 2 são definidos nas mesmas variáveis). É F 3 ∧ F 2 satisfiable?(3,2)s(3,2)s(3,2)_sF3F3F_3F2F2F_2F3F3F_3F2F2F_2F3∧F2F3∧F2F_3 \wedge F_2 Qual é a complexidade desse problema? (Já foi estudado...
Seja um subgráfico de intervalo induzido máximo de um gráfico . Se， Então qual é o menor número de ?G = ( V , E ) n = | V | V ( H )HHHG=(V,E)G=(V,E)G=(V,E)n=|V|n=|V|n=|V|V(H)V(H)V(H) O número é no máximo : considere um conjunto de furos disjuntos .43n/43n/43n/4444 Pode ser...
Quais são as aplicações da complexidade de Kolmogorov na teoria dos números e em campos relacionados a provas? (A monografia de Li & Vitanyi não possui muitas aplicações relacionadas à Teoria dos Números.) Uma das boas provas que encontrei é a prova da existência de um número infinito de...
Estou interessado em como alguém prova que uma sentença é relativizada. Evidentemente, provar que uma sentença não se relativiza é simples, como visto no resultado de Baker-Gill-Solovay; mas como provar que uma sentença é relativizada, isto é, verdadeira em relação a qualquer oráculo? Existem...
Estou procurando uma referência para "reduzir" reduções de Turing a muitas reduções. Tenho em mente uma declaração da seguinte forma (declarações suficientes semelhantes também me satisfariam): Teorema. Se , então A ≤ 2 f m B t t .A ≤fTBA≤TfB\mathsf{A}\leq_T^f \mathsf{B}A ≤2fmBt tA≤m2fBtt\mathsf...
Alguém já pensou na possibilidade de uma linguagem de programação e de um compilador, de modo que o compilador possa fazer automaticamente a análise assintótica do pior caso? O caso de uso que tenho em mente é uma linguagem de programação na qual escrevo código e compilo. O compilador me diz que...
Recentemente, houve novos resultados em estudos experimentais baseados em computador do Problema da Discrepância de Erdos (EDP) (via solucionadores SAT, citados abaixo). Esse problema foi citado e estudado por vários pesquisadores (T) de CS. No entanto, os links (possivelmente profundos?) Para (T)...
O problema do subgráfico conectado de peso máximo é o seguinte: Entrada: um gráfico e um peso (possivelmente negativo) para cada vértice .w i i ∈ VG = ( V, E)G=(V,E)G=(V,E)WEuWEuw_ii ∈ VEu∈Vi \in V Saída: um subconjunto de peso máximo de vértices, de modo que esteja conectado.G [ S ]SSSG [...
Existem vários algoritmos de 2 aproximações para o problema de conjunto de vértices de feedback UNWEIGHTED (FVS), que estão resumidos em [4]. Observe que a redução da cobertura do vértice para o FVS preserva a aproximação. Assumindo uma conjectura de jogo única, não podemos esperar algoritmos...
Eu li aqui que existem famílias de funções que precisam de nós na rede neural com no máximo d - 1 camadas para representar a função e precisam apenas de O ( n ) se a rede neural tiver pelo menos d camadas. Referia-se a um artigo de Hastad. Eu não encontrei. Alguém poderia me dizer o título do...
Para , seja o conjunto de vértices do cubo dimensional dimensionado na direção de a ésima coordenada por , ou seja, .Q( → d )⊂NnnidiQ( → d ={⟨±d1,...,±dn⟩}d⃗ ∈Nnd→∈Nn\vec{d} \in \mathbb{N}^nQ(d⃗ )⊂NnQ(d→)⊂NnQ(\vec{d}) \subset \mathbb{N}^nnnnEuiidEudEud_iQ ( d⃗ = { ⟨ ± d1, … , ± dn⟩...
Um gráfico é localmente bipartido se a vizinhança aberta de cada vértice induzir um gráfico bipartido. (De acordo com as pesquisas, o mesmo nome pode ser usado para algo mais relacionado a superfícies). Quais problemas difíceis de NP para gráficos gerais se tornam polinomiais para gráficos...
No filme Inception, Cobb pede a Ariadne para projetar um labirinto que leva o dobro do tempo para projetar. Isso se presta a um problema generalizado em que temos uma situação em que temos recursos limitados em alguma quantia e quem verificará se esse problema está na classe de complexidade...
Me deparei com uma apresentação de Ryan O'Donnell sobre princípios de invariância. Depois de provar o teorema de Berry-Esseen, há um slide que discute extensões do teorema e um que é mencionado, há a chamada "versão derandomizada": Se C- bom (isto é, limitou o terceiro momento), independente em...
Existe alguma complexidade aleatória de comunicação aleatória (não trivial) conhecida para os problemas de gap natural nos quais as entradas 1 estão linearmente distantes das entradas 0? Ou seja, funções parciais modo que a distância de Hamming entre cada e é linear - e que requer protocolos...
Eu já fiz essa pergunta no Programmers.SE , sem sucesso. Estou procurando recursos escritos de aprendizado sobre como projetar estruturas de dados simultâneas. Estou mais interessado no processo de design (por exemplo, na identificação dos invariantes corretos) do que no produto final (uma lista...
Qual é a primeira publicação do conceito de otimização de mesclagem por identificar sequências de posições consecutivas em ordens crescentes (também conhecidas como execuções) em tempo linear; então mesclando repetidamente as duas seqüências mais curtas e adicionando o resultado dessa mesclagem...
Um resultado fundamental na complexidade parametrizada dos problemas gráficos é que VERTEX COVER parametrizado pelo tamanho da solução é um parâmetro fixo-tratável (FPT). Por outro lado, quando parametrizado pelo "parâmetro duplo" , torna-se equivalente a INDEPENDENT SET parametrizado pelo tamanho...