MIP formulations for induced graph optimization problems: a tutorial

RA Melo, CC Ribeiro - International Transactions in …, 2023 - Wiley Online Library
Given a graph G=(V, E) G=(V,E) and a subset of its vertices V′⊆ VV^′⊆V, the subgraph
induced by V′ V^′ in G is that with vertex set V′ V^′ and edge set E′ E^′ formed by …

[PDF][PDF] Spanning trees with many leaves and average distance

E DeLaVina, B Waller - the electronic journal of combinatorics, 2008 - emis.de
In this paper we prove several new lower bounds on the maximum number of leaves of a
spanning tree of a graph related to its order, independence number, local independence …

[HTML][HTML] Automated conjecturing I: Fajtlowicz's Dalmatian heuristic revisited

CE Larson, N Van Cleemput - Artificial Intelligence, 2016 - Elsevier
We discuss a new implementation of, and new experiments with, Fajtlowicz's Dalmatian
conjecture-making heuristic. Our program makes conjectures about relations of real number …

The\emph {Optimist}: Towards Fully Automated Graph Theory Research

R Davila - arXiv preprint arXiv:2411.09158, 2024 - arxiv.org
This paper introduces the\emph {Optimist}, an autonomous system developed to advance
automated conjecture generation in graph theory. Leveraging mixed-integer programming …

Automated conjecturing in mathematics with\emph {TxGraffiti}

R Davila - arXiv preprint arXiv:2409.19379, 2024 - arxiv.org
\emph {TxGraffiti} is a data-driven, heuristic-based computer program developed to
automate the process of generating conjectures across various mathematical domains …

Average distance and connected domination

P Mafuta, S Mukwembi - AKCE International Journal of Graphs and …, 2023 - Taylor & Francis
We give a tight upper bound on the average distance of a connected graph of given order in
terms of its connected domination number. Our results are a strengthening of a result by …

The Optimist: Towards Fully AutomatedGraph Theory Research

R Davila - 2024 - researchsquare.com
This paper introduces the Optimist, an autonomous system developed to advanceautomated
conjecture generation in graph theory. Leveraging mixed-integer pro-gramming (MIP) and …

[PDF][PDF] Unordered multiplicity lists of wide double paths

AL Erić, C da Fonseca - Ars Mathematica Contemporanea, 2013 - grafar.grf.bg.ac.rs
Recently, Kim and Shader analyzed the multiplicities of the eigenvalues of a Φ-binary tree.
We carry this discussion forward extending their results to a larger family of trees, namely …

Digenes: genetic algorithms to discover conjectures about directed and undirected graphs

R Absil, H Mélot - arXiv preprint arXiv:1304.7993, 2013 - arxiv.org
We present Digenes, a new discovery system that aims to help researchers in graph theory.
While its main task is to find extremal graphs for a given (function of) invariants, it also …

[HTML][HTML] Average distance and domination number revisited

D Rautenbach - Discrete applied mathematics, 2011 - Elsevier
Average distance and domination number revisited - ScienceDirect Skip to main contentSkip
to article Elsevier logo Journals & Books Search RegisterSign in View PDF Download full …