HR: A System for Machine Discovery in Finite Algebras

We describe the HR concept formation program which invents mathematical definitions and conjectures in finite algebras such as group theory and ring theory. We give the methods behind and the reasons for the concept formation in HR, an evaluation of its performance in its training domain, group theory, and a look at HR in domains other than group theory

A Creative Review on Coprime (Prime) Graphs

Coprime labelings and Coprime graphs have been of interest since 1980s and got popularized by the Entringer-Tout Tree Conjecture. Around the same time Newman's coprime mapping conjecture was settled by Pomerance and Selfridge. This result was further extended to integers in arithmetic progression. Since then coprime graphs were studied for various combinatorial properties. Here, coprimality of graphs for classes of graphs under the themes: Bipartite with special attention to Acyclicity, Eulerian and Regularity. Extremal graphs under non-coprimality and Eulerian properties are studied. Embeddings of coprime graphs in the general graphs, the maximum coprime graph and the Eulerian coprime graphs are studied as subgraphs and induced subgraphs. The purpose of this review is to assimilate the available works on coprime graphs. The results in the context of these themes are reviewed including embeddings and extremal problems

Local Prime Factor Decomposition of Approximate Strong Product Graphs: Local Prime Factor Decompositionof Approximate Strong Product Graphs

In practice, graphs often occur as perturbed product structures, so-called approximate graph products. The practical application of the well-known prime factorization algorithms is therefore limited, since most graphs are prime, although they can have a product-like structure. This work is concerned with the strong graph product. Since strong product graphs G contain subgraphs that are itself products of subgraphs of the underlying factors of G, we follow the idea to develop local approaches that cover a graph by factorizable patches and then use this information to derive the global factors. First, we investigate the local structure of strong product graphs and introduce the backbone B(G) of a graph G and the so-called S1-condition. Both concepts play a central role for determining the prime factors of a strong product graph in a unique way. Then, we discuss several graph classes, in detail, NICE, CHIC and locally unrefined graphs. For each class we construct local, quasi-linear time prime factorization algorithms. Combining these results, we then derive a new local prime factorization algorithm for all graphs. Finally, we discuss approximate graph products. We use the new local factorization algorithm to derive a method for the recognition of approximate graph products. Furthermore, we evaluate the performance of this algorithm on a sample of approximate graph products