Códigos de identificação de densidade mínima na grade hexagonal com número finito de linhas
Autor(a) principal: | |
---|---|
Data de Publicação: | 2024 |
Tipo de documento: | Tese |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da USP |
Texto Completo: | https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18092024-200458/ |
Resumo: | Num grafo G, um conjunto de vértices C ⊆ V (G) é um código de identificação se, para cada vértice de G, a vizinhança fechada N[v] de v intersecta C, e para quaisquer vértices distintos u e v em G, temos que N[u]∩C ≠ N[v] ∩ C. Nesta tese, investigamos códigos de identificação da grade hexagonal (infinita) com k linhas, denotada por Hk. Estamos interessados em encontrar para cada k um código de identificação de Hk com a menor densidade possível, denotada por d*(Hk). Em muitas grades infinitas, é usado o método da descarga para provar limites inferiores para a densidade mínima de códigos de identificação. Não encontramos na literatura uma formalização satisfatória a respeito da aplicação desse método em grafos infinitos. Apresentamos aqui essa formalização, e mostramos que se um grafo não satisfaz certas propriedades, a aplicação do método da descarga pode levar a resultados errôneos. Usamos este método para provar que d*(Hk) ≥ 2/5 para todo k, e que d*(H2) = 9/20. Também provamos que existe um único código de identificação periódico na grade H2 com densidade 9/20. É fácil provar que d*(H1) = 1/2. Para as grades hexagonais de 3 a 5 linhas, usamos o conceito de grafo de configurações e implementamos um programa baseado neste conceito para mostrar que d*(H3) = 6/13 ≈ 0, 461538, d*(H4) = 7/16 = 0, 4375 e d*(H5) = 11/25 = 0, 44. Para as grades hexagonais com mais do que 5 linhas, mostramos que d*(H6) ≤ 47/108 ≈ 0, 43518, d*(H7p) ≤ 3/7 ≈ 0, 428571, onde p é um natural positivo, e d*(H7p+r ) ≤ 3/7 + (r/(7p + r))(d*(Hr ) - 3/7) para r ∈ [6]. Também provamos que a grade Hk é r-identificável, tem um (r, ≤ 2)-código de identificação e não tem um (r, ≤ ℓ)-código de identificação, para k ≥ 1, r ≥ 1 e ℓ ≥ 3. Estudos sobre a densidade mínima de códigos de identificação na grade hexagonal sem restrição quanto ao número de linhas (e colunas) vêm sendo realizados há mais de 20 anos, já os resultados que provamos para a grade hexagonal Hk não foram tratados antes na literatura. |
id |
USP_137a7959fd2b4633bb57abe5412bc678 |
---|---|
oai_identifier_str |
oai:teses.usp.br:tde-18092024-200458 |
network_acronym_str |
USP |
network_name_str |
Biblioteca Digital de Teses e Dissertações da USP |
repository_id_str |
2721 |
spelling |
Códigos de identificação de densidade mínima na grade hexagonal com número finito de linhasMinimum density of identifying codes in hexagonal grid with finite number of rowsCódigo de identificaçãoDensidade mínimaGrade hexagonal com número finito de linhasHexagonal grid with finite number of rowsIdentifying codeMinimum densityNum grafo G, um conjunto de vértices C ⊆ V (G) é um código de identificação se, para cada vértice de G, a vizinhança fechada N[v] de v intersecta C, e para quaisquer vértices distintos u e v em G, temos que N[u]∩C ≠ N[v] ∩ C. Nesta tese, investigamos códigos de identificação da grade hexagonal (infinita) com k linhas, denotada por Hk. Estamos interessados em encontrar para cada k um código de identificação de Hk com a menor densidade possível, denotada por d*(Hk). Em muitas grades infinitas, é usado o método da descarga para provar limites inferiores para a densidade mínima de códigos de identificação. Não encontramos na literatura uma formalização satisfatória a respeito da aplicação desse método em grafos infinitos. Apresentamos aqui essa formalização, e mostramos que se um grafo não satisfaz certas propriedades, a aplicação do método da descarga pode levar a resultados errôneos. Usamos este método para provar que d*(Hk) ≥ 2/5 para todo k, e que d*(H2) = 9/20. Também provamos que existe um único código de identificação periódico na grade H2 com densidade 9/20. É fácil provar que d*(H1) = 1/2. Para as grades hexagonais de 3 a 5 linhas, usamos o conceito de grafo de configurações e implementamos um programa baseado neste conceito para mostrar que d*(H3) = 6/13 ≈ 0, 461538, d*(H4) = 7/16 = 0, 4375 e d*(H5) = 11/25 = 0, 44. Para as grades hexagonais com mais do que 5 linhas, mostramos que d*(H6) ≤ 47/108 ≈ 0, 43518, d*(H7p) ≤ 3/7 ≈ 0, 428571, onde p é um natural positivo, e d*(H7p+r ) ≤ 3/7 + (r/(7p + r))(d*(Hr ) - 3/7) para r ∈ [6]. Também provamos que a grade Hk é r-identificável, tem um (r, ≤ 2)-código de identificação e não tem um (r, ≤ ℓ)-código de identificação, para k ≥ 1, r ≥ 1 e ℓ ≥ 3. Estudos sobre a densidade mínima de códigos de identificação na grade hexagonal sem restrição quanto ao número de linhas (e colunas) vêm sendo realizados há mais de 20 anos, já os resultados que provamos para a grade hexagonal Hk não foram tratados antes na literatura.In a graph G, a set of vertices C ⊆ V (G) is an identifying code if, for every vertex v of G, the closed neighborhood N[v] of v intersects C, and for any two distinct vertices u and v of G,we have N[u]∩C ≠ N[v]∩C. In this thesis we investigate identifying codes of the infinite hexagonal grid with k rows, denoted by Hk. We are interested in finding identifying codes of Hk with minimum possible density, denoted here d*(Hk). In many infinite grids, the discharging method may be used to determine lower bounds for the densities of identifying codes for such grids. However, we did not find in the literature a satisfactory formalization concerning the application of this method in infinite graphs.We present here this formalization.We also show that if a graph does not satisfy certain properties, the use of the discharging method may lead to erroneous results. We use this method to prove that d*(Hk) ≥ 2/5 for all k, and that d*(H2) = 9/20. We also prove that exists only one periodic identifying code for the grid H2 with density 9/20. It is immediate that d*(H1) = 1/2. For the hexagonal grids with 3 to 5 rows, we use the concept of configuration graph and a computer-assisted proof to show that d*(H3) = 6/13 ≈ 0.461538, d*(H4) = 7/16 = 0.4375 and d*(H5) = 11/25 = 0.44. For the hexagonal grids with more than 5 rows, we show that d*(H6) ≤ 47/108 ≈ 0.43518, d*(H7p) ≤ 3/7 ≈ 0.428571, where p is a positive natural number, and d*(H7p+r ) ≤ 3/7 + (r/(7p + r))(d*(Hr ) - 3/7), for r ∈ [6]. We also prove that the hexagonal grid Hk is r-identifiable, it has a (r, ≤ 2)-identifying code and it does not have na (r, ≤ ℓ)-identifying code, for k ≥ 1, r ≥ 1 and ℓ ≥ 3. Studies on the minimum density of identifying codes in the hexagonal grid without constraints in the number of rows (and columns) have been done for more than 20 years, however the results shown in this thesis for the hexagonal grid Hk are the first ones in the literature.Biblioteca Digitais de Teses e Dissertações da USPWakabayashi, YoshikoSobral, Gabriel Augusto Gonçalves2024-07-17info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/45/45134/tde-18092024-200458/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2024-10-17T20:59:04Zoai:teses.usp.br:tde-18092024-200458Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212024-10-17T20:59:04Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false |
dc.title.none.fl_str_mv |
Códigos de identificação de densidade mínima na grade hexagonal com número finito de linhas Minimum density of identifying codes in hexagonal grid with finite number of rows |
title |
Códigos de identificação de densidade mínima na grade hexagonal com número finito de linhas |
spellingShingle |
Códigos de identificação de densidade mínima na grade hexagonal com número finito de linhas Sobral, Gabriel Augusto Gonçalves Código de identificação Densidade mínima Grade hexagonal com número finito de linhas Hexagonal grid with finite number of rows Identifying code Minimum density |
title_short |
Códigos de identificação de densidade mínima na grade hexagonal com número finito de linhas |
title_full |
Códigos de identificação de densidade mínima na grade hexagonal com número finito de linhas |
title_fullStr |
Códigos de identificação de densidade mínima na grade hexagonal com número finito de linhas |
title_full_unstemmed |
Códigos de identificação de densidade mínima na grade hexagonal com número finito de linhas |
title_sort |
Códigos de identificação de densidade mínima na grade hexagonal com número finito de linhas |
author |
Sobral, Gabriel Augusto Gonçalves |
author_facet |
Sobral, Gabriel Augusto Gonçalves |
author_role |
author |
dc.contributor.none.fl_str_mv |
Wakabayashi, Yoshiko |
dc.contributor.author.fl_str_mv |
Sobral, Gabriel Augusto Gonçalves |
dc.subject.por.fl_str_mv |
Código de identificação Densidade mínima Grade hexagonal com número finito de linhas Hexagonal grid with finite number of rows Identifying code Minimum density |
topic |
Código de identificação Densidade mínima Grade hexagonal com número finito de linhas Hexagonal grid with finite number of rows Identifying code Minimum density |
description |
Num grafo G, um conjunto de vértices C ⊆ V (G) é um código de identificação se, para cada vértice de G, a vizinhança fechada N[v] de v intersecta C, e para quaisquer vértices distintos u e v em G, temos que N[u]∩C ≠ N[v] ∩ C. Nesta tese, investigamos códigos de identificação da grade hexagonal (infinita) com k linhas, denotada por Hk. Estamos interessados em encontrar para cada k um código de identificação de Hk com a menor densidade possível, denotada por d*(Hk). Em muitas grades infinitas, é usado o método da descarga para provar limites inferiores para a densidade mínima de códigos de identificação. Não encontramos na literatura uma formalização satisfatória a respeito da aplicação desse método em grafos infinitos. Apresentamos aqui essa formalização, e mostramos que se um grafo não satisfaz certas propriedades, a aplicação do método da descarga pode levar a resultados errôneos. Usamos este método para provar que d*(Hk) ≥ 2/5 para todo k, e que d*(H2) = 9/20. Também provamos que existe um único código de identificação periódico na grade H2 com densidade 9/20. É fácil provar que d*(H1) = 1/2. Para as grades hexagonais de 3 a 5 linhas, usamos o conceito de grafo de configurações e implementamos um programa baseado neste conceito para mostrar que d*(H3) = 6/13 ≈ 0, 461538, d*(H4) = 7/16 = 0, 4375 e d*(H5) = 11/25 = 0, 44. Para as grades hexagonais com mais do que 5 linhas, mostramos que d*(H6) ≤ 47/108 ≈ 0, 43518, d*(H7p) ≤ 3/7 ≈ 0, 428571, onde p é um natural positivo, e d*(H7p+r ) ≤ 3/7 + (r/(7p + r))(d*(Hr ) - 3/7) para r ∈ [6]. Também provamos que a grade Hk é r-identificável, tem um (r, ≤ 2)-código de identificação e não tem um (r, ≤ ℓ)-código de identificação, para k ≥ 1, r ≥ 1 e ℓ ≥ 3. Estudos sobre a densidade mínima de códigos de identificação na grade hexagonal sem restrição quanto ao número de linhas (e colunas) vêm sendo realizados há mais de 20 anos, já os resultados que provamos para a grade hexagonal Hk não foram tratados antes na literatura. |
publishDate |
2024 |
dc.date.none.fl_str_mv |
2024-07-17 |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/doctoralThesis |
format |
doctoralThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18092024-200458/ |
url |
https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18092024-200458/ |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
|
dc.rights.driver.fl_str_mv |
Liberar o conteúdo para acesso público. info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Liberar o conteúdo para acesso público. |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.coverage.none.fl_str_mv |
|
dc.publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da USP instname:Universidade de São Paulo (USP) instacron:USP |
instname_str |
Universidade de São Paulo (USP) |
instacron_str |
USP |
institution |
USP |
reponame_str |
Biblioteca Digital de Teses e Dissertações da USP |
collection |
Biblioteca Digital de Teses e Dissertações da USP |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP) |
repository.mail.fl_str_mv |
virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br |
_version_ |
1815256518029737984 |