Este artigo propõe uma abordagem em duas fases para resolver o problema integrado de lot-sizing capacitado (CLSP) com flow shop híbrido (HFS). Constrói-se uma solução inicial explorando três heurísticas: relax-and-fix, LP-and-fix e gulosa. Em seguida, aprimora-se a solução inicial usando a heurística fix-and-optimize, que decompõe o MIP original em subproblemas menores, um por período. Experimentos numéricos mostram que combinar uma heurística gulosa com fix-and-optimize pode superar as alternativas, obtendo gaps menores para a maioria dos casos, mesmo para instâncias de grande porte.
{"title":"MIP-Heuristics for the Capacitated Lot-Sizing with Hybrid Flow Shop Integration","authors":"Diego M. Silva, G. Mateus","doi":"10.5753/etc.2023.230613","DOIUrl":"https://doi.org/10.5753/etc.2023.230613","url":null,"abstract":"Este artigo propõe uma abordagem em duas fases para resolver o problema integrado de lot-sizing capacitado (CLSP) com flow shop híbrido (HFS). Constrói-se uma solução inicial explorando três heurísticas: relax-and-fix, LP-and-fix e gulosa. Em seguida, aprimora-se a solução inicial usando a heurística fix-and-optimize, que decompõe o MIP original em subproblemas menores, um por período. Experimentos numéricos mostram que combinar uma heurística gulosa com fix-and-optimize pode superar as alternativas, obtendo gaps menores para a maioria dos casos, mesmo para instâncias de grande porte.","PeriodicalId":165974,"journal":{"name":"Anais do VIII Encontro de Teoria da Computação (ETC 2023)","volume":"103 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":"122797796","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}
Francisco F. L. Neto, Vagner Pedrotti, E. A. Hoshino
Problemas de roteamento de veículos com prêmios são problemas de otimização que visam maximizar lucros sem a necessidade de atender todos os clientes. Neste trabalho, avalia-se o uso de matheurísticas propostas para o problema da mochila com restrições de conflitos para a construção de soluções para duas variantes do problema de roteamento com prêmios.
{"title":"Matheurísticas para o problema de roteamento de veículos com prêmios","authors":"Francisco F. L. Neto, Vagner Pedrotti, E. A. Hoshino","doi":"10.5753/etc.2023.230071","DOIUrl":"https://doi.org/10.5753/etc.2023.230071","url":null,"abstract":"Problemas de roteamento de veículos com prêmios são problemas de otimização que visam maximizar lucros sem a necessidade de atender todos os clientes. Neste trabalho, avalia-se o uso de matheurísticas propostas para o problema da mochila com restrições de conflitos para a construção de soluções para duas variantes do problema de roteamento com prêmios.","PeriodicalId":165974,"journal":{"name":"Anais do VIII Encontro de Teoria da Computação (ETC 2023)","volume":"20 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":"134202399","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}
R. Praxedes, Teobaldo Bulhões, Anand Subramanian, Eduardo Uchoa
Neste trabalho, foi desenvolvida uma formulação matemática combinada a um método baseado no algoritmo de branch-cut-and-price (BCP) para dez variantes do problema de roteamento de veículos com coleta e entrega simultâneas (PRVCES), a fim de obter soluções ótimas para instâncias em aberto ou limites duais melhores. Todas essas variantes foram modeladas como um problema unificado, denominado Problema de Roteamento e Localização com Coleta e Entrega Simultâneas Heterogêneo e com Janelas de Tempo (PRL-CESHJT). Devido à inexistência de instâncias para o problema geral, experimentos computacionais foram realizados com instâncias para cada uma das variantes separadamente, sendo obtidos resultados bastante promissores.
{"title":"Uma abordagem exata unificada para um conjunto de variantes do problema de roteamento de veículos com coleta e entrega simultâneas","authors":"R. Praxedes, Teobaldo Bulhões, Anand Subramanian, Eduardo Uchoa","doi":"10.5753/etc.2023.230880","DOIUrl":"https://doi.org/10.5753/etc.2023.230880","url":null,"abstract":"Neste trabalho, foi desenvolvida uma formulação matemática combinada a um método baseado no algoritmo de branch-cut-and-price (BCP) para dez variantes do problema de roteamento de veículos com coleta e entrega simultâneas (PRVCES), a fim de obter soluções ótimas para instâncias em aberto ou limites duais melhores. Todas essas variantes foram modeladas como um problema unificado, denominado Problema de Roteamento e Localização com Coleta e Entrega Simultâneas Heterogêneo e com Janelas de Tempo (PRL-CESHJT). Devido à inexistência de instâncias para o problema geral, experimentos computacionais foram realizados com instâncias para cada uma das variantes separadamente, sendo obtidos resultados bastante promissores.","PeriodicalId":165974,"journal":{"name":"Anais do VIII Encontro de Teoria da Computação (ETC 2023)","volume":"72 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":"133041955","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}
Mariana M. F. da Cruz, C. M. Figueiredo, D. Sasaki, D. Castonguay
We investigate the total coloring of fullerene nanodiscs, a subclass of cubic planar graphs with girth 5 arising in Chemistry, motivated by a conjecture about the nonexistence of a Type 2 cubic graph of girth at least 5. We prove an auxiliary lemma which says that every central layer of a fullerene nanodisc is 4-total colorable, a necessary condition for the nanodisc to be Type 1, and we contribute by giving 4-total colorings for small fullerene nanodiscs, showing that these graphs are Type 1.
{"title":"On total coloring of small fullerene nanodiscs","authors":"Mariana M. F. da Cruz, C. M. Figueiredo, D. Sasaki, D. Castonguay","doi":"10.5753/etc.2023.230129","DOIUrl":"https://doi.org/10.5753/etc.2023.230129","url":null,"abstract":"We investigate the total coloring of fullerene nanodiscs, a subclass of cubic planar graphs with girth 5 arising in Chemistry, motivated by a conjecture about the nonexistence of a Type 2 cubic graph of girth at least 5. We prove an auxiliary lemma which says that every central layer of a fullerene nanodisc is 4-total colorable, a necessary condition for the nanodisc to be Type 1, and we contribute by giving 4-total colorings for small fullerene nanodiscs, showing that these graphs are Type 1.","PeriodicalId":165974,"journal":{"name":"Anais do VIII Encontro de Teoria da Computação (ETC 2023)","volume":"96 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":"133440703","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}
Estudamos o “2-neighbour bootstrap percolation” em grids n × n partindo de conjuntos inicialmente infectados de tamanho exatamente n + 1. Mostramos que o tempo mínimo de percolação para n ≥ 1, neste caso, é n − 1 caso n ≢ 3 (mod 4) e n − 2 caso n ≡ 3 (mod 4).
{"title":"Nota sobre o tempo mínimo de infecção em 2-neighbour bootstrap percolation em grids partindo de n + 1 vértices","authors":"F. Benevides, Matheus A. S. Pascoal","doi":"10.5753/etc.2023.230893","DOIUrl":"https://doi.org/10.5753/etc.2023.230893","url":null,"abstract":"Estudamos o “2-neighbour bootstrap percolation” em grids n × n partindo de conjuntos inicialmente infectados de tamanho exatamente n + 1. Mostramos que o tempo mínimo de percolação para n ≥ 1, neste caso, é n − 1 caso n ≢ 3 (mod 4) e n − 2 caso n ≡ 3 (mod 4).","PeriodicalId":165974,"journal":{"name":"Anais do VIII Encontro de Teoria da Computação (ETC 2023)","volume":"3 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":"121193097","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}
C. Carvalho, J. Costa, Ana Karolinna Maia, C. L. Sales
Sejam N uma rede sobre um digrafo D e x um (s, t)-fluxo viável em N. Dizemos que x é ℓ-divisível se ele pode ser decomposto em até ℓ fluxos caminhos. Neste artigo, consideramos o problema de obter uma decomposição em caminhos em digrafos arco-coloridos, de modo que a soma do número de cores dos caminhos seja mínima. Nós mostramos que, dado fluxo x em uma rede N sobre um digrafo arco-colorido e um inteiro k, é NP-completo decidir se há uma decomposição de x em caminhos, tal que a soma do número de cores dos caminhos seja no máximo k, e mostramos alguns casos para os quais isso pode ser feito em tempo polinomial.
{"title":"Decomposição de Fluxos em Digrafos Arco-Coloridos","authors":"C. Carvalho, J. Costa, Ana Karolinna Maia, C. L. Sales","doi":"10.5753/etc.2023.230750","DOIUrl":"https://doi.org/10.5753/etc.2023.230750","url":null,"abstract":"Sejam N uma rede sobre um digrafo D e x um (s, t)-fluxo viável em N. Dizemos que x é ℓ-divisível se ele pode ser decomposto em até ℓ fluxos caminhos. Neste artigo, consideramos o problema de obter uma decomposição em caminhos em digrafos arco-coloridos, de modo que a soma do número de cores dos caminhos seja mínima. Nós mostramos que, dado fluxo x em uma rede N sobre um digrafo arco-colorido e um inteiro k, é NP-completo decidir se há uma decomposição de x em caminhos, tal que a soma do número de cores dos caminhos seja no máximo k, e mostramos alguns casos para os quais isso pode ser feito em tempo polinomial.","PeriodicalId":165974,"journal":{"name":"Anais do VIII Encontro de Teoria da Computação (ETC 2023)","volume":"37 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":"124947363","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}
C. N. Lintzmayer, G. Mota, Lucas S. da Rocha, M. Sambinelli
A graph is locally irregular if any pair of adjacent vertices have distinct degrees. A locally irregular decomposition of a graph G is a decomposition of G into subgraphs that are locally irregular. We prove that any graph G can be decomposed into at most 2∆(G) − 1 locally irregular graphs, improving on the previous upper bound of 3∆(G)−2. We also show some results on subcubic and non-decomposable graphs.
{"title":"Some results on irregular decomposition of graphs","authors":"C. N. Lintzmayer, G. Mota, Lucas S. da Rocha, M. Sambinelli","doi":"10.5753/etc.2023.230304","DOIUrl":"https://doi.org/10.5753/etc.2023.230304","url":null,"abstract":"A graph is locally irregular if any pair of adjacent vertices have distinct degrees. A locally irregular decomposition of a graph G is a decomposition of G into subgraphs that are locally irregular. We prove that any graph G can be decomposed into at most 2∆(G) − 1 locally irregular graphs, improving on the previous upper bound of 3∆(G)−2. We also show some results on subcubic and non-decomposable graphs.","PeriodicalId":165974,"journal":{"name":"Anais do VIII Encontro de Teoria da Computação (ETC 2023)","volume":"3 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":"132223844","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}
O trabalho trata do problema do empacotamento de soma mínima com itens quadrados, em que uma lista de itens quadrados deve ser empacotada em recipientes 1 × 1, e o custo de empacotar cada item é igual ao índice do recipiente em que é empacotado. O problema tem aplicações na minimização do tempo médio de operações logísticas como corte e entrega de produtos. Nesse trabalho apresentamos um esquema de aproximação (PTAS) para o problema.
{"title":"PTAS para Problema do Empacotamento de Soma Mínima com Quadrados","authors":"Rachel V. Saraiva, Rafael C. S. Schouery","doi":"10.5753/etc.2023.230561","DOIUrl":"https://doi.org/10.5753/etc.2023.230561","url":null,"abstract":"O trabalho trata do problema do empacotamento de soma mínima com itens quadrados, em que uma lista de itens quadrados deve ser empacotada em recipientes 1 × 1, e o custo de empacotar cada item é igual ao índice do recipiente em que é empacotado. O problema tem aplicações na minimização do tempo médio de operações logísticas como corte e entrega de produtos. Nesse trabalho apresentamos um esquema de aproximação (PTAS) para o problema.","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":"129682146","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}
Márcia R. Cerioli, Rodrigo Fernandes Souto, Petrucio Viana
Um grafo G é cordal comparabilidade se é simultaneamente cordal e de comparabilidade, ou seja, todo ciclo em G de tamanho pelo menos 4 possui uma corda e G admite uma orientação transitiva de suas arestas. Por ser cordal, todo grafo cordal comparabilidade possui uma árvore característica. Provamos a inexistência de um limite superior para o grau máximo de árvores características dos grafos cordais comparabilidade. Mais especificamente, provamos que para todo n ≥ 3, existe um grafo cordal comparabilidade RSn tal que sua árvore característica é única e isomorfa a K1,n. Este resultado apresenta um contraste entre os grafos cordais comparabilidade e os grafos de intervalo, outra importante subclasse de grafos cordais, que sempre possuem uma árvore característica cujo grau máximo é menor ou igual a 2.
{"title":"As árvores características dos grafos cordais comparabilidade não possuem grau limitado","authors":"Márcia R. Cerioli, Rodrigo Fernandes Souto, Petrucio Viana","doi":"10.5753/etc.2023.230521","DOIUrl":"https://doi.org/10.5753/etc.2023.230521","url":null,"abstract":"Um grafo G é cordal comparabilidade se é simultaneamente cordal e de comparabilidade, ou seja, todo ciclo em G de tamanho pelo menos 4 possui uma corda e G admite uma orientação transitiva de suas arestas. Por ser cordal, todo grafo cordal comparabilidade possui uma árvore característica. Provamos a inexistência de um limite superior para o grau máximo de árvores características dos grafos cordais comparabilidade. Mais especificamente, provamos que para todo n ≥ 3, existe um grafo cordal comparabilidade RSn tal que sua árvore característica é única e isomorfa a K1,n. Este resultado apresenta um contraste entre os grafos cordais comparabilidade e os grafos de intervalo, outra importante subclasse de grafos cordais, que sempre possuem uma árvore característica cujo grau máximo é menor ou igual a 2.","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":"128455944","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}
O Problema da Árvore t-Spanner de Custo Mínimo, cuja entrada é um grafo simples G, ponderado em arestas, e um parâmetro t ≥ 1, consiste em determinar uma árvore geradora T de G de menor custo dentre aquelas onde a distância entre qualquer par de vértices i e j em T é no máximo t vezes o menor peso de um caminho entre i e j em G. Propomos uma formulação matemática que pode ser derivada pela projeção de uma formulação já existente. Implementamos ambos os modelos e comparamos seus desempenhos computacionais.
{"title":"Formulação matemática para o problema da árvore t-spanner de custo mínimo","authors":"G. H. D. Sousa, Manoel Campêlo","doi":"10.5753/etc.2023.230869","DOIUrl":"https://doi.org/10.5753/etc.2023.230869","url":null,"abstract":"O Problema da Árvore t-Spanner de Custo Mínimo, cuja entrada é um grafo simples G, ponderado em arestas, e um parâmetro t ≥ 1, consiste em determinar uma árvore geradora T de G de menor custo dentre aquelas onde a distância entre qualquer par de vértices i e j em T é no máximo t vezes o menor peso de um caminho entre i e j em G. Propomos uma formulação matemática que pode ser derivada pela projeção de uma formulação já existente. Implementamos ambos os modelos e comparamos seus desempenhos computacionais.","PeriodicalId":165974,"journal":{"name":"Anais do VIII Encontro de Teoria da Computação (ETC 2023)","volume":"71 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":"127405192","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}