Muitos resultados em criptografia dependem de resultados / conjecturas de impossibilidade na teoria da complexidade. Por exemplo, acredita-se que a criptografia de chave pública usando RSA é possível devido à conjectura sobre a inviabilidade do fatoramento (e os problemas de localização modular da...
A idéia de um MST com diâmetro restrito é que você mantenha todos os vértices conectados e a uma certa distância um do outro. Mas todos os papéis que eu vi cumprem a exigência de que você produza uma árvore, ao permitir ciclos pode ajudar a reduzir o diâmetro. Alguém conhece algum artigo que...
esta é uma reescrita de outra questão recente [1] que não foi bem estabelecida (tinha uma simplificação semi-óbvia, mea culpa), mas acho que ainda há uma questão não trivial no centro. vi problemas semelhantes na literatura, mas não esse em particular. escreverei em termos de vetores de bits,...
Um problema de decisão tem boa caracterização se estiver em . Muitos problemas gráficos naturais têm boas caracterizações. Por exemplo, o Teorema de Kuratuwski fornece uma boa caracterização de gráficos planares. O Teorema de Konig fornece uma boa caracterização de gráficos bipartidos. O Teorema de...
Ao aprender problemas de otimização, geralmente consideramos a programação linear (ou mais geralmente: otimização convexa) como o exemplo mais simples. É solucionável em tempo polinomial e possui algoritmos relativamente fáceis de entender. No entanto, a versão de decisão do LP é concluída. Isso...
Deixe que e Y ser conjuntos, e B ser uma partição de X x Y . Gostaria de provar que não existe uma distribuição de D ao longo X x Y cuja marginal é uniforme ao longo de X , e de tal modo que a distribuição ao longo B induzida por D tem grande entropia (o último distribuição é definida através da...
A classificação usando comparações de dois elementos tem uma complexidade assintótica de pior caso de (alcançada por mergesort, heapsort, inserção binária, ford-johnson, pelo menos), o que é ideal.nlog2(n)nlog2(n)n \log_2(n) Se classificarmos usando comparações que classificam k elementos como...
Existe algum limite inferior não trivial no tempo de execução dos algoritmos de gráfico na RAM / PRAM / modelos de computação? Não estou procurando os resultados da dureza NP aqui. A seguir está um resultado que eu pude encontrar [veja ref L92]: 3-A coloração de um ciclo n requer tempo...
Sabe-se se a classificação tensorial dos tensores tridimensionais se encontra no VNP (classe valente não determinística)? Se sim, o que se sabe sobre a classificação tensorial de alta dimensão? Na verdade, estou interessado em um problema muito mais simples. Gostaria de saber se é possível...
Eu conheço as seguintes variantes de problemas do SUBSETSUM: ( Elberfeld at. Al., 2010 ), NP-complete e NEXP-complete ( link ).S U B S E T S U M S U C C I N C T - S U B S E T S U MvocêN A R Y - S UB S E T S UM ∈ LUNARY-SUBSETSUM∈L \mathtt{UNARY\mbox{-}SUBSETSUM} \in \mathsf{L} S UB S E T S...
Suponha que desejamos encontrar o menor elemento de um conjunto , cujos elementos são indexados de a . Não temos acesso aos valores desses elementos, mas podemos comparar quaisquer dois elementos de para ver qual é menor. Para quaisquer índices e , existe um associado custo para comparar o th e th...
Isso é conhecido sobre linguagens reconhecidas pelo autômato determinístico bidirecional bidirecional ou pelo logspace TM com contador (modelo equivalente)? Esta classe chamada Aux2DC no meu conselheiro papel . Ou sobre essa classe não determinística? Eu obtive que a classe de idiomas reconhecidos...
O seguinte problema é NP-difícil? Dado um conjunto de números reais (metas) e um "tridente" definido por duas distâncias , do centro do tridente, qual é o número mínimo de posições de o tridente para cobrir todos os alvos, por exemplo, x 1 , … , x N a b K p 1 , … , p K K ⋃ k = 1 { p k - a , p k ,...
É possível encontrar uma redução na contagem de #SAT para #HornSAT? Eu não encontrei esta pergunta postada aqui, então decidi verificar se alguém tem alguma resposta para isso. Deixe-me explicar o que quero dizer com contagem de redução. Suponha que são dois problemas de contagem. Por exemplo,...
No artigo de Savitch em 1969, "Relações entre complexidades de fita não determinísticas e determinísticas", ele afirma que "todas as funções comuns de armazenamento L (n)> = lg n são mensuráveis. Em particular, qualquer polinômio em n e lg n é mensurável". Sua definição de mensurável é: "Diz-se...
Não é difícil mostrar que classificar uma matriz de números é difícil para . Se a entrada é uma matriz de 1s e 0s então é essencialmente a função C o u n t (dado n bits de saída do número de 1s em binário) desde C S u n t é completo para o t C 0 e é possível converter números unários em números...
Net (conhecido também como FreeNet, ou como NetWalk) é um jogo jogado em um grade com os seguintes objetos:n×nn×nn \times n existem computadores ; cada computador ocupa uma célula e possui um cabo de ligação;mmm cada computador deve estar conectado à unidade central que ocupa uma célula e possui...
Espero que esta pergunta não seja muito ingênua para este site. Em matemática (topologia, geometria, álgebra), é comum distinguir entre dois objetos criando uma invariante algébrica ou numérica e provando que os dois objetos têm valores diferentes. Estou me perguntando até que ponto isso foi...
A linguagem dos whileprogramas pode expressar as funções enumeráveis computacionalmente. (Isso é verdade mesmo que as únicas operações aritméticas nas variáveis sejam, por exemplo, incremento e decrementação.) Se whilefor substituído por for, tornando os loops sempre limitados, o idioma poderá...
Quais são algumas das aplicações da decomposição modular de gráficos na teoria da complexidade / TCS? Estou especialmente interessado em seu uso em provas ou limites superior / inferior, se ocorrer. [1] Decomposição modular de grafos , Wikipedia. [2] Referências para decomposição modular ,...