Sou um estudioso de ciência da computação e estou sendo solicitado a escrever um artigo que envolva fatoração de número inteiro. Como resultado, estou tendo que analisar o algoritmo de Shor em computadores quânticos. Para os outros algoritmos, consegui encontrar equações específicas para calcular...
Seguindo a resposta de vonbrand, quero escrever um pequeno documento sobre teoremas mestres mais fortes para nossos alunos, um dos quais é o teorema de Akra-Bazzi. Copiei o teorema do trabalho deles [1] e encontrei - além de uma pequena confusão notacional² - o seguinte problema. Os autores exigem...
Um vídeo do YouTube que eu estava assistindo explicou as diferenças entre programação imperativa e funcional, demonstrando como os números de 1para 10são resumidos em Java e em Haskell, respectivamente. Em Java, você deve declarar explicitamente cada etapa e atribuir o resultado de cada etapa a...
Há muito tempo que estou tentando encontrar uma construção para poder demonstrar formalmente que um PDA determinístico está fechado sob complementação. No entanto, acontece que toda idéia que recebi tem algo que no final não se encaixa. Você poderia me ajudar? O principal problema acontece com os...
Recentemente, estou lendo artigos sobre dicotomia . Não entendo que condição pode ser chamada de dicotomia ? Qual é o significado de "uma pergunta está em P ou em NP - completa "? (suponha P NP )≠≠\neq Por exemplo, eu conheço o teorema da dicotomia de Schaefer, no qual é dada uma dicotomia sobre...
Estou aprendendo sobre análise assintótica e vi algumas complexidades de aparência exótica vivendo entre outras comuns. Por exemplo, "log log n" é estritamente entre 1 e log n. Isso me faz pensar se sempre podemos encontrar complexidades entre os outros dois. Especificamente, para quaisquer...
Como existe um cálculo lambda sem tipo e um cálculo lambda com tipo simples (como descrito, por exemplo, no livro Tipos e linguagens de programação de Benjamin Pierce), existe uma lógica combinatória de tipo simples? Por exemplo, parece que os tipos naturais para os combinadores S, K e eu...
Aqui está uma pergunta talvez ingênua que me formigou: Existe algum Ω(n−−√3)Ω(n3)\Omega(\sqrt[3]{n})limite inferior assintótico para endereçar memória arbitrariamente grande aleatoriamente? Minha causa de crença é que o caminho mais curto para qualquer memória armazenada fisicamente deve ser...
Sabemos que P = NP implica NP = coNP. A implicação inversa é válida? NP igual coNP implica que P é igual a NP? Se não, por que não? Pesquisei no Google, mas não encontrei a
Como estudei, decidir a regularidade das linguagens sem contexto é indecidível. No entanto, podemos testar a regularidade usando o teorema de Myhill-Nerode, que fornece uma condição necessária e suficiente. Portanto, o problema deve ser decidido. Onde está meu
Suponha que eu queira otimizar uma função unimodal definida em algum intervalo real. Eu posso usar o conhecido algoritmo descrito na Wikipedia sob o nome de pesquisa ternária . No caso do algoritmo que reduz repetidamente pela metade os intervalos, é comum reservar o termo pesquisa binária para...
Entendo que a Heurística 3-Opt para solucionar o problema do Vendedor ambulante envolve a remoção de três arestas de um gráfico e a adição de mais três para recompletar o passeio. No entanto, já vi muitos trabalhos que mencionam que, quando três arestas são removidas, restam apenas duas maneiras...
Recentemente, tenho lidado com um problema que me levou às seguintes perguntas: Existe um bom algoritmo para enumerar todas as correspondências máximas / perfeitas em um gráfico geral? Existe um bom algoritmo para encontrar todas as correspondências máximas / perfeitas em um gráfico geral? Esses...
Seja , onde e para todos os .L={an∣n≥0}L={an∣n≥0}L = \{a^n \mid n \ge 0\}a0=ϵa0=ϵa^0 = \epsilonan=an−1aan=an−1aa^n = a^{n-1}an≥1n≥1n \ge 1 Assim consiste em sequências de de todos os comprimentos, incluindo uma sequência de comprimento . Deixe ser qualquer subconjunto infinito de . Preciso mostrar...
Seja um DAG. Sabemos que alguns nós em são "ruins", enquanto outros são "bons"; um descendente de um nó ruim é ruim enquanto os ancestrais de um nó bom são bons. Também sabemos que nós ruins têm um elemento mínimo exclusivo em que gostaríamos de encontrar consultando o menor número possível de nós...
Periodicamente me deparei com frases como "A variante de Winograd [20] deste algoritmo, cuja complexidade assintótica também é é considerada" (em https://www.cise.ufl.edu/~sahni/papers/strassen.pdf )O (n2,81)O(n2,81)O(n^{2.81}) Entendo intuitivamente como terminamos com complexidades como e...
Eu estava lendo o teorema das quatro cores e me pergunto se existe alguma aplicação prática dele. (Não acho que separar o mapa em quatro cores diferentes possa ser considerado um aplicativo.) Eu tentei pesquisar no Google por aplicativos, mas não consegui encontrar
No cálculo lambda puro, temos o conjunto de termos definido indutivamente (a gramática): e : : = x | X x . e ∣e1e2e:: =x∣λx.e∣e1e2e::= x \mid \lambda x . e \mid e_1 e_2 Sob a estratégia de avaliação de valor por chamada, temos as regras de inferência para redução beta e regras sobre como avaliar...
1) Existe um algoritmo melhor que o ingênuo O (| E |. | V |) para calcular o número de descendentes de cada vértice em um DAG? 2) Existe um algoritmo online para fazê-lo, assumindo que os nós sejam adicionados um por um e se conectem a um subconjunto não vazio dos nós existentes? Contexto: Estou...
O seguinte problema foi estudado antes? Se sim, quais abordagens / algoritmos foram desenvolvidos para resolvê-lo? Problema ("Problema na altura máxima de empilhamento") Dado polígonos, encontre seu arranjo estável e sem sobreposição que maximize sua altura de empilhamento em um piso fixo sob...