{"title":"Coloração equilibrada de grafos n-Star-Clique","authors":"M. Guedes, V. Santos","doi":"10.5753/etc.2019.6393","DOIUrl":"https://doi.org/10.5753/etc.2019.6393","url":null,"abstract":"Nesse artigo investigamos o problema de coloração equilibrada para grafos unipolares, uma superclasse de grafos split. Em particular, apresentamos um algoritmo baseado em fluxo máximo que soluciona esse problema em tempo polinomial, generalizando o resultado previamente conhecido para grafos split.","PeriodicalId":315906,"journal":{"name":"Anais do Encontro de Teoria da Computação (ETC)","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114215206","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}
Flavia Bonomo, Fabiano Oliveira, Moysés S. Sampaio, Jayme Szwarcfiter
{"title":"Reconhecimento de Grafos Fino de Precedência","authors":"Flavia Bonomo, Fabiano Oliveira, Moysés S. Sampaio, Jayme Szwarcfiter","doi":"10.5753/etc.2019.6396","DOIUrl":"https://doi.org/10.5753/etc.2019.6396","url":null,"abstract":"The class of k-thin graphs have recently been introduced generalizing interval graphs. The complexity of the recognition of k-thin is open, even for fixed k 1. We introduce a subclass of the k-thin graphs, called precedence k-thin graphs, presenting an efficient recognition algorithm based on PQ trees.","PeriodicalId":315906,"journal":{"name":"Anais do Encontro de Teoria da Computação (ETC)","volume":"333 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127575655","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}
{"title":"Aspectos de complexidade parametrizada e problemas análogos em problemas de lista coloração de grafos e suas variações","authors":"S. Gama, Rosiane de Freitas, U. Souza","doi":"10.5753/etc.2019.6402","DOIUrl":"https://doi.org/10.5753/etc.2019.6402","url":null,"abstract":"Lista-coloração é uma generalização do problema clássico de coloração de vértices em grafos. Tal problema possui algumas variações, dentre elas a coloração. Neste trabalho, uma redutibilidade do problema da lista coloração para a coloração e pré-coloração estendida é apresentada, para melhor se prover uma análise da coloração sob o enfoque da complexidade parametrizada, onde a mesma é FPT quando parametrizada pela cobertura de vértices e listas de cores. É apresentada também a prova de corretude de um algoritmo polinomial, dado na literatura, para coloração em grafos bipartidos completos.","PeriodicalId":315906,"journal":{"name":"Anais do Encontro de Teoria da Computação (ETC)","volume":"119 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134508363","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. Patrão, L. Kowada, D. Castonguay, A. Ribeiro, C. Figueiredo
{"title":"Some exact values for the diameter in Cayley graph Hl,p","authors":"C. Patrão, L. Kowada, D. Castonguay, A. Ribeiro, C. Figueiredo","doi":"10.5753/etc.2019.6395","DOIUrl":"https://doi.org/10.5753/etc.2019.6395","url":null,"abstract":"The family of graphs H,p has been defined in the context of edge partitions. The established properties such as vertex transitivity and low diameter suggest this family as a good topology for the design of interconnection networks. The vertices of the graphH p are the tuples with values between 0 and p1, such that the sum of the values is a multiple of p, and there is an edge between two vertices, if the two corresponding tuples have two pairs of entries whose values differ by one unit. In order to work towards the diameter, the difference between an upper and a lower bounds is established to be at most and we present subfamilies of graphs H p such that, for several values of and p, the bounds are tight.","PeriodicalId":315906,"journal":{"name":"Anais do Encontro de Teoria da Computação (ETC)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133773526","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 J. M. Silva, F. K. Miyazawa, R. C. S. Schouery
{"title":"Jogos de Transporte Sequenciais⇤","authors":"Francisco J. M. Silva, F. K. Miyazawa, R. C. S. Schouery","doi":"10.5753/etc.2018.3151","DOIUrl":"https://doi.org/10.5753/etc.2018.3151","url":null,"abstract":"Neste artigo, consideramos um jogo de transporte onde todos os jogadores querem ser transportados a um destino em comum o mais rápido possível, e para isso eles devem escolher um dentre os õnibus disponíveis. Apresentamos limitantes para o Preço da Anarquia Sequencial considerando duas funções sociais, para ambas instâncias métricas e não-métricas.","PeriodicalId":315906,"journal":{"name":"Anais do Encontro de Teoria da Computação (ETC)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122993416","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}
{"title":"Método de pontos interiores para estimar os parâmetros de um modelo probabilístico usando o corpus Thyco Brahe","authors":"Esther Sofía Mamián López, A. R. L. Oliveira","doi":"10.5753/ETC.2018.3154","DOIUrl":"https://doi.org/10.5753/ETC.2018.3154","url":null,"abstract":"Nos anos recentes têm acontecido um importante crescimento no interesse sobre os métodos estatísticos para processamento de linguagens e as diferentes aplicações que se derivam. Propomos um método de pontos interiores barreira logarítmica primal-dual para abordar o problema de atribuir valores ótimos de probabilidadeás regras de uma gramática probabilística livre de contexto (GPLC) baseados no corpus da linguagem portuguesa Tycho Brahe [IEL-UNICAMP and IME-USP ].","PeriodicalId":315906,"journal":{"name":"Anais do Encontro de Teoria da Computação (ETC)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131822487","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}
{"title":"A b-continuidade de grafos com cintura alta⇤.","authors":"Allen Ibiapina, Ana Silva","doi":"10.5753/etc.2018.3143","DOIUrl":"https://doi.org/10.5753/etc.2018.3143","url":null,"abstract":"Uma b-coloração de um grafo é uma coloração própria, tal que cada classe de cor possui um vértice que é vizinho de pelo menos um vértice das outras classes de cores. O b-espectro de G é o conjunto Sb(G) dos inteiros k tais que G tem uma b-coloraçao com k cores e b(G) = max Sb(G) é o número b-cromático de G. Um grafo é b-contínuo se Sb(G) = [ (G), b(G)] Z. É conhecida uma infinidade de grafos que não são b-contínuos. Também é sabido que grafos com cintura maior ou igual a 10 são b-contínuos. Neste artigo, mostramos que grafos com cintura pelo menos 8 são b-contínuos e que o bespectro de grafos com cintura pelo menos 7 contém os inteiros entre 2 (G) e b(G).","PeriodicalId":315906,"journal":{"name":"Anais do Encontro de Teoria da Computação (ETC)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114973912","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}
Bruno Dias, Rosiane de Freitas, Javier Marenco, Nelson Maculan
{"title":"Politopo baseado em distâncias para o problema clássico de coloração de vértices em grafos","authors":"Bruno Dias, Rosiane de Freitas, Javier Marenco, Nelson Maculan","doi":"10.5753/etc.2018.3155","DOIUrl":"https://doi.org/10.5753/etc.2018.3155","url":null,"abstract":"Neste trabalho, apresenta-se o modelo baseado em distâncias para o problema clássico de coloração de vértices em grafos (VCP). A formulação de programação linear inteira utiliza variáveis de decisão que representam a distância entre cores atribuídas para cada par de vértices distintos, no lugar de fornecer explicitamente tais cores. Mostra-se que há uma relação próxima entre esta formulação e o modelo baseado em orientação para o VCP, proposto também pelos autores deste trabalho. Em particular, prova-se que desigualdades indutoras de facetas para o modelo baseado em orientação podem ser traduzidas em desigualdades indutoras de facetas para o modelo baseado em distâncias e vice-versa.","PeriodicalId":315906,"journal":{"name":"Anais do Encontro de Teoria da Computação (ETC)","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130654847","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}
{"title":"Fluxos Ramificados Arco-disjuntos em Redes de Capacidade Restrita⇤","authors":"A. Maia, J. Costa, R. Lopes","doi":"10.5753/etc.2018.3162","DOIUrl":"https://doi.org/10.5753/etc.2018.3162","url":null,"abstract":"Determinar se uma rede possui um fluxo viável é um problema amplamente estudado e que pode ser resolvido em tempo polinomial. Investigamos um tipo específico de fluxo, o fluxo ramificado, que pode ser aplicado na busca por ramificações em digrafos. Consideramos o problema de encontrar múltiplos fluxos ramificados arco-disjuntos em uma rede e estudamos a complexidade deste problema com diferentes capacidades nos arcos. Um resultado anterior prova que, sob uma suposição teórica conhecida (ETH), em redes com n vértices tais que todos os arcos possuem capacidade n f (n), para uma função limitada f , o problema é difícil. Estendemos este resultado mostrando que, sob a mesma hipótese, o problema também é difícil quando as capacidades são iguais a f (n).","PeriodicalId":315906,"journal":{"name":"Anais do Encontro de Teoria da Computação (ETC)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130997019","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}
{"title":"Algoritmos FPT para reconhecer grafos bem cobertos","authors":"R. Araújo, Sulamita Klein, R. Sampaio","doi":"10.5753/ETC.2018.3140","DOIUrl":"https://doi.org/10.5753/ETC.2018.3140","url":null,"abstract":"Dado um grafo G, sejam vc(G) e vc+(G) os tamanhos de uma cobertura mínima de vértices e de uma máxima cobertura minimal de vértices, respectivamente. Dizemos que G é bem coberto se vc(G) = vc+(G) (ou seja, todas as coberturas minimais são mínimas). É coNP-completo decidir se um grafo é bem coberto. Nesse artigo, obtemos algoritmos FPT de tempos O⇤ (2vc) e O⇤ (1.4656vc+) para decidir se um grafo é bem coberto, parametrizados por vc(G) e vc+(G), respectivamente, melhorando resultados de Boria et al. em 2015. Também obtemos algoritmo FPT parametrizado por ↵ (G) = n vc(G) em grafos d-degenerados, que inclui grafos com genus limitado (como grafos planares) e grafos com grau máximo limitado. Finalmente usamos a decomposição primeval para obter algoritmo linear para grafos P4-laden estendidos e grafos (q, q 4), que é FPT parametrizado por q, melhorando resultados de Klein et al. em 2013.","PeriodicalId":315906,"journal":{"name":"Anais do Encontro de Teoria da Computação (ETC)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121069266","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}