GRAFFITI
On conjectures of Graffiti The above mentioned article introduces a computer program, Graffiti, which makes graph-theoretical conjectures. Graffiti has a library of certain types of graphs and it is capable of evaluating formulas formed from graph-theoretical invariants; a formula is a conjecture if none of the graphs known by the program is an counterexample. The structure and the performances of the program are described.
Keywords for this software
References in zbMATH (referenced in 106 articles )
Showing results 1 to 20 of 106.
Sorted by year (- Malik, Mehar Ali: Two degree-distance based topological descriptors of some product graphs (2018)
- Nadeem, Imran; Shaker, Hani: Inequalities between degree- and distance-based graph invariants (2018)
- Chen, Zhibing; Su, Guifu; Volkmann, Lutz: Sufficient conditions on the zeroth-order general Randić index for maximally edge-connected graphs (2017)
- Falahati-Nezhad, Farzaneh; Azari, Mahdieh; Došlić, Tomislav: Sharp bounds on the inverse sum indeg index (2017)
- Milivojević, Milica; Pavlović, Ljiljana: The variation of the Randić index with regard to minimum and maximum degree (2017)
- Wu, Baoyindureng; Elphick, Clive: Upper bounds for the achromatic and coloring numbers of a graph (2017)
- Barrus, Michael D.; Molnar, Grant: Graphs with the strong Havel-Hakimi property (2016)
- Geetha, J.; Somasundaram, K.: Total chromatic number and some topological indices (2016)
- Jerline, J. Amalorpava; Michaelraj, L. Benedict: On harmonic index and diameter of unicyclic graphs (2016)
- Larson, C.E.; Van Cleemput, N.: Automated conjecturing. I: Fajtlowicz’s Dalmatian heuristic revisited (2016)
- Su, Guifu; Xiong, Liming; Su, Xiaofeng; Li, Guojun: Maximally edge-connected graphs and zeroth-order general Randić index for $\alpha\leq-1$ (2016)
- Xu, Kexiang; Das, Kinkar Ch.: Some extremal graphs with respect to inverse degree (2016)
- Bianchi, Monica; Cornaro, Alessandra; Palacios, José Luis; Torriero, Anna: New bounds of degree-based topological indices for some classes of $c$-cyclic graphs (2015)
- Das, Kinkar Ch.; Xu, Kexiang; Nam, Junki: Zagreb indices of graphs (2015)
- Deng, Hanyuan; Huang, Guihua; Jiang, Xiaojuan: A unified linear-programming modeling of some topological indices (2015)
- Lin, Huiqiu: Proof of a conjecture involving the second largest $D$-eigenvalue and the number of triangles (2015)
- Amos, David; Davila, Randy; Pepper, Ryan: On the $k$-residue of disjoint unions of graphs with applications to $k$-independence (2014)
- Aouchiche, Mustapha; Hansen, Pierre: Distance spectra of graphs: a survey (2014)
- Deng, Hanyuan; Balachandran, S.; Ayyaswamy, S.K.: On two conjectures of Randić index and the largest signless Laplacian eigenvalue of graphs (2014)
- Desrosiers, Christian; Galinier, Philippe; Hansen, Pierre; Hertz, Alain: Automated generation of conjectures on forbidden subgraph characterization (2014)