An Example Usage of Graph Theory in Other Scientific Fields: On Graph Labeling, Possibilities and Role of Mind/Consciousness

This paper provides insights into some aspects of the possibilities and role of mind, consciousness, and their relation to mathematical logic with the application of problem solving in the fields of psychology and graph theory. This work aims to dispel certain long-held notions of a severe psychological disorder and a well-known graph labeling conjecture. The applications of graph labelings of various types for various kinds of graphs are being discussed. Certain results in graph labelings using computer software are presented with a direction to discover more applications

Two Rosa-type Labelings of Uniform k-distant Trees and a New Class of Trees

A k-distant tree consists of a main path, called the spine, such that each vertex on the spine is joined by an edge to an end-vertex of at most one path on at most k vertices. Those paths, along with the edge joining them to the spine, are called tails. When every vertex on the spine has exactly one incident tail of length k we call the tree a uniform k-distant tree. We show that every uniform k-distant tree admits both a graceful- and an α-labeling. For a graph G and a positive integer a, define appa(G) to be the graph obtained from appending a leaves to each leaf in G. When G is a uniform k-distant tree, we show that appa(G) admits both a graceful- and an α-labeling

On the Graceful Game

A graceful labeling of a graph $G$ with $m$ edges consists of labeling the vertices of $G$ with distinct integers from $0$ to $m$ such that, when each edge is assigned as induced label the absolute difference of the labels of its endpoints, all induced edge labels are distinct. Rosa established two well known conjectures: all trees are graceful (1966) and all triangular cacti are graceful (1988). In order to contribute to both conjectures we study graceful labelings in the context of graph games. The Graceful game was introduced by Tuza in 2017 as a two-players game on a connected graph in which the players Alice and Bob take turns labeling the vertices with distinct integers from 0 to $m$. Alice's goal is to gracefully label the graph as Bob's goal is to prevent it from happening. In this work, we study winning strategies for Alice and Bob in complete graphs, paths, cycles, complete bipartite graphs, caterpillars, prisms, wheels, helms, webs, gear graphs, hypercubes and some powers of paths

Strings And Colorings Of Topological Coding Towards Asymmetric Topology Cryptography

We, for anti-quantum computing, will discuss various number-based strings, such as number-based super-strings, parameterized strings, set-based strings, graph-based strings, integer-partitioned and integer-decomposed strings, Hanzi-based strings, as well as algebraic operations based on number-based strings. Moreover, we introduce number-based string-colorings, magic-constraint colorings, and vector-colorings and set-colorings related with strings. For the technique of encrypting the entire network at once, we propose graphic lattices related with number-based strings, Hanzi-graphic lattices, string groups, all-tree-graphic lattices. We study some topics of asymmetric topology cryptography, such as topological signatures, Key-pair graphs, Key-pair strings, one-encryption one-time and self-certification algorithms. Part of topological techniques and algorithms introduced here are closely related with NP-complete problems or NP-hard problems.Comment: Asymmetric topology encryption is a new topic of topological coding towards the certificateless public key cryptograph

Rotulações graciosas e rotulações semifortes em grafos

