In this paper we review branch and bound-based algorithms proposed for the exact solution of the maximum clique problem and describe them under a unifying conceptual framework. As a proof of concept, we actually implemented eight of these algorithms as parametrized versions of one single general branch and bound algorithm.
The purpose of the present work is double folded. In the one hand, the implementation of several different algorithms under the same computational environment allows for a more precise assessment of their comparative performance at the experimental level. On the other hand we see the unifying conceptual framework provided by such description as a valuable step toward a more fine grained analysis of these algorithms.
Este artigo relata a concepção e as atividades de um projeto de extensão nascido em 2014 em um câmpus da Universidade Federal do Paraná no interior do estado. O projeto originou-se da carência de iniciativas de divulgação e popularização de ciência e tecnologia na cidade de Jandaia do Sul e no Vale do Ivaí. Desde seu início, foram alcançadas aproximadamente 22000 pessoas (fisicamente), 6500 visualizações em vídeos, 830 seguidores e 500 inscritos por meio de suas redes sociais, 18 escolas, colégios e instituições comunitárias além de dois núcleos regionais de educação. Fizeram parte de sua equipe 30 estudantes dos cinco cursos de graduação do câmpus, entre voluntários e bolsistas, e 11 professores.
A população brasileira, nos últimos anos, tendo maior contato com máquinas computacionais, precisa compreender o funcionamento dessas máquinas, pois, isso se torna importante para facilitar tarefas do cotidiano como, por exemplo, a aquisição de um computador que atenda às necessidades do indivíduo. Entretanto, para tal, faz-se necessário aprender conceitos da Arquitetura de Computadores, relacionados às características e funcionalidades de hardware de uma máquina computacional, compreendendo as diferenças fundamentais entre componentes físicos e reconhecendo sua utilidade. Tradicionalmente, o ensino de Arquitetura de Computadores é realizado por meio de cursos de graduação ou em cursos técnicos, onde o público-alvo almeja qualificação profissional. Entretanto, raras são as iniciativas de ensino de Arquitetura de Computadores para públicos não iniciados em Computação e sem interesse técnico. O presente trabalho apresenta uma abordagem metodológica para o ensino de Arquitetura de Computadores em ambientes não formais para públicos não iniciados em Computação. Essa abordagem metodológica utiliza-se do Modelo de Rotação por Estações, da Gamificação e da Taxonomia dos Objetivos Educacionais. O público-alvo, deste trabalho, foi de crianças em idade escolar com faixa etária entre 11 a 14 anos. A análise das atividades realizadas demonstrou que a abordagem metodológica foi satisfatória. Os (as) participantes conseguiram atingir os níveis de conhecimento e compreensão do domínio cognitivo e os níveis de recepção, resposta e valorização do domínio afetivo, ambos da Taxonomia dos Objetivos Educacionais. A realização do pré-teste e do pós-teste validam a avaliação realizada pela taxonomia, destacando ganhos em acertos, após a aplicação da abordagem metodológica, de 33 pontos percentuais, em média.
Grupo de Pesquisa em Tecnologia e Produção tem por objetivo congregar a capacidade intelectual dos docentes/pesquisadores dos cursos ofertados no recém criado Campus da Universidade Federal do Paraná (UFPR) em Jandaia do Sul (PR), centrado em áreas de pesquisa comuns para o desenvolvimento de temas regionais e nacionais. Dentre as linhas de pesquisa do grupo, a linha Educação em Ciência e Tecnologia tem por objetivo fomentar projetos de ensino, pesquisa e extensão vinculados aos cursos de Licenciatura em Ciências Exatas e Licenciatura em Computação.
Dentre os múltiplos esforços para ampliação e interiorização do ensino superior público no Brasil, a Universidade Federal do Paraná (UFPR) criou um campus avançado na cidade de Jandaia do Sul (PR). Em 2014, o curso de Licenciatura em Computação (LC) iniciou suas atividades, passando por uma reformulação curricular, vigente desde 2016, obtendo bons resultados em avaliações institucionais (MEC) e estudantis (ENADE). Este texto apresenta a história dos sete primeiros anos do curso de LC da UFPR em Jandaia do Sul, descrevendo sobre sua concepção, reformulação pedagógica, estrutura física, informações sobre as possibilidades formativas discentes, desafios e dificuldades enfrentadas, os esforços para saná-los e os méritos alcançados.
We perform an experimental analysis on five branch and bound based algorithms for the Maximum Clique problem. The goal is to evaluate the effectiveness of a certain heuristic for the bounding function. The analysis is done through the usual statistical hypothesis testing framework. The method shows itself powerful in discriminating the cases where the heuristic is effective and those where it is not.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.