Existem pesquisadores mostrando que o apagamento de bit deve consumir energia, agora existem pesquisas sobre o consumo médio de energia do algoritmo com complexidade computacional ? Eu acho que a complexidade computacional F ( n ) está correlacionada com o consumo médio de energia, espero poder...
Imagine que temos dois conjuntos tamanho X , Y ⊂ R n . Qual é a complexidade (tempo) dos testes se eles diferem apenas por rotação? : existe matriz de rotação O O T = O T O = I tal que X = O Y ?mmmX,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^nOOT=OTO=IOOT=OTO=IOO^T=O^TO=IX=OYX=OYX=OY Há uma questão de...
Recentemente, tentei implementar o Cedille-Core de Aaron , uma linguagem de programação minimalista capaz de provar teoremas matemáticos sobre seus próprios termos. Eu também provei a indução para tipos de dados codificados em λ, o que deixou mais claro por que suas extensões seriam...
Existe uma máquina de Turing que pode decidir se quase todas as outras máquinas de Turing são interrompidas? Suponha que tenhamos alguma enumeração de máquinas de Turing e alguma noção de "tamanho" de um conjunto de números naturaise definimos:N→{Mi}N→{Mi}\mathbb{N} \rightarrow \{M_i\}∥⋅∥‖⋅‖\|...
Ao lado da academia, que é claramente o lar dos teóricos, estou me perguntando sobre trabalhos industriais relacionados à ciência da computação teórica, aqueles que exigem puro conhecimento matemático. Felicidades
Considere uma função calculada por um circuito booleano com entradas do tamanho sobre a base (com o indegree 2 para os portões ).C n s ( n ) = p o l y ( n ) { X O R , A N D , N O T } X O R , A N DfffCCCnnns ( n ) = p o l y ( n )s(n)=poly(n)s(n) =
Seja C4C4C_4 um ciclo com quatro vértices. Para um gráfico arbitrário GGG com nnn vértices e m arestas, diga m>nn−−√m>nnm>n\sqrt n , quantasC4C4C_4s existe? Existe um limite inferior para
Eu sou um estudante de terceiro ano de uma universidade dos "top 20" que trabalha com complexidade refinada (muitas brincadeiras com 3-SUM, OV e as habituais conjecturas populares de dureza). Tenho sido bastante produtivo nos últimos anos e tenho três artigos aceitos e dois artigos submetidos. Tudo...
É sabido que o complemento de é livre de contexto. Mas e o complemento de ?{ww∣w∈Σ∗}{ww∣w∈Σ∗}\{ ww \mid w\in \Sigma^*\}{www∣w∈Σ∗}{www∣w∈Σ∗}\{ www \mid w\in
Estou lendo a prova daqui e me deparei com um problema técnico (ainda que crucial). Eu sei que isso é bastante específico e o contexto é problemático, mas eu não consegui descobrir isso sozinho. Nas páginas 51 e 55, depois de apresentar os verificadores "padrão", eles se voltam para modificar os...
Suponha que um tenha um algoritmo UMAAA (BPP) randomizado usando rrr bits de aleatoriedade. Maneiras naturais de ampliar sua probabilidade de sucesso para 1 - δ1−δ1-\delta , para qualquer δ> 0δ>0\delta>0 escolhido , são Execuções independentes + voto da maioria: execute UMAAA...
Estou especialmente interessado em seu uso em aplicativos de verificação de modelo. Tenho redes abertas, fechadas e mistas de filas com diferentes classes de clientes por Baskett et al. Alguma outra sugestão para ler material?
Em um gráfico direcionado, , , se é um DAG (gráfico acíclico direcionado), é chamado de conjunto de arco de feedback. F ⊂ E G ∖ F FG = ( V, E)G=(V,E)G=(V,E)F⊂ EF⊂EF\subset EG ∖ FG∖FG\setminus FFFF Se cada aresta estiver associada a um peso , o problema do conjunto de arcos de feedback de custo...
Quando penso em software inseguro, acho que é "muito útil" e pode ser abusado por um invasor. Portanto, de certa forma, proteger software é o processo de tornar o software menos útil. Em Ciência da Computação Teórica, você não está trabalhando com o mundo real. Então, existem preocupações de...
Dado qualquer gráfico simples e não direcionado G, não é trivial determinar se G possui automorfismos não triviais (sem identidade). Mas quais são os resultados nos limites superior / inferior deste problema de
Barry Jay, em seu livro, faz algumas afirmações ousadas - basicamente dizendo que, no centro de um programa, tudo é atômico ou composto. Então, as coisas podem ser facilmente iteradas, filtradas, atualizadas, apenas navegando nesse relacionamento de composição. Essa é uma nova fronteira em Ciência...
O lema Johnson-Lindenstrauss diz aproximadamente que para qualquer coleção de pontos em , existe um mapa onde tal que para todos : É sabido que declarações semelhantes não são possíveis para a métrica , mas é sabido se existe alguma maneira de contornar tais valores inferiores limites, oferecendo...
Gostaria de saber se as classes de NPCs definidas por muitas reduções de um e reduções de Turing são iguais. Edit: Outra pergunta, são as reduções de Turing apenas colapsando as classes C e co-C para alguns C ou existe uma classe como existe um problema que não esteja em C ∪ c o - C sob redução de...
É fácil procurar em muitos livros didáticos as provas de redução de assunto e forte normalização do Sistema F; também, às vezes, existem definições do Sistema F com pares, onde (t, r) é um termo, não apenas uma codificação. A questão é: qual seria a referência para esse...
Em um gráfico, um conjunto independente é um subconjunto de vértices que não contém uma aresta como um subgrafo induzido. O problema de encontrar os maiores conjuntos independentes em um gráfico é uma questão algorítmica fundamental e difícil. Vamos considerar a questão mais geral de encontrar (o...