Relacionado a uma pergunta recente ( limites no tamanho do menor NFA para L_k-distinct ) Noam Nisan solicitou um método para fornecer um limite inferior melhor para o tamanho de um NFA do que o obtido nos limites da complexidade da comunicação. O que se segue é uma versão especial desse...
Definição: Uma " cadeia " é um multi-gráfico obtido a partir de um caminho de comprimento k , duplicando todas as arestas.kkkkkk Observe que o número de caminhos entre dois pontos finais de uma cadeia é 2 k .kkk2k.2k.2^k. Pergunta: Let ser um simples gráfico no n nós e deixe s e t seja dois nós...
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...
Problema: Considere um número finito de estados de controle (incluindo um estado "inicial" e "ruim"), um número finito de variáveis inteiras e, para cada par de estados ordenados, uma relação de transição expressa na aritmética de Presburger. Decida se existe um invariante indutivo (= estável...
Para mostrar a dureza NP de um problema, é necessário escolher um problema NP-difícil conhecido e encontrar uma redução polinomial do problema conhecido para o problema em questão. Teoricamente, qualquer problema NP-difícil pode ser usado para a redução, mas, na prática, alguns dos problemas são...
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...
Se NPNP\mathsf{NP} contiver uma classe de problemas de tempo superpolinomial, ou seja, para alguma função t∈nω(1)t∈nω(1)t \in n^{\omega(1)} , DTIME(t)⊆NPDTIME(t)⊆NP\mathsf{DTIME}(t) \subseteq \mathsf{NP} , P⊊NPP⊊NP\mathsf{P} \subsetneq \mathsf{NP} Mas existem outras conseqüências...
Para uma classe de permutações, não podemos esperar classificar as permutações de com comparações menores que , onde por convenção .CC\mathcal{C} O ( log | C n | ) C n : = C ∩ S nCC\mathcal{C}O(log|Cn|)O(registro|Cn|)O(\log |\mathcal{C}_n|)Cn:=C∩SnCn: =C∩Sn\mathcal{C}_n := \mathcal{C} \cap S_n Em...
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⟩...
Usando homologia persistente, podemos analisar a forma (topológica) de uma nuvem de pontos usando o seguinte método de três etapas: converter o conjunto de pontos em um complexo simples (e existem algumas maneiras diferentes de fazer isso) parametrizado por um parâmetro "noise" Calcule os grupos...
Temos um programa semidefinido (SDP) cuja região viável contém apenas um número finito de matrizes de classificação . Podemos concluir que a região viável desse SDP é poliédrica?111 Acreditamos que isso seja verdade, uma vez que a porção 'circular' do cone de matrizes semidefinidas se deve às...
Esta pergunta foi publicada no CS.SE há duas semanas , mas não obteve uma resposta satisfatória. Suponha que você tenha o seguinte jogo: Existem infinitamente muitos contadores {c1,c2,…}{c1,c2,…}\{c_1,c_2,\ldots\} , todos inicializados em 0. Em cada etapa, você escolhe um contador cicic_i e...
Quando a conjectura ou P ≠ N P é definida (por exemplo, pelo Clay Mathematics Institute de S. Cook, veja aqui ) que sistema axiomático matemático é assumido?P=NPP=NP\mathbf{P} = \mathbf{NP}P≠NPP≠NP\mathbf{P} \neq \mathbf{NP} Para provar ou refutar tais declarações, você precisa assumir alguns...
Quais são os exemplos de problemas conhecidos em AMAM\mathsf{AM} (resp. MAMA\mathsf{MA} ) que não são conhecidos em NPNP\mathsf{NP} nem em BPPBPP\mathsf{BPP} ? Para AMAM\mathsf{AM} , eu sei que os dois exemplos a seguir: Não isomorfismo de gráfico: dados dois gráficos marcados GGG e HHH , eles...
Dada uma tabela de dados contendo um número muito grande de linhas, com cada linha contendo um grande número de campos, e cada campo contendo um número grande mas fixo de bits, existem vários métodos para construir uma estrutura de "índice" que as seguintes operações podem ser executadas na tabela...
Eu estive olhando para uma lógica modal com o axioma ( ◊ Um ∧ ◊ B ) → ◊ ( ( A ∧ ◊ B ) ∨ ( A ∧ B ) ∨ ( Um ∧ ◊ B ) )(◊UMA∧◊B)→◊((UMA∧◊B)∨(UMA∧B)∨(UMA∧◊B)) (\Diamond A \land \Diamond B) \to \Diamond((A \land \Diamond B) \vee (A \land B) \vee (A \land \Diamond B)) Grosso modo, isso diz que a...
Digamos que você tenha um número de conjuntos de números inteiros ( ), e pretende calcular interseções de alguns deles ( ∩ S 1 , S 3 , S 7 pode ser uma consulta, mas você quer para suportar muitas dessas consultas, ou talvez até todas as consultas possíveis)S1, S2. . . SnS1,S2...SnS_1, S_2 ... S_n∩...
Eu tenho um conjunto de agentes e um conjunto de n tarefas, e preciso atribuir cada agente a exatamente uma tarefa, para que o custo seja minimizado. Alguns agentes são incompatíveis com algumas tarefas.nnnnnn Eu tenho uma implementação do algoritmo húngaro que leva cerca de um minuto para...
O problema de satisfação máxima (Max-Sat) é o problema de encontrar o número máximo de cláusulas que podem ser satisfeitas em uma instância de satisfação booleana. O problema exatamente 1 em 2 Sat pergunta, dado um conjunto de cláusulas, cada uma com dois literais, existe um conjunto de literais,...
Dado um número algébrico , estou interessado em encontrar uma aproximação de até uma determinada precisão, em que se refere à parte real do número complexo.αα\alphaR(eα)ℜ(eα)\Re(e^\alpha)R()ℜ()\Re() Formalmente, quero calcular um número racional rrr tal que