Orientador: Christiane Neme CamposTese (doutorado) - Universidade Estadual de Campinas, Instituto de ComputaçãoResumo: Três problemas de rotulação em grafos são investigados nesta tese: a Conjetura das Árvores Graciosas, a Conjetura 1,2,3 e a Conjetura 1,2. Uma rotulação graciosa de um grafo simples G=(V(G),E(G)) é uma função injetora f de V(G) em {0,...,|E(G)|} tal que {|f(u)-f(v)|: uv em E(G)} = {1,...,|E(G)|}. A Conjetura das Árvores Graciosas, proposta por Rosa e Kotzig em 1967, afirma que toda árvore possui uma rotulação graciosa. Um problema relacionado à Conjetura das Árvores Graciosas consiste em determinar se, para todo vértice v de uma árvore T, existe uma rotulação graciosa de T que atribui o rótulo 0 a v. Árvores com tal propriedade são denominadas 0-rotativas. Nesta tese, apresentamos famílias infinitas de caterpillars 0-rotativos. Nossos resultados reforçam a conjetura de que todo caterpillar com diâmetro pelo menos cinco é 0-rotativo. Também investigamos uma rotulação graciosa mais restrita, chamada rotulação-alpha. Uma rotulação graciosa f de G é uma rotulação-alpha se existir um inteiro k, 0 <= k <= |E(G)|, tal que, para toda aresta uv em E(G), f(u) <= k < f(v) ou f(v) <= k < f(u). Nesta tese, apresentamos duas famílias de lobsters com grau máximo três que possuem rotulações-alpha. Nossos resultados contribuem para uma caracterização de todos os lobsters com grau máximo três que possuem rotulações-alpha. Na segunda parte desta tese, investigamos generalizações da Conjetura 1,2,3 e da Conjetura 1,2. Dado um grafo simples G = (V(G),E(G)) e um subconjunto L dos números reais, dizemos que uma função f de E(G) em L é uma L-rotulação de arestas de G e dizemos que uma função f da união de V(G) com E(G) em L é uma L-rotulação total de G. Para todo vértice v de G, a cor de v, C(v), é definida como a soma dos rótulos das arestas incidentes em v, se f for uma L-rotulação de arestas de G. Se f for uma L-rotulação total, C(v) é a soma dos rótulos das arestas incidentes no vértice v mais o valor f(v). O par (f,C) é uma L-rotulação de arestas semiforte (L-rotulação total semiforte) se f for uma rotulação de arestas (rotulação total) e C(u) for diferente de C(v) para quaisquer dois vértices adjacentes u,v de G. A Conjetura 1,2,3, proposta por Karónski et al. em 2004, afirma que todo grafo simples e conexo com pelo menos três vértices possui uma {1,2,3}-rotulação de arestas semiforte. A Conjetura 1,2, proposta por Przybylo e Wozniak em 2010, afirma que todo grafo simples possui uma {1,2}-rotulação total semiforte. Sejam a,b,c três reais distintos. Nesta tese, nós investigamos {a,b,c}-rotulações de arestas semifortes e {a,b}-rotulações totais semifortes para cinco famílias de grafos: as potências de caminho, as potências de ciclo, os grafos split, os grafos cobipartidos regulares e os grafos multipartidos completos. Provamos que essas famílias possuem tais rotulações para alguns valores reais a,b,c. Como corolário de nossos resultados, obtemos que a Conjetura 1,2,3 e a Conjetura 1,2 são verdadeiras para essas famílias. Além disso, também mostramos que nossos resultados em rotulações de arestas semifortes implicam resultados similares para outro problema de rotulação de arestas relacionadoAbstract: This thesis addresses three labelling problems on graphs: the Graceful Tree Conjecture, the 1,2,3-Conjecture, and the 1,2-Conjecture. A graceful labelling of a simple graph G=(V(G),E(G)) is an injective function f from V(G) to {0,...,|E(G)|} such that {|f(u)-f(v)| : uv in E(G)} = {1,...,|E(G)|}. The Graceful Tree Conjecture, posed by Rosa and Kotzig in 1967, states that every tree has a graceful labelling. A problem connected with the Graceful Tree Conjecture consists of determining whether, for every vertex v of a tree T, there exists a graceful labelling of T that assigns label 0 to v. Trees with such a property are called 0-rotatable. In this thesis, we present infinite families of 0-rotatable caterpillars. Our results reinforce a conjecture that states that every caterpillar with diameter at least five is 0-rotatable. We also investigate a stronger type of graceful labelling, called alpha-labelling. A graceful labelling f of G is an alpha-labelling if there exists an integer k with 0<= k <= |E(G)| such that, for each edge uv in E(G), either f(u) <= k < f(v) or f(v) <= k < f(u). In this thesis, we prove that the following families of lobsters have alpha-labellings: lobsters with maximum degree three, without Y-legs and with at most one forbidden ending; and lobsters T with a perfect matching M such that the contracted tree T/M has a balanced bipartition. These results point towards a characterization of all lobsters with maximum degree three that have alpha-labellings. In the second part of the thesis, we focus on generalizations of the 1,2,3-Conjecture and the 1,2-Conjecture. Given a simple graph G=(V(G),E(G)) and a subset L of real numbers, we call a function f from E(G) to L an L-edge-labelling of G, and we call a function f from V(G) union E(G) to L an L-total-labelling of G. For each vertex v of G, the colour of v, C(v), is defined as the sum of the labels of its incident edges, if f is an L-edge-labelling. If f is an L-total-labelling, C(v) is the sum of the labels of the edges incident with vertex v plus the label f(v). The pair (f,C) is a neighbour-distinguishing L-edge-labelling (neighbour-distinguishing L-total-labelling) if f is an edge-labelling (total-labelling) and C(u) is different from C(v), for every edge uv in E(G). The 1,2,3-Conjecture, posed by Kar\'onski et al. in 2004, states that every connected simple graph with at least three vertices has a neighbour-distinguishing {1,2,3}-edge-labelling. The 1,2-Conjecture, posed by Przybylo and Wozniak in 2010, states that every simple graph has a neighbour-distinguishing {1,2}-total-labelling. Let a,b,c be distinct real numbers. In this thesis, we investigate neighbour-distinguishing {a,b,c}-edge-labellings and neighbour-distinguishing {a,b}-total labellings for five families of graphs: powers of paths, powers of cycles, split graphs, regular cobipartite graphs and complete multipartite graphs. We prove that these families have such labellings for some real values a, b, and c. As a corollary of our results, we obtain that the 1,2,3-Conjecture and the 1,2-Conjecture are true for these families. Furthermore, we also show that our results on neighbour-distinguishing edge-labellings imply similar results on a closely related problem called detectable edge-labelling of graphsDoutoradoCiência da ComputaçãoDoutor em Ciência da Computação2014/16861-8FAPESPCAPE

Symmetry Breaking for Answer Set Programming

In the context of answer set programming, this work investigates symmetry detection and symmetry breaking to eliminate symmetric parts of the search space and, thereby, simplify the solution process. We contribute a reduction of symmetry detection to a graph automorphism problem which allows to extract symmetries of a logic program from the symmetries of the constructed coloured graph. We also propose an encoding of symmetry-breaking constraints in terms of permutation cycles and use only generators in this process which implicitly represent symmetries and always with exponential compression. These ideas are formulated as preprocessing and implemented in a completely automated flow that first detects symmetries from a given answer set program, adds symmetry-breaking constraints, and can be applied to any existing answer set solver. We demonstrate computational impact on benchmarks versus direct application of the solver. Furthermore, we explore symmetry breaking for answer set programming in two domains: first, constraint answer set programming as a novel approach to represent and solve constraint satisfaction problems, and second, distributed nonmonotonic multi-context systems. In particular, we formulate a translation-based approach to constraint answer set solving which allows for the application of our symmetry detection and symmetry breaking methods. To compare their performance with a-priori symmetry breaking techniques, we also contribute a decomposition of the global value precedence constraint that enforces domain consistency on the original constraint via the unit-propagation of an answer set solver. We evaluate both options in an empirical analysis. In the context of distributed nonmonotonic multi-context system, we develop an algorithm for distributed symmetry detection and also carry over symmetry-breaking constraints for distributed answer set programming.Comment: Diploma thesis. Vienna University of Technology, August 201