Seja xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} para i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\} , com a promessa de que x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (onde a soma está acima ). Então, qual é a complexidade de determinar se ?ZZ\mathbb{Z}x=1x=1x = 1 Observe que...
Esta questão é essencialmente a pergunta que fiz no Mathoverflow. A lógica monádica de segunda ordem (MSO) é uma lógica de segunda ordem com quantificação sobre predicados unários. Ou seja, quantificação sobre conjuntos. Existem várias lógicas MSO que são fundamentais para estruturas estudadas em...
Sendo um engenheiro de software profissional, vi muitos trabalhos técnicos realmente interessantes, muitos deles publicados como artigos técnicos em revistas técnicas e sites como http://www.drdobbs.com e http://www.codeproject.com e muitos outros, aqui estão alguns exemplos em algumas áreas de...
Eu estou familiarizado com programas lineares, pois eles podem resolver problemas com funções objetivas lineares e restrições lineares. Mas o que a programação semidefinida pode resolver que a programação linear não pode? Eu já sei que programas semidefinidos são uma generalização de programas...
Existe algum sistema semelhante ao cálculo lambda com forte normalização, sem a necessidade de adicionar um sistema de tipos sobre
O feto, se você nunca ouviu falar, pode ser lido aqui . Ele usa um sistema de 'matrizes de chamada' e 'gráficos de chamada' para encontrar todos os 'comportamentos de recursão' de chamadas recursivas em uma função. Para mostrar que uma função termina, mostra que todos os comportamentos de recursão...
Estou interessado em saber como podemos usar os conceitos de limites e colimites na modelagem de problemas na vida cotidiana? Alguém poderia fornecer exemplos de engenharia (software), talvez? Ou descreva intuitivamente em geral para que tipos de problemas de modelagem podemos usar esses conceitos?...
Suponha que eu tenha conjuntos com elementos extraídos de possíveis. Cada conjunto é do tamanho ( ), onde os conjuntos podem se sobrepor. Quero determinar se os dois problemas a seguir estão completos ou não com NP:r n n <
Tenho uma pergunta ingênua: existe uma máquina de Turing cujo término é verdadeiro, mas não pode ser provado por nenhuma teoria natural, consistente e finamente axiomatizável? Peço uma mera prova de existência e não um exemplo específico. Isso pode ter alguma conexão com a análise ordinal . De...
Quais são algumas das melhores fontes (livros e documentos) para motivar e aprender a complexidade da comunicação por si só e em conexão com a sua relação com a teoria da complexidade
Verificar a transitividade de um dígrafo não é mais fácil do que (em termos de complexidade assintótica) fazer o fechamento transitivo do dígrafo? Conhecemos algum limite inferior melhor que para determinar se um dígrafo é transitivo ou
Houve algumas perguntas ( 1 , 2 , 3 ) sobre a conclusão transitiva aqui que me fizeram pensar se algo como isso é possível: Suponha que obtemos um gráfico direcionado para entrada e gostaríamos de responder a perguntas do tipo " ?", Ou seja, perguntando se existe uma aresta entre dois vértices...
No problema da camarilha plantada, é necessário recuperar uma kkk planta plantada no gráfico aleatório Erdos-Renyi G(n,p)G(n,p)G(n,p) . Isso foi analisado principalmente para p=12p=12p=\frac{1}{2} , caso em que se sabe que pode ser resolvido em tempo polinomial sek>n−−√k>nk > \sqrt{n} e...
A maioria dos sistemas tipificados dependentes possui condições estritas de positividade para tipos indutivos. Alguém conhece um exemplo em que a violação da condição leva à inconsistência no
Considere o problema clássico # P-complete # 3SAT, ou seja, contar o número de avaliações para tornar um 3CNF com variáveis satisfatórias. Estou interessado na aproximação aditiva . Claramente, existe um algoritmo trivial para atingir o erro 2 n - 1 , mas se k < 2 n - 1 , é possível ter um...
Quero dividir um conjunto de pontos em dois subconjuntos de tamanhos iguais, de modo que a soma dos quadrados dentro do cluster seja minimizada. Podemos assumir que os pontos estão no espaço euclidiano bidimensional. Espero algo mais rápido do que um algoritmo de agrupamento geral k-means, dado que...
Um homomorfismo de um gráfico G=(V,E)G=(V,E)G = (V, E) para um gráfico é um mapeamento de para modo que se e são adjacentes em então e são adjacentes em . Um endomorfismo de um gráfico é um homomorfismo de para si mesmo; é livre de ponto fixo se não houver tal que sejaf V V ′ x y E f ( x ) f ( y )...
Qual é o melhor resultado para o número de portas em um circuito multiplicando dois números inteiros de n bits? O método óbvio gera portas . Existem abordagens melhores com as portas θ ( n log n log log n ) e θ ( n log n 2 log ∗ ( n ) ) .θ ( n2)θ(n2)\theta(n^2)θ ( n logn logregistron...
Digamos que temos uma função booleana f: { - 1 , 1 }n→ { - 1 , 1 }f:{-1 1,1 1}n→{-1 1,1 1}f:\{-1,1\}^n\rightarrow \{-1,1\} e aplicamos a restrição aleatória δδ\delta em fff . Além disso, diga que a árvore de decisão TTT que calcula fff diminui para o tamanho O ( 1 )O(1 1)O(1) como resultado da...
Seja f∈Q[x1,x2,…,xn]f∈Q[x1,x2,…,xn]f\in\mathbb{Q}[x_{1},x_{2},\ldots,x_{n}] um polinômio dado por um circuito aritmético CCC do tamanho sss . Dado CCC como entrada, existe um algoritmo determinístico para verificar se todos os fatores irredutíveis de fff em