Ewerton Teixeira, Anand Subramanian, Hugo Harry Kramer
Este trabalho aborda o problema de flow shop com bloqueio para minimização do makespan. Um algoritmo populacional que utiliza um operador ruin-and-recreate juntamente de uma busca local baseada em Variable Neighbourhood Descent é proposto para o problema. Experimentos computacionais foram realizados em 120 instâncias de benchmark e o método proposto foi capaz de obter soluções competitivas quando comparadas com a literatura.
{"title":"Um algoritmo populacional para o problema de flow shop com bloqueio e minimização do makespan","authors":"Ewerton Teixeira, Anand Subramanian, Hugo Harry Kramer","doi":"10.5753/etc.2023.230720","DOIUrl":"https://doi.org/10.5753/etc.2023.230720","url":null,"abstract":"Este trabalho aborda o problema de flow shop com bloqueio para minimização do makespan. Um algoritmo populacional que utiliza um operador ruin-and-recreate juntamente de uma busca local baseada em Variable Neighbourhood Descent é proposto para o problema. Experimentos computacionais foram realizados em 120 instâncias de benchmark e o método proposto foi capaz de obter soluções competitivas quando comparadas com a literatura.","PeriodicalId":165974,"journal":{"name":"Anais do VIII Encontro de Teoria da Computação (ETC 2023)","volume":"237 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122972096","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Este trabalho aborda o problema de minimizar o tempo de conclusão em um escalonamento para uma máquina, considerando datas de liberação e tempos de configuração dependentes da sequência. Uma abordagem heurística híbrida que combina iterated local search e beam search é proposta. Para reduzir a complexidade computacional do algoritmo uma estratégia de avaliação eficiente de movimentos é utilizada durante a busca local. Foram realizados experimentos em 1800 instâncias da literatura, demonstrando que o algoritmo é capaz de obter soluções de alta qualidade em comparação com métodos existentes.
{"title":"Uma heurística híbrida para o problema de escalonamento de tarefas em uma máquina com tempos de setup dependentes da sequência e datas de liberação","authors":"R. Morais, Teobaldo Bulhões, Anand Subramanian","doi":"10.5753/etc.2023.230794","DOIUrl":"https://doi.org/10.5753/etc.2023.230794","url":null,"abstract":"Este trabalho aborda o problema de minimizar o tempo de conclusão em um escalonamento para uma máquina, considerando datas de liberação e tempos de configuração dependentes da sequência. Uma abordagem heurística híbrida que combina iterated local search e beam search é proposta. Para reduzir a complexidade computacional do algoritmo uma estratégia de avaliação eficiente de movimentos é utilizada durante a busca local. Foram realizados experimentos em 1800 instâncias da literatura, demonstrando que o algoritmo é capaz de obter soluções de alta qualidade em comparação com métodos existentes.","PeriodicalId":165974,"journal":{"name":"Anais do VIII Encontro de Teoria da Computação (ETC 2023)","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117047800","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
No problema de localização de instalações, recebemos um espaço métrico contendo um conjunto de clientes e um conjunto de localizações, cada uma associada a um custo de abertura de instalação. O problema é escolher um subconjunto de localizações para abrir instalações de forma a minimizar o custo de abertura mais o custo de conectar cada cliente a alguma instalação aberta. Na versão balanceada do problema, cada cliente pode ser vermelho ou azul e só consideramos soluções em que o conjunto de clientes associado a cada instalação tenha tantos clientes vermelhos quantos azuis. Neste resumo, discutimos estratégias para construir algoritmos de aproximação para o problema utilizando arredondamento de PL.
{"title":"Arredondamento de PL para o Problema de Localização de Instalações Balanceado","authors":"L. L. C. Pedrosa","doi":"10.5753/etc.2023.230881","DOIUrl":"https://doi.org/10.5753/etc.2023.230881","url":null,"abstract":"No problema de localização de instalações, recebemos um espaço métrico contendo um conjunto de clientes e um conjunto de localizações, cada uma associada a um custo de abertura de instalação. O problema é escolher um subconjunto de localizações para abrir instalações de forma a minimizar o custo de abertura mais o custo de conectar cada cliente a alguma instalação aberta. Na versão balanceada do problema, cada cliente pode ser vermelho ou azul e só consideramos soluções em que o conjunto de clientes associado a cada instalação tenha tantos clientes vermelhos quantos azuis. Neste resumo, discutimos estratégias para construir algoritmos de aproximação para o problema utilizando arredondamento de PL.","PeriodicalId":165974,"journal":{"name":"Anais do VIII Encontro de Teoria da Computação (ETC 2023)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114706914","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Wanderson Lomenha, Diego Nicodemos, J. P. F. Souza
Grafos fulerenes são grafos cúbicos, planares, 3-conexos com cintura de tamanho 5. Uma coloração c: V (G) → {1, . . . , k} é uma coloração distância-2 se c(u) ≠ c(v) para todo u, v ∈ V (G) tal que dist(u, v) ≤ 2, onde dist(u, v) denota a distância usual entre u e v. Definimos χ2(G) como sendo o menor valor k para o qual existe uma coloração distância-2. Neste trabalho, provamos que χ2(G) = 5 para uma subclasse de grafos fulerenes.
富勒烯图是三连通的,平面的,3连通的图,长度为5。着色c: V (G)→{1,…对于所有u, v∈v (G),当c(u)≠c(v)时,k}为距离着色-2,使dist(u, v)≤2,其中dist(u, v)表示u与v之间的通常距离,我们将χ2(G)定义为存在距离着色-2的最小k值。在这项工作中,我们证明了χ2(G) = 5对于一个子类富勒烯图。
{"title":"5-coloração distância-2 em fulerenes de cintura 5","authors":"Wanderson Lomenha, Diego Nicodemos, J. P. F. Souza","doi":"10.5753/etc.2023.230663","DOIUrl":"https://doi.org/10.5753/etc.2023.230663","url":null,"abstract":"Grafos fulerenes são grafos cúbicos, planares, 3-conexos com cintura de tamanho 5. Uma coloração c: V (G) → {1, . . . , k} é uma coloração distância-2 se c(u) ≠ c(v) para todo u, v ∈ V (G) tal que dist(u, v) ≤ 2, onde dist(u, v) denota a distância usual entre u e v. Definimos χ2(G) como sendo o menor valor k para o qual existe uma coloração distância-2. Neste trabalho, provamos que χ2(G) = 5 para uma subclasse de grafos fulerenes.","PeriodicalId":165974,"journal":{"name":"Anais do VIII Encontro de Teoria da Computação (ETC 2023)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129495374","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Maycon Sambinelli, Fabíola Santos Carvalho de Souza
Uma coloração aditiva de um grafo G = (V,E) é uma função c : V → {1, 2, . . . , k} tal que, para toda aresta uv ∈ E, temos que Sc(u) ≠ Sc(v), onde Sc(u) = ∑v∈NG(u) c(v). O número da sorte de um grafo G, denotado por η(G), é definido como o menor valor de k tal que c seja uma coloração aditiva. Neste trabalho, provamos que se G é um grafo exoplanar livre de triângulos, então η(G) ≤ 6. Ademais, determinamos o número da sorte para os Snarks de Loupekine.
{"title":"Número da sorte e grafos exoplanares livres de triângulos","authors":"Maycon Sambinelli, Fabíola Santos Carvalho de Souza","doi":"10.5753/etc.2023.229860","DOIUrl":"https://doi.org/10.5753/etc.2023.229860","url":null,"abstract":"Uma coloração aditiva de um grafo G = (V,E) é uma função c : V → {1, 2, . . . , k} tal que, para toda aresta uv ∈ E, temos que Sc(u) ≠ Sc(v), onde Sc(u) = ∑v∈NG(u) c(v). O número da sorte de um grafo G, denotado por η(G), é definido como o menor valor de k tal que c seja uma coloração aditiva. Neste trabalho, provamos que se G é um grafo exoplanar livre de triângulos, então η(G) ≤ 6. Ademais, determinamos o número da sorte para os Snarks de Loupekine.","PeriodicalId":165974,"journal":{"name":"Anais do VIII Encontro de Teoria da Computação (ETC 2023)","volume":"216 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114982265","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A classificação dos grafos split quanto à coloração de arestas é um problema em aberto há décadas. Recentemente, utilizamos a partição em subclasses provida pelo PROBLEMA DA t-ADMISSIBILIDADE para grafos split e classificamos grafos split com σ(G) = 2, restando, portanto, classificar os grafos com σ = 3. Neste trabalho, damos um novo passo em direção a esta classificação considerando grafos split com σ = 3 obtidos a partir da adição de um vértice de grau 2 a um grafo split com σ(G) = 2, grafos esses que chamamos de grafos split minimamente 3-admissíveis. Além disso, apresentamos um algoritmo eficiente para a coloração dos grafos que são Classe 1.
{"title":"Novos resultados sobre coloração de arestas em grafos split: grafos split minimamente 3-admissíveis","authors":"F. Couto, Diego Amaro Ferraz, Sulamita Klein","doi":"10.5753/etc.2023.229977","DOIUrl":"https://doi.org/10.5753/etc.2023.229977","url":null,"abstract":"A classificação dos grafos split quanto à coloração de arestas é um problema em aberto há décadas. Recentemente, utilizamos a partição em subclasses provida pelo PROBLEMA DA t-ADMISSIBILIDADE para grafos split e classificamos grafos split com σ(G) = 2, restando, portanto, classificar os grafos com σ = 3. Neste trabalho, damos um novo passo em direção a esta classificação considerando grafos split com σ = 3 obtidos a partir da adição de um vértice de grau 2 a um grafo split com σ(G) = 2, grafos esses que chamamos de grafos split minimamente 3-admissíveis. Além disso, apresentamos um algoritmo eficiente para a coloração dos grafos que são Classe 1.","PeriodicalId":165974,"journal":{"name":"Anais do VIII Encontro de Teoria da Computação (ETC 2023)","volume":"272 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122471638","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Renata Mendes, Anand Subramanian, Bruno Bruck, Teobaldo Bulhões
Este trabalho é fruto da colaboração com uma empresa brasileira de trens que faz uso de um único trilho em sua rede ferroviária, onde trens podem trafegar por ambos os sentidos. Trata-se de um problema de escalonamento de trens, em que o objetivo não é apenas gerar uma grade horária diária para a linha ferroviária, de modo a melhor satisfazer os usuários da rede de transporte, mas também atribuir rotas predeterminadas para tais veículos. Para isso, foi proposta uma formulação matemática a fim de retratar o problema de maneira eficaz. O modelo desenvolvido se demonstrou capaz de encontrar soluções viáveis, bem como valores ótimos para instâncias de pequena e média dimensão.
{"title":"Um Modelo de Otimização para um Problema Real de Programação de Horários de Trens Urbanos","authors":"Renata Mendes, Anand Subramanian, Bruno Bruck, Teobaldo Bulhões","doi":"10.5753/etc.2023.230687","DOIUrl":"https://doi.org/10.5753/etc.2023.230687","url":null,"abstract":"Este trabalho é fruto da colaboração com uma empresa brasileira de trens que faz uso de um único trilho em sua rede ferroviária, onde trens podem trafegar por ambos os sentidos. Trata-se de um problema de escalonamento de trens, em que o objetivo não é apenas gerar uma grade horária diária para a linha ferroviária, de modo a melhor satisfazer os usuários da rede de transporte, mas também atribuir rotas predeterminadas para tais veículos. Para isso, foi proposta uma formulação matemática a fim de retratar o problema de maneira eficaz. O modelo desenvolvido se demonstrou capaz de encontrar soluções viáveis, bem como valores ótimos para instâncias de pequena e média dimensão.","PeriodicalId":165974,"journal":{"name":"Anais do VIII Encontro de Teoria da Computação (ETC 2023)","volume":"199 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115883782","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Taxonomy of problems in Computer Science has been typically done with formulations as decision problems. This approach is inadequate for many search problems of interest when the structure of the instance in itself guarantees the existence of a positive certificate. In this paper, we provide an introduction to the class of problems PLS and its connections with finding Pure Nash Equilibrium in Congestion Games.
{"title":"An Introduction to the Complexity Class of Pure Nash Equilibrium","authors":"Victor Hugo Wirz, Pedro Nuno Moura","doi":"10.5753/etc.2023.229527","DOIUrl":"https://doi.org/10.5753/etc.2023.229527","url":null,"abstract":"Taxonomy of problems in Computer Science has been typically done with formulations as decision problems. This approach is inadequate for many search problems of interest when the structure of the instance in itself guarantees the existence of a positive certificate. In this paper, we provide an introduction to the class of problems PLS and its connections with finding Pure Nash Equilibrium in Congestion Games.","PeriodicalId":165974,"journal":{"name":"Anais do VIII Encontro de Teoria da Computação (ETC 2023)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114296031","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Seja G = G(n, p) o grafo aleatório binomial. Provamos que se p » (ln n/n)1/2, então com alta probabilidade toda aresta-coloração própria de G admite uma cobertura de E(G) por O(n) caminhos multicoloridos, em que uma cópia de um grafo é dita multicolorida se todas as suas arestas possuem cores distintas.
{"title":"Cobertura de grafos aleatórios por caminhos multicoloridos","authors":"Antônio Kaique, G. O. Mota, Tássio Naia","doi":"10.5753/etc.2023.230768","DOIUrl":"https://doi.org/10.5753/etc.2023.230768","url":null,"abstract":"Seja G = G(n, p) o grafo aleatório binomial. Provamos que se p » (ln n/n)1/2, então com alta probabilidade toda aresta-coloração própria de G admite uma cobertura de E(G) por O(n) caminhos multicoloridos, em que uma cópia de um grafo é dita multicolorida se todas as suas arestas possuem cores distintas.","PeriodicalId":165974,"journal":{"name":"Anais do VIII Encontro de Teoria da Computação (ETC 2023)","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115658360","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
No problema de empacotamento de círculos em linha, é dada uma lista de círculos que devem ser dispostos lado a lado sobre uma linha horizontal, de forma que cada círculo toque a linha somente em seu ponto mais baixo. O objetivo é minimizar a distância entre os pontos mais à esquerda e mais à direita dos círculos que definem os extremos do empacotamento. Em 2018, [Dürr et al. 2018] mostraram um QPTAS para o caso em que os itens são triângulos retângulos isósceles. Neste texto, apresentamos uma adaptação desse QPTAS para o problema de empacotamento de círculos em linha.
在内联圆包装问题中,给出了一个圆的列表,这些圆必须在水平线上并排排列,以便每个圆只在直线的最低点接触直线。目标是最小化定义包装端点的圆的最左和最右点之间的距离。2018年,[durr et al. 2018]给出了项目为等边直角三角形的QPTAS。在本文中,我们提出了一种适用于内联圆填充问题的QPTAS。
{"title":"Um QPTAS para o Problema de Empacotamento de Círculos em Linha","authors":"Elisa Dell'arriva, F. K. Miyazawa","doi":"10.5753/etc.2023.230684","DOIUrl":"https://doi.org/10.5753/etc.2023.230684","url":null,"abstract":"No problema de empacotamento de círculos em linha, é dada uma lista de círculos que devem ser dispostos lado a lado sobre uma linha horizontal, de forma que cada círculo toque a linha somente em seu ponto mais baixo. O objetivo é minimizar a distância entre os pontos mais à esquerda e mais à direita dos círculos que definem os extremos do empacotamento. Em 2018, [Dürr et al. 2018] mostraram um QPTAS para o caso em que os itens são triângulos retângulos isósceles. Neste texto, apresentamos uma adaptação desse QPTAS para o problema de empacotamento de círculos em linha.","PeriodicalId":165974,"journal":{"name":"Anais do VIII Encontro de Teoria da Computação (ETC 2023)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129801206","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}