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

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

筛选
英文 中文
Algoritmos de Aproximação para o Problema de Extensão de Quadrados Latinos Diagonais 对角线拉丁方扩展问题的近似算法
Anais do VIII Encontro de Teoria da Computação (ETC 2023) Pub Date : 2023-08-06 DOI: 10.5753/etc.2023.230101
V. G. Chagas, F. K. Miyazawa
{"title":"Algoritmos de Aproximação para o Problema de Extensão de Quadrados Latinos Diagonais","authors":"V. G. Chagas, F. K. Miyazawa","doi":"10.5753/etc.2023.230101","DOIUrl":"https://doi.org/10.5753/etc.2023.230101","url":null,"abstract":"Neste trabalho, estudamos o problema de extensão de quadrados latinos restrito a quadrados latinos diagonais. Para tal problema, apresentamos três algoritmos de aproximação adaptados da literatura: um algoritmo guloso, um algoritmo baseado em emparelhamento, e uma busca local.","PeriodicalId":165974,"journal":{"name":"Anais do VIII Encontro de Teoria da Computação (ETC 2023)","volume":"11 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":"125288642","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
O Problema do Caminho Positivo Mínimo 最小正路径问题
Anais do VIII Encontro de Teoria da Computação (ETC 2023) Pub Date : 2023-08-06 DOI: 10.5753/etc.2023.230579
F. Albuquerque, Manoel Campêlo, T. Figueiredo
{"title":"O Problema do Caminho Positivo Mínimo","authors":"F. Albuquerque, Manoel Campêlo, T. Figueiredo","doi":"10.5753/etc.2023.230579","DOIUrl":"https://doi.org/10.5753/etc.2023.230579","url":null,"abstract":"Grafos de sinais são grafos onde a cada aresta/arco é associado um rótulo positivo ou negativo. Um caminho é positivo se contém um número par de arestas/arcos negativos. Apresentamos algoritmos polinomiais para encontrar um caminho positivo de peso mínimo em grafos de sinais não direcionados. Mostramos que o problema se torna NP-Difícil em digrafos de sinais, mesmo com pesos unitários.","PeriodicalId":165974,"journal":{"name":"Anais do VIII Encontro de Teoria da Computação (ETC 2023)","volume":"310 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":"122746660","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
Modelo para Detecção de Plágio em Exercícios de Programação na Linguagem Python Python编程练习中剽窃检测模型
Anais do VIII Encontro de Teoria da Computação (ETC 2023) Pub Date : 2023-08-06 DOI: 10.5753/etc.2023.230845
Rafael C. Chaves, K. Albuquerque, R. Chaves, Thiago Gouveia
{"title":"Modelo para Detecção de Plágio em Exercícios de Programação na Linguagem Python","authors":"Rafael C. Chaves, K. Albuquerque, R. Chaves, Thiago Gouveia","doi":"10.5753/etc.2023.230845","DOIUrl":"https://doi.org/10.5753/etc.2023.230845","url":null,"abstract":"Este artigo propõe uma abordagem baseada em grafos bipartidos com arcos unidirecionais para detectar plágio em códigos escritos em Python. A modelagem do grafo é projetada para permitir a identificação da probabilidade de plágio por meio de soluções para o problema do Menor Caminho com Premiação Máxima.","PeriodicalId":165974,"journal":{"name":"Anais do VIII Encontro de Teoria da Computação (ETC 2023)","volume":"43 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":"125459453","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 Hidden Subgroup Problem and Non-interactive Perfect Zero-Knowledge Proofs 隐子群问题与非交互完全零知识证明
Anais do VIII Encontro de Teoria da Computação (ETC 2023) Pub Date : 2023-08-06 DOI: 10.5753/etc.2023.230017
Abner F. B. Costa, Henrique Hepp, M. D. Silva, L. M. Zatesko
{"title":"The Hidden Subgroup Problem and Non-interactive Perfect Zero-Knowledge Proofs","authors":"Abner F. B. Costa, Henrique Hepp, M. D. Silva, L. M. Zatesko","doi":"10.5753/etc.2023.230017","DOIUrl":"https://doi.org/10.5753/etc.2023.230017","url":null,"abstract":"The Hidden Subgroup Problem (HSP) generalises many problems that are candidates to be NP-intermediate. It was shown that the decision version of HSP belongs to the zero-knowledge complexity class HVPZK and that, if the size of the group is known, it also belongs to NISZK. We show that whenever we can sample uniformly at random elements of the group and of a set, with the same size of the group, that contains the image of the function that hides the subgroup, the problem is in NIPZK1 (i.e. NIPZK with perfect completeness). As a second contribution, we show that NIPZK1 has a complete promise problem that is a restricted version of a complete promise problem for the NIPZK class.","PeriodicalId":165974,"journal":{"name":"Anais do VIII Encontro de Teoria da Computação (ETC 2023)","volume":"75 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":"128403507","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
Freeze-Tag Remains NP-hard on Binary and Ternary Trees 冻结标签在二叉树和三叉树上保持NP-hard
Anais do VIII Encontro de Teoria da Computação (ETC 2023) Pub Date : 2023-08-06 DOI: 10.5753/etc.2023.229327
L. L. Pedrosa, Lucas de Oliveira Silva
{"title":"Freeze-Tag Remains NP-hard on Binary and Ternary Trees","authors":"L. L. Pedrosa, Lucas de Oliveira Silva","doi":"10.5753/etc.2023.229327","DOIUrl":"https://doi.org/10.5753/etc.2023.229327","url":null,"abstract":"The Freeze-Tag Problem (FTP) is a scheduling-like problem motivated by robot swarm activation. The input consists of the locations of a set of mobile robots in some metric space. One robot is initially active, while the others are initially frozen. Active robots can move at unit speed, and upon reaching the location of a frozen robot, the latter is activated. The goal is to activate all the robots within the minimum time, i.e., minimizing the time the last frozen robot is activated, the so-called makespan of the schedule. Arkin et al. proved that FTP is strongly NP-hard even if we restrict the problem to metric spaces arising from the metric closure of an edge-weighted star graph, where a frozen robot is placed on each leaf, and the active robot is placed at the center of this star [Arkin et al. 2002]. In this work, we continue to explore the complexity of FTP and show that it keeps its hardness even if further restricted to binary unweighted rooted trees with frozen robots only at leaves and the active robot on its root. Additionally, we prove that a generalized version, whose domain includes ternary weighted trees, remains hard, even if we require that every non-root node has precisely one frozen robot.","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":"130040744","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
Formulações para o Problema da Compra Mínima 最小采购问题的公式
Anais do VIII Encontro de Teoria da Computação (ETC 2023) Pub Date : 2023-08-06 DOI: 10.5753/etc.2023.230556
Sandro H. C. Uliana, R. C. S. Schouery
{"title":"Formulações para o Problema da Compra Mínima","authors":"Sandro H. C. Uliana, R. C. S. Schouery","doi":"10.5753/etc.2023.230556","DOIUrl":"https://doi.org/10.5753/etc.2023.230556","url":null,"abstract":"Consideramos o Problema da Compra Mínima, em que um vendedor deseja vender um conjunto I de itens para um conjunto B de compradores. Cada comprador b está disposto a pagar até vib pelo item i. O vendedor deve então definir preços pi para cada i ∈ I de forma a maximizar o seu lucro considerando que cada comprador b comprará (se existir) o item mais barato dentre aqueles que pi ≤ vib. Neste resumo, apresentamos e comparamos duas formulações de programação linear inteira para tal problema.","PeriodicalId":165974,"journal":{"name":"Anais do VIII Encontro de Teoria da Computação (ETC 2023)","volume":"22 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":"126996020","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
On (acyclic) proper orientations and the cartesian product 在(无环)固有取向和笛卡尔积上
Anais do VIII Encontro de Teoria da Computação (ETC 2023) Pub Date : 2023-08-06 DOI: 10.5753/etc.2023.230546
J. Araújo, Alexandre A. Cezar
{"title":"On (acyclic) proper orientations and the cartesian product","authors":"J. Araújo, Alexandre A. Cezar","doi":"10.5753/etc.2023.230546","DOIUrl":"https://doi.org/10.5753/etc.2023.230546","url":null,"abstract":"Given an orientation D of the edges of a simple graph G, the indegree of a vertex v ∈ V(G), dD(v), is the number of arcs with head in v. Such orientation induces a coloring φ(v) = dD(v) + 1 of G. We say that D is a proper k-orientation if φ is a proper (k + 1)-coloring of G. The proper orientation number of G, denoted by X(G), is the least positive integer k such that G admits a proper k-orientation. We study a variation of this problem where we consider the orientation D to be acyclic. To the best of our knowledge this is the first article considering this variation. Furthermore, we also study the parameter X for graphs obtained by the cartesian product of graphs, introducing the concept of discordant set of proper orientations, that is a set where in different orientations, the same vertex has different indegrees.","PeriodicalId":165974,"journal":{"name":"Anais do VIII Encontro de Teoria da Computação (ETC 2023)","volume":"183 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":"121813082","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
Um Algoritmo Híbrido para o Problema de Roteamento de Veículos com Frota Heterogênea Robusto 一种用于非均匀鲁棒车队车辆路由问题的混合算法
Anais do VIII Encontro de Teoria da Computação (ETC 2023) Pub Date : 2023-08-06 DOI: 10.5753/etc.2023.230923
C. Neves, Anand Subramanian, P. Munari
{"title":"Um Algoritmo Híbrido para o Problema de Roteamento de Veículos com Frota Heterogênea Robusto","authors":"C. Neves, Anand Subramanian, P. Munari","doi":"10.5753/etc.2023.230923","DOIUrl":"https://doi.org/10.5753/etc.2023.230923","url":null,"abstract":"Este trabalho aborda o Fleet Size and Mix Vehicle Routing Problem, que visa não apenas planejar rotas de custo mínimo, mas também determinar a melhor composição de veículos para realizar as entregas. Sob a perspectiva da otimização robusta, modelou-se as demandas como valores pertencentes a um conjunto de incertezas. Foram propostas uma combinação do algoritmo de Busca Local Iterada com um método exato de particionamento de conjuntos e estruturas de dados para realizar as buscas locais de maneira eficiente. Experimentos computacionais mostram a eficácia do método, que foi capaz de alcançar a maioria dos melhores limitantes superiores conhecidos da literatura, além de melhorar limitantes para algumas instâncias.","PeriodicalId":165974,"journal":{"name":"Anais do VIII Encontro de Teoria da Computação (ETC 2023)","volume":"1117 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":"122933523","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
Propriedades de fecho de linguagens (C,D)-Fuzzy 语言闭包属性(C,D)-模糊
Anais do VIII Encontro de Teoria da Computação (ETC 2023) Pub Date : 2023-08-06 DOI: 10.5753/etc.2023.229840
Valdigleis da Silva Costa, A. D. S. Farias, Benjamín R. C. Bedregal, Regivan H. N. Santiago
{"title":"Propriedades de fecho de linguagens (C,D)-Fuzzy","authors":"Valdigleis da Silva Costa, A. D. S. Farias, Benjamín R. C. Bedregal, Regivan H. N. Santiago","doi":"10.5753/etc.2023.229840","DOIUrl":"https://doi.org/10.5753/etc.2023.229840","url":null,"abstract":"Generalizamos a noção de linguagem fuzzy associada a autômatos fuzzy considerando uma função de agregação conjuntiva C em lugar de uma t-norma e uma função de agregação disjuntiva D em lugar de uma t-conorma e a chamamos de linguagem (C,D)-fuzzy. Depois investigamos condições suficientes e necessárias sobre C e D para a classe das linguagens (C,D)-fuzzy ser fechada sob versões fuzzy de operadores tradicionais sobre linguagens. Neste resumo estendido, nos limitamos ao operador reverso.","PeriodicalId":165974,"journal":{"name":"Anais do VIII Encontro de Teoria da Computação (ETC 2023)","volume":"27 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":"127894294","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
Bounds on Identifying Codes in the Cartesian Product of a Star and a Path Graph 星图与路径图笛卡尔积中标识码的界
Anais do VIII Encontro de Teoria da Computação (ETC 2023) Pub Date : 2023-08-06 DOI: 10.5753/etc.2023.230607
J. P. Felix, Márcia R. Cappelle
{"title":"Bounds on Identifying Codes in the Cartesian Product of a Star and a Path Graph","authors":"J. P. Felix, Márcia R. Cappelle","doi":"10.5753/etc.2023.230607","DOIUrl":"https://doi.org/10.5753/etc.2023.230607","url":null,"abstract":"In a graph, an identifying code (or ID code, for short) is a dominating set with the property that the closed neighborhood of each vertex in the graph has a distinct intersection with the set. Thus every vertex can be uniquely identified by this intersection. The ID code number of a graph G is the minimum cardinality of an ID code of G and is denoted by γID(G). We present lower and upper bounds for γID in the Cartesian product of star and path graphs.","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":"129796678","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
下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信