Estou estudando diferentes abordagens para a definição de computação com sistemas dinâmicos contínuos. Eu tenho tentado encontrar uma boa introdução à teoria dos "sistemas de transição de Estado", mas não consegui. Alguém conhece uma introdução moderna ao tópico? De particular interesse seria algo...
Estou fazendo uma tese de pós-graduação sobre a comprovação da correção do programa para multiplicar 2 matrizes usando a lógica Hoare. Para fazer isso, preciso gerar o loop invariável para aninhado para este programa: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end...
Atualmente, estou analisando os potenciais da computação em nuvem em relação à eficiência energética e à TI verde. Em conexão com esta revisão, estou examinando as técnicas para aumentar a eficiência energética em data centers (computação), hardware, redes e dispositivos de...
Muitas áreas do mundo sofrem conflitos entre dois grupos (geralmente étnicos ou religiosos). Para o propósito desta pergunta, suponho que a maioria das pessoas de ambos os lados queira viver em paz, mas há poucos extremistas que incitam ao ódio e à violência. O objetivo desta pergunta é encontrar...
Como o novo semestre começa em breve, estou interessado em pesquisas sobre o ensino de cursos introdutórios de programação. Gostaria de melhorar meu curso universitário e estou procurando trabalhos científicos sobre esse assunto. Uma tendência que eu vi é que alguns estudantes (um grupo menor)...
A maioria dos exemplos clássicos de algoritmos de programação dinâmica possui tempos de execução como ou . Existem exemplos naturais com um tempo de execução ?nnnn2n2n^2O ( n logn )O(nregistron)O(n \log
Estive pesquisando referências no google scholar e reduzi a primeira menção para algo em torno de 1963 com um tremor muito estranho em 1949. Então, eu estou tentando rastrear o artigo original, introduzindo gráficos de intervalo para citação, mas tem sido bastante elusivo até...
Se me for dado um gráfico que forma uma árvore, estou interessado em encontrar um vértice que maximize a distância mínima a qualquer folha. Estou certo de que esse problema já foi estudado antes. Alguém sabe o nome deste problema ou um algoritmo para
Para minha tese, criei uma abordagem de desenvolvimento (que consiste em esquemas, um modelo de aplicativo e código de protótipo) que deve facilitar o desenvolvimento e a adaptação de aplicativos para uma plataforma específica. Eu conduzi entrevistas com desenvolvedores dessa plataforma para...
Para minha tese de bacharelado, considero a classe de idiomas reconhecida pelos DFAs simétricos, ou seja, autômatos finitos determinísticos (completos) que atendem à seguinte condição: Seja um DFA completo sobre o alfabeto . Se, para cada e cada transição em , há uma transição em , chamamos uma...
Em alguns lugares diferentes ( http://www.ams.org/journals/mcom/2004-73-246/S0025-5718-03-01539-4/S0025-5718-03-01539-4.pdf e https:
3-PARTITION é fortemente NP-completo , isto é, permanece NP-completo mesmo se a entrada for dada como unária. Estou pesquisando dois ou três exemplos de problemas não numéricos (possivelmente bem conhecidos) que provaram ser NP-completos usando uma redução de 3-PARTITION (e a redução obviamente...
Eu ouvi aqui que o problema ciclo hamiltoniano é polinomial em gráficos de treewidth limitada. Estou interessado em exemplos / referências a diferentes problemas que são essencialmente difíceis, mas que possuem complexidade polinomial em gráficos de largura de árvore limitada....
Estou bastante confuso sobre a relação exata entre a expansão de um gráfico e sua condutância. Minha primeira pergunta é: Alguém poderia me indicar uma referência que discuta essas duas noções? (Encontrei várias notas de aula sobre tópicos relacionados, mas estes parecem se concentrar tanto na...
Fechado . Esta questão precisa ser mais focada . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela se concentre apenas em um problema editando esta postagem . Fechado há 5 anos . Quais problemas...
Diz-se que um gráfico está conectado em se não tiver cortes de vértices (ou seja, pelo menos três vértices devem ser excluídos para desconectar o gráfico). Até onde eu sei, é possível determinar se um gráfico simples é conectado em tempo (exemplo:
Minhas árvores estão enraizadas e têm no máximo dois filhos em cada vértice. Preciso de referências que me ajudem a resolver uma ou todas as perguntas abaixo: Quantas classes de isomorfismo de árvores com n vértices existem? Quais são os algoritmos clássicos para decidir se duas árvores dadas são...
Alguém conseguiu implementar ou projetar um sistema de tipos que combina o tipo de estado (tipos lineares) e os tipos de efeito (por exemplo, Koka
Estou pensando em um problema, inspirado por conhecer um professor de língua estrangeira de nível iniciante no Goethe-Institut que aprendeu os cinco idiomas mais comuns falados pelos alunos para se comunicar com o maior número possível de alunos. Considere uma população finita de pessoas, cada uma...
Para o meu projeto da feira de ciências, implementei uma otimização na rotina de classificação do Python. A idéia é mover as verificações de segurança que precisam ser realizadas durante cada comparação, por exemplo, verificações de tipo e verificações de largura de caracteres, fora do loop de...