发布求助
文献互助 智能选刊 最新文献

Anais do VI Encontro de Teoria da Computação (ETC 2021)最新文献

筛选
英文 中文
Problema APSP via Dimensão-VC e Médias de Rademacher 通过vc维数和Rademacher平均值的APSP问题
Anais do VI Encontro de Teoria da Computação (ETC 2021) Pub Date : 2021-07-18 DOI: 10.5753/ETC.2021.16369
A. M. D. Lima, A. Vignatti, M. V. Silva
{"title":"Problema APSP via Dimensão-VC e Médias de Rademacher","authors":"A. M. D. Lima, A. Vignatti, M. V. Silva","doi":"10.5753/ETC.2021.16369","DOIUrl":"https://doi.org/10.5753/ETC.2021.16369","url":null,"abstract":"Considere o problema de computar o caminho mínimo entre cada par de vértices (APSP) de um grafo, desde que o caminho tenha alta centralidade, sendo que a métrica de centralidade em questão reflete a \"importância'' do caminho no grafo. Propomos um algoritmo para este problema que usa uma estratégia de amostragem baseada em Dimensão-VC e médias de Rademacher. No caso de grafos esparsos de diâmetro logarítmico, que comumente modelam situações reais, o tamanho da amostra é exponencialmente menor do que aquelas obtidas por técnicas clássicas (e.g.: Hoeffding e limitante da união).","PeriodicalId":422658,"journal":{"name":"Anais do VI Encontro de Teoria da Computação (ETC 2021)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122106052","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}
引用次数: 0
Emparelhamento Desconexo é NP-Completo 断开配对是NP完全的
Anais do VI Encontro de Teoria da Computação (ETC 2021) Pub Date : 2021-07-18 DOI: 10.5753/ETC.2021.16372
Guilherme de C. M. Gomes, B. P. Masquio, P. Pinto, V. Santos, Jayme Szwarcfiter
{"title":"Emparelhamento Desconexo é NP-Completo","authors":"Guilherme de C. M. Gomes, B. P. Masquio, P. Pinto, V. Santos, Jayme Szwarcfiter","doi":"10.5753/ETC.2021.16372","DOIUrl":"https://doi.org/10.5753/ETC.2021.16372","url":null,"abstract":"Um subconjunto M ⊆ E de arestas de um grafo G = (V, E) é um emparelhamento se nenhum par de arestas de M compartilha um vértice comum. Recentemente, P-emparelhamentos foram propostos, os quais requerem algumas propriedades dos subgrafos induzidos pelos vértices M-saturados de G. Tratamos um deles, o problema do emparelhamento desconexo, cuja propriedade é que o referido subgrafo induzido seja desconexo. Embora alguns algoritmos eficientes já tenham sido mostrados para algumas classes, a complexidade do problema geral permanecia em aberto. Apresentamos uma prova de que o emparelhamento desconexo é NP-completo, mesmo para grafos bipartidos e grafos com diâmetro limitado.","PeriodicalId":422658,"journal":{"name":"Anais do VI Encontro de Teoria da Computação (ETC 2021)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121507670","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}
引用次数: 1
Super-colored paths in digraphs 有向图中的超彩色路径
Anais do VI Encontro de Teoria da Computação (ETC 2021) Pub Date : 2021-07-18 DOI: 10.5753/ETC.2021.16389
Á. J. P. Franco, M. Vendramin
{"title":"Super-colored paths in digraphs","authors":"Á. J. P. Franco, M. Vendramin","doi":"10.5753/ETC.2021.16389","DOIUrl":"https://doi.org/10.5753/ETC.2021.16389","url":null,"abstract":"We work in an Anthropology application where it is desired to enumerate colored rings (structures that look like cycles) present in kinship net-works. For this goal, we came across the following question: for all vertex v of a vertex-colored digraph, how many colors (in maximum) a path starting in v can have? The answer for this question would help us to enumerate the colored rings since we would know how many colors a ring evolving some vertices could have, in maximum. Here, we call a path as v-super-colored if it starts in vertex v and it has the maximum amount of colors among all paths starting in v. We show that the problem to find the number of colors of v-super-colored paths for all v is NP-hard when the input digraph is general. We describe a simple algorithm which demonstrates that the problem is tractable if the input digraphis acyclic and the number of colors is small.","PeriodicalId":422658,"journal":{"name":"Anais do VI Encontro de Teoria da Computação (ETC 2021)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132051949","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}
引用次数: 0
Spanning Cover Inequalities for the Capacitated Vehicle Routing Problem 有能力车辆路径问题的跨越覆盖不等式
Anais do VI Encontro de Teoria da Computação (ETC 2021) Pub Date : 2021-07-18 DOI: 10.5753/ETC.2021.16387
Guilherme G. Arcencio, Matheus T. Mattioli, P. Hokama, Mário César San Felice
{"title":"Spanning Cover Inequalities for the Capacitated Vehicle Routing Problem","authors":"Guilherme G. Arcencio, Matheus T. Mattioli, P. Hokama, Mário César San Felice","doi":"10.5753/ETC.2021.16387","DOIUrl":"https://doi.org/10.5753/ETC.2021.16387","url":null,"abstract":"In the k-Minimum Spanning Subgraph problem with d-Degree Center we want to find a minimum cost spanning connected subgraph with n - 1 + k edges and at least degree d in the center vertex, with n being the number of vertices. In this paper we describe an algorithm for this problem and present correctness demonstrations which we believe are simpler than those found in the literature. A solution for the k-Minimum Spanning Subgraph problem with d-Degree can be used to formulate spanning cover inequalities for the capacitated vehicle routing problem.","PeriodicalId":422658,"journal":{"name":"Anais do VI Encontro de Teoria da Computação (ETC 2021)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121627874","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}
引用次数: 0
The (2,1)-total number of near-ladder graphs (2,1)-近阶梯图的总数
Anais do VI Encontro de Teoria da Computação (ETC 2021) Pub Date : 2021-07-18 DOI: 10.5753/ETC.2021.16390
M. M. Omai, C. N. Campos, A. G. Luiz
{"title":"The (2,1)-total number of near-ladder graphs","authors":"M. M. Omai, C. N. Campos, A. G. Luiz","doi":"10.5753/ETC.2021.16390","DOIUrl":"https://doi.org/10.5753/ETC.2021.16390","url":null,"abstract":"A $(2,1)$-total labelling of a simple graph $G$ is a function $pi colon V(G)cup E(G) to {0, ldots, k}$ such that: $pi(u) neq pi(v)$ for $uv in E(G)$; $pi(uv) neq pi(vw)$ for $uv, vw in E(G)$; and $|pi(uv)-pi(u)| geq 2$ and $|pi(uv)-pi(v)| geq 2$ for $uv in E(G)$. The $(2,1)$-total number $lambda_2^t(G)$ of $G$ is the least $k$ for which $G$ admits such a labelling. In 2008, Havet and Yu conjectured that $lambda_2^t(G)leq 5$ for every connected graph $G notcong K_4$ with $Delta(G) leq 3$. We prove that, for near-ladder graphs, $lambda_2^t(G)=5$, verifying Havet and Yu's Conjecture for this class.","PeriodicalId":422658,"journal":{"name":"Anais do VI Encontro de Teoria da Computação (ETC 2021)","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116103602","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}
引用次数: 1
Limites superiores para a rotulação L(3,2,1) de famílias de grafos subcúbicos 上界是一种特殊情况，在这种情况下，每个顶点都有一个顶点，而在这种情况下，每个顶点都有一个顶点。
Anais do VI Encontro de Teoria da Computação (ETC 2021) Pub Date : 2021-07-18 DOI: 10.5753/ETC.2021.16392
Davi Gomes Florencio, Atílio Luiz
{"title":"Limites superiores para a rotulação L(3,2,1) de famílias de grafos subcúbicos","authors":"Davi Gomes Florencio, Atílio Luiz","doi":"10.5753/ETC.2021.16392","DOIUrl":"https://doi.org/10.5753/ETC.2021.16392","url":null,"abstract":"Uma rotulação L(3,2,1) de um grafo G é uma função f de V(G) em S = {0,1,...,k} tal que |f(u)-f(v)| >= 4 - d(u,v) para quaisquer dois vértices u, v em V(G), em que d(u,v) é a distância entre u e v em G. O span de uma rotulação L(3,2,1) f é o maior rótulo k em S. O menor span que uma rotulação L(3,2,1) pode atribuir a um grafo G é denotado por lambda_{3,2,1}(G). Neste trabalho, provamos que lambda_{3,2,1}(G) = 25 para todo grafo subcúbico G sem vértices adjacentes de grau máximo. Além disso, provamos que lambda_{3,2,1}(G) <= 16 para grafos subcúbicos G com vértices de grau 3 à distância pelo menos 4.","PeriodicalId":422658,"journal":{"name":"Anais do VI Encontro de Teoria da Computação (ETC 2021)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134302270","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}
引用次数: 0
Sobre Rotulações L(h, k) de Caterpillars Sobre Rotulações L(h, k) de Caterpillars
Anais do VI Encontro de Teoria da Computação (ETC 2021) Pub Date : 2021-07-18 DOI: 10.5753/ETC.2021.16381
J. Castilho, C. N. Campos, L. M. Zatesko
{"title":"Sobre Rotulações L(h, k) de Caterpillars","authors":"J. Castilho, C. N. Campos, L. M. Zatesko","doi":"10.5753/ETC.2021.16381","DOIUrl":"https://doi.org/10.5753/ETC.2021.16381","url":null,"abstract":"Uma rotulação L(h, k) é uma atribuição σ de inteiros aos vértices de um grafo simples tal que os rótulos de: vértices adjacentes diferem de pelo menos h; vértices com um vizinho em comum diferem de pelo menos k. A maior diferença entre os rótulos de quaisquer dois vértices é o span de σ. Determinar o L(h, k)-span, i.e. o menor span para todas as rotulações σ, é NP-difı́cil para árvores. Caterpillars são uma subclasse das árvores muito estudada no contexto de problemas rotulação. Nós provamos limitantes justos para o L(h, k)-span de todo caterpillar G, determinando o valor exato se k divide h e G tem no máximo sete vértices em um caminho máximo.","PeriodicalId":422658,"journal":{"name":"Anais do VI Encontro de Teoria da Computação (ETC 2021)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134113876","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}
引用次数: 0
Calculation of Fundamental Groups via Computational Paths 基于计算路径的基本群计算
Anais do VI Encontro de Teoria da Computação (ETC 2021) Pub Date : 2021-07-18 DOI: 10.5753/ETC.2021.16370
T. M. L. Veras, Amanda Ferreira Paes Landim Ramos, R. D. Queiroz, A. G. D. Oliveira
{"title":"Calculation of Fundamental Groups via Computational Paths","authors":"T. M. L. Veras, Amanda Ferreira Paes Landim Ramos, R. D. Queiroz, A. G. D. Oliveira","doi":"10.5753/ETC.2021.16370","DOIUrl":"https://doi.org/10.5753/ETC.2021.16370","url":null,"abstract":"We address the question as to how to formalise the concept of computational paths (sequences of rewrites) as equalities between two terms of the same type. The intention is to demonstrate the use of a term rewriting system in performing computations with these computational paths, establishing equalities between equalities, and further higher equalities, in particular, in the calculation of fundamental groups of surfaces such as the circle, the torus and the real projective plane.","PeriodicalId":422658,"journal":{"name":"Anais do VI Encontro de Teoria da Computação (ETC 2021)","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124138853","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}
引用次数: 1
Conjunto de arcos de realimentação sob restrições de forçamento é FPT 强迫约束下的反馈弧集为FPT
Anais do VI Encontro de Teoria da Computação (ETC 2021) Pub Date : 2021-07-18 DOI: 10.5753/ETC.2021.16373
Leonardo C. de Abreu, Manoel Campêlo, Ana Karolinna Maia
{"title":"Conjunto de arcos de realimentação sob restrições de forçamento é FPT","authors":"Leonardo C. de Abreu, Manoel Campêlo, Ana Karolinna Maia","doi":"10.5753/ETC.2021.16373","DOIUrl":"https://doi.org/10.5753/ETC.2021.16373","url":null,"abstract":"O problema do conjunto de arcos de realimentação (FAS) consiste em encontrar um subconjunto de arcos de tamanho mínimo que contenha ao menos um elemento de cada circuito direcionado de um grafo direcionado. Estudamos o problema FAS sujeito a restrições de forçamento, as quais determinam que ao menos um elemento de certos pares de arcos deve estar presente em uma solução viável. Sabe-se que o problema de arcos de realimentação é FPT. Mostramos que o problema com restrições de forçamento também é FPT quando parametrizado pelo tamanho da solução.","PeriodicalId":422658,"journal":{"name":"Anais do VI Encontro de Teoria da Computação (ETC 2021)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122953577","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}
引用次数: 0
New Bounds on Roller Coaster Permutations 过山车排列的新界限
Anais do VI Encontro de Teoria da Computação (ETC 2021) Pub Date : 2021-07-18 DOI: 10.5753/ETC.2021.16378
F. Botler, B. L. Netto
{"title":"New Bounds on Roller Coaster Permutations","authors":"F. Botler, B. L. Netto","doi":"10.5753/ETC.2021.16378","DOIUrl":"https://doi.org/10.5753/ETC.2021.16378","url":null,"abstract":"A roller coaster is a permutation pi that maximizes the sum $t(pi) = sum_{tauin X(pi)}id(tau)$, where (X(pi)) denotes the set of subsequences of (pi) with cardinality at least (3); and (id(tau)) denotes the number of maximal increasing or decreasing subsequences of contiguous numbers of (tau). We denote by (t_{max}(n)) the value (t(pi)), where (pi) is a roller coaster of ({1,ldots,n}), for (ngeq 3). Precise values of (t_{max}(n)) for (nleq 13) were presented in cite{AhmedTanbir}. In this paper, we explore the problem of computing lower bounds for (t_{max}(n)). More specifically, we present a cubic algorithm to compute $t(pi)$ for any given permutation $pi$; and an Integer Linear Programming model to obtain roller coasters. As a result, we improve known lower bounds found in the literature for $n leq 40$.","PeriodicalId":422658,"journal":{"name":"Anais do VI Encontro de Teoria da Computação (ETC 2021)","volume":"144 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127303617","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}
引用次数: 1
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信
小红书