search

math1um / objects-invariants-properties

Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http://nvcleemp.github.io/conjecturing/
GNU General Public License v3.0
14 stars 6 forks source link

Precompute efficient invariants #580

Closed yirkajk closed 6 years ago

yirkajk commented 6 years ago

Finishes step 2 of 4 in Issue #551. Includes a commit/merge that will close #568 and close #569.

yirkajk commented 6 years ago

Remaining missing efficient_invariants values on all_graphs, with timeout up to 20 minutes: (total 342)

maximum_average_degree for Mathon Strongly Regular Graph 1 is missing.
maximum_average_degree for Ionin-Kharaghani is missing.
maximum_average_degree for Mathon Strongly Regular Graph 0 is missing.
maximum_average_degree for Janko-Kharaghani 936 is missing.
maximum_average_degree for Mathon Strongly Regular Graph 2 is missing.
lovasz_theta for Mathon Strongly Regular Graph 1 is missing.
lovasz_theta for McLaughlin is missing.
lovasz_theta for Ionin-Kharaghani is missing.
lovasz_theta for Janko-Kharaghani-Tonchev is missing.
lovasz_theta for Mathon Strongly Regular Graph 0 is missing.
lovasz_theta for Janko-Kharaghani 936 is missing.
lovasz_theta for Mathon Strongly Regular Graph 2 is missing.
odd_girth for Mathon Strongly Regular Graph 1 is missing.
odd_girth for Ionin-Kharaghani is missing.
odd_girth for Mathon Strongly Regular Graph 0 is missing.
odd_girth for Janko-Kharaghani 936 is missing.
odd_girth for Mathon Strongly Regular Graph 2 is missing.
cvetkovic for Mathon Strongly Regular Graph 1 is missing.
cvetkovic for Ionin-Kharaghani is missing.
cvetkovic for Mathon Strongly Regular Graph 0 is missing.
cvetkovic for Janko-Kharaghani 936 is missing.
cvetkovic for Mathon Strongly Regular Graph 2 is missing.
max_eigenvalue for Cell120 is missing.
max_eigenvalue for bt2_8 is missing.
min_eigenvalue for Cell120 is missing.
min_eigenvalue for K07K09 is missing.
min_eigenvalue for bt2_8 is missing.
min_eigenvalue for distreg_not_stronglyreg9 is missing.
min_eigenvalue for K03K04 is missing.
min_eigenvalue for K05K20 is missing.
min_eigenvalue for K07K14 is missing.
min_eigenvalue for basic facet-graph two is missing.
wilf for Cell120 is missing.
wilf for bt2_8 is missing.
laplacian_energy for Cell120 is missing.
laplacian_energy for bt2_8 is missing.
laplacian_energy_like for DenBip11 is missing.
laplacian_energy_like for DenBip26 is missing.
laplacian_energy_like for ce25 is missing.
laplacian_energy_like for DenBip29 is missing.
laplacian_energy_like for ce84 is missing.
laplacian_energy_like for ce23 is missing.
laplacian_energy_like for DenBip45 is missing.
laplacian_energy_like for jakovac fig 2b is missing.
laplacian_energy_like for ce66 is missing.
laplacian_energy_like for ce19 is missing.
laplacian_energy_like for balanski is missing.
laplacian_energy_like for ce49 is missing.
laplacian_energy_like for ce82 is missing.
laplacian_energy_like for ce91 is missing.
laplacian_energy_like for ce119 is missing.
laplacian_energy_like for sabidussi_5 is missing.
laplacian_energy_like for DenBip28 is missing.
laplacian_energy_like for ce64 is missing.
laplacian_energy_like for p4Xp5 is missing.
laplacian_energy_like for ce134 is missing.
laplacian_energy_like for ce132 is missing.
laplacian_energy_like for chromatic_index_critical_7_FzNKW is missing.
laplacian_energy_like for DenBip22 is missing.
laplacian_energy_like for Kittell Graph is missing.
laplacian_energy_like for binary_octahedron is missing.
laplacian_energy_like for DenBip38 is missing.
laplacian_energy_like for DenBip23 is missing.
laplacian_energy_like for ce120 is missing.
laplacian_energy_like for LemQ4 is missing.
laplacian_energy_like for ce124 is missing.
laplacian_energy_like for ce107 is missing.
laplacian_energy_like for DenBip30 is missing.
laplacian_energy_like for ce130 is missing.
laplacian_energy_like for glasses_17_17 is missing.
laplacian_energy_like for DenBip39 is missing.
laplacian_energy_like for ce76 is missing.
laplacian_energy_like for fullerene_100 is missing.
laplacian_energy_like for DenBip25 is missing.
laplacian_energy_like for Mathon Strongly Regular Graph 1 is missing.
laplacian_energy_like for ce106 is missing.
laplacian_energy_like for ce22 is missing.
laplacian_energy_like for lovasz_plummer graph is missing.
laplacian_energy_like for ce58 is missing.
laplacian_energy_like for thomas_walls_4 is missing.
laplacian_energy_like for thomassen94 is missing.
laplacian_energy_like for steinberg_ce_g2 is missing.
laplacian_energy_like for Ionin-Kharaghani is missing.
laplacian_energy_like for DenBip41 is missing.
laplacian_energy_like for ce122 is missing.
laplacian_energy_like for CaHKLS17 is missing.
laplacian_energy_like for ce143 is missing.
laplacian_energy_like for DenBip20 is missing.
laplacian_energy_like for bt2_8 is missing.
laplacian_energy_like for steinberg_ce_g3 is missing.
laplacian_energy_like for DenBip07 is missing.
laplacian_energy_like for ce92 is missing.
laplacian_energy_like for ce101 is missing.
laplacian_energy_like for willis_page25_fig32 is missing.
laplacian_energy_like for ce87 is missing.
laplacian_energy_like for ce93 is missing.
laplacian_energy_like for ce133 is missing.
laplacian_energy_like for LemQ2 is missing.
laplacian_energy_like for DenBip24 is missing.
laplacian_energy_like for ce15 is missing.
laplacian_energy_like for sabidussi_6 is missing.
laplacian_energy_like for p10k4 is missing.
laplacian_energy_like for ce144 is missing.
laplacian_energy_like for henning fig 13 is missing.
laplacian_energy_like for willis_page10_fig23 is missing.
laplacian_energy_like for ce81 is missing.
laplacian_energy_like for ce70 is missing.
laplacian_energy_like for ce28 is missing.
laplacian_energy_like for ce105 is missing.
laplacian_energy_like for DenBip13 is missing.
laplacian_energy_like for ce114 is missing.
laplacian_energy_like for ce26 is missing.
laplacian_energy_like for holton_mckay is missing.
laplacian_energy_like for Ellingham-Horton 78-graph is missing.
laplacian_energy_like for ce44 is missing.
laplacian_energy_like for ce57 is missing.
laplacian_energy_like for ce97 is missing.
laplacian_energy_like for ce141 is missing.
laplacian_energy_like for DenBip48 is missing.
laplacian_energy_like for DenBip16 is missing.
laplacian_energy_like for paley_53e is missing.
laplacian_energy_like for DenBip37 is missing.
laplacian_energy_like for ce95 is missing.
laplacian_energy_like for ce77 is missing.
laplacian_energy_like for ce16 is missing.
laplacian_energy_like for DenBip36 is missing.
laplacian_energy_like for DenBip44 is missing.
laplacian_energy_like for Mathon Strongly Regular Graph 0 is missing.
laplacian_energy_like for ce18 is missing.
laplacian_energy_like for DenBip43 is missing.
laplacian_energy_like for DenBip17 is missing.
laplacian_energy_like for ce115 is missing.
laplacian_energy_like for ce54 is missing.
laplacian_energy_like for ce73 is missing.
laplacian_energy_like for ce29 is missing.
laplacian_energy_like for DenBip34 is missing.
laplacian_energy_like for henning fig 16 g6 is missing.
laplacian_energy_like for Ellingham-Horton 54-graph is missing.
laplacian_energy_like for ce85 is missing.
laplacian_energy_like for ce79 is missing.
laplacian_energy_like for DenBip35 is missing.
laplacian_energy_like for DenBip46 is missing.
laplacian_energy_like for ce100 is missing.
laplacian_energy_like for DenBip14 is missing.
laplacian_energy_like for ce123 is missing.
laplacian_energy_like for Caro-Roditty 5 Graph is missing.
laplacian_energy_like for ce126 is missing.
laplacian_energy_like for DenBip33 is missing.
laplacian_energy_like for willis_page41_fig514 is missing.
laplacian_energy_like for DenBip40 is missing.
laplacian_energy_like for jakovac fig 2a is missing.
laplacian_energy_like for DenBip32 is missing.
laplacian_energy_like for ce60 is missing.
laplacian_energy_like for ce62 is missing.
laplacian_energy_like for ce32 is missing.
laplacian_energy_like for c3mycielski4 is missing.
laplacian_energy_like for DenBip08 is missing.
laplacian_energy_like for DenBip49 is missing.
laplacian_energy_like for DenBip47 is missing.
laplacian_energy_like for DenBip27 is missing.
laplacian_energy_like for willis_page40_fig513 is missing.
laplacian_energy_like for DenBip12 is missing.
laplacian_energy_like for ce72 is missing.
laplacian_energy_like for ce51 is missing.
laplacian_energy_like for sabidussi_2 is missing.
laplacian_energy_like for DenBip21 is missing.
laplacian_energy_like for Janko-Kharaghani 936 is missing.
laplacian_energy_like for ce50 is missing.
laplacian_energy_like for Mathon Strongly Regular Graph 2 is missing.
laplacian_energy_like for ce88 is missing.
laplacian_energy_like for Blanusa Second Snark Graph is missing.
laplacian_energy_like for difficult11 is missing.
laplacian_energy_like for Harborth Graph is missing.
laplacian_energy_like for ce117 is missing.
laplacian_energy_like for ce108 is missing.
laplacian_energy_like for DenBip18 is missing.
laplacian_energy_like for DenBip42 is missing.
laplacian_energy_like for ce94 is missing.
laplacian_energy_like for ce24 is missing.
laplacian_energy_like for DenBip50 is missing.
gutman_energy for Cell120 is missing.
gutman_energy for bt2_8 is missing.
card_positive_eigenvalues for Mathon Strongly Regular Graph 1 is missing.
card_positive_eigenvalues for Ionin-Kharaghani is missing.
card_positive_eigenvalues for Mathon Strongly Regular Graph 0 is missing.
card_positive_eigenvalues for Janko-Kharaghani 936 is missing.
card_positive_eigenvalues for Mathon Strongly Regular Graph 2 is missing.
card_zero_eigenvalues for Mathon Strongly Regular Graph 1 is missing.
card_zero_eigenvalues for Ionin-Kharaghani is missing.
card_zero_eigenvalues for Mathon Strongly Regular Graph 0 is missing.
card_zero_eigenvalues for Janko-Kharaghani 936 is missing.
card_zero_eigenvalues for Mathon Strongly Regular Graph 2 is missing.
card_negative_eigenvalues for Mathon Strongly Regular Graph 1 is missing.
card_negative_eigenvalues for Ionin-Kharaghani is missing.
card_negative_eigenvalues for Mathon Strongly Regular Graph 0 is missing.
card_negative_eigenvalues for Janko-Kharaghani 936 is missing.
card_negative_eigenvalues for Mathon Strongly Regular Graph 2 is missing.
critical_independence_number for Mathon Strongly Regular Graph 1 is missing.
critical_independence_number for Ionin-Kharaghani is missing.
critical_independence_number for Mathon Strongly Regular Graph 0 is missing.
critical_independence_number for Janko-Kharaghani 936 is missing.
critical_independence_number for Mathon Strongly Regular Graph 2 is missing.
card_independence_irreducible_part for Mathon Strongly Regular Graph 1 is missing.
card_independence_irreducible_part for Ionin-Kharaghani is missing.
card_independence_irreducible_part for Mathon Strongly Regular Graph 0 is missing.
card_independence_irreducible_part for Janko-Kharaghani 936 is missing.
card_independence_irreducible_part for Mathon Strongly Regular Graph 2 is missing.
card_KE_part for Mathon Strongly Regular Graph 1 is missing.
card_KE_part for Ionin-Kharaghani is missing.
card_KE_part for Mathon Strongly Regular Graph 0 is missing.
card_KE_part for Janko-Kharaghani 936 is missing.
card_KE_part for Mathon Strongly Regular Graph 2 is missing.
lovasz_theta_over_root_n for Mathon Strongly Regular Graph 1 is missing.
lovasz_theta_over_root_n for McLaughlin is missing.
lovasz_theta_over_root_n for Ionin-Kharaghani is missing.
lovasz_theta_over_root_n for Janko-Kharaghani-Tonchev is missing.
lovasz_theta_over_root_n for Mathon Strongly Regular Graph 0 is missing.
lovasz_theta_over_root_n for Janko-Kharaghani 936 is missing.
lovasz_theta_over_root_n for Mathon Strongly Regular Graph 2 is missing.
theta_theta_complement for Cell120 is missing.
theta_theta_complement for Mathon Strongly Regular Graph 1 is missing.
theta_theta_complement for McLaughlin is missing.
theta_theta_complement for Ionin-Kharaghani is missing.
theta_theta_complement for CaHKLS17 is missing.
theta_theta_complement for Janko-Kharaghani-Tonchev is missing.
theta_theta_complement for bt2_8 is missing.
theta_theta_complement for Mathon Strongly Regular Graph 0 is missing.
theta_theta_complement for haemers is missing.
theta_theta_complement for Cameron Graph is missing.
theta_theta_complement for Janko-Kharaghani 936 is missing.
theta_theta_complement for Mathon Strongly Regular Graph 2 is missing.
lovasz_theta_complement for Cell120 is missing.
lovasz_theta_complement for Mathon Strongly Regular Graph 1 is missing.
lovasz_theta_complement for McLaughlin is missing.
lovasz_theta_complement for Ionin-Kharaghani is missing.
lovasz_theta_complement for CaHKLS17 is missing.
lovasz_theta_complement for Janko-Kharaghani-Tonchev is missing.
lovasz_theta_complement for bt2_8 is missing.
lovasz_theta_complement for Mathon Strongly Regular Graph 0 is missing.
lovasz_theta_complement for Cameron Graph is missing.
lovasz_theta_complement for Janko-Kharaghani 936 is missing.
lovasz_theta_complement for Mathon Strongly Regular Graph 2 is missing.
n_over_lovasz_theta_complement for Cell120 is missing.
n_over_lovasz_theta_complement for Mathon Strongly Regular Graph 1 is missing.
n_over_lovasz_theta_complement for McLaughlin is missing.
n_over_lovasz_theta_complement for Ionin-Kharaghani is missing.
n_over_lovasz_theta_complement for CaHKLS17 is missing.
n_over_lovasz_theta_complement for Janko-Kharaghani-Tonchev is missing.
n_over_lovasz_theta_complement for bt2_8 is missing.
n_over_lovasz_theta_complement for Mathon Strongly Regular Graph 0 is missing.
n_over_lovasz_theta_complement for haemers is missing.
n_over_lovasz_theta_complement for Cameron Graph is missing.
n_over_lovasz_theta_complement for Janko-Kharaghani 936 is missing.
n_over_lovasz_theta_complement for Mathon Strongly Regular Graph 2 is missing.
subcubic_tr for C69Pow16 is missing.
subcubic_tr for DenBip45 is missing.
subcubic_tr for Higman-Sims graph is missing.
subcubic_tr for C71Pow16 is missing.
subcubic_tr for C96Pow16 is missing.
subcubic_tr for ce134 is missing.
subcubic_tr for DenBip38 is missing.
subcubic_tr for C92Pow16 is missing.
subcubic_tr for C83Pow16 is missing.
subcubic_tr for DenBip39 is missing.
subcubic_tr for Mathon Strongly Regular Graph 1 is missing.
subcubic_tr for C61Pow16 is missing.
subcubic_tr for C66Pow16 is missing.
subcubic_tr for C94Pow16 is missing.
subcubic_tr for McLaughlin is missing.
subcubic_tr for Ionin-Kharaghani is missing.
subcubic_tr for DenBip41 is missing.
subcubic_tr for C88Pow16 is missing.
subcubic_tr for C82Pow16 is missing.
subcubic_tr for C89Pow16 is missing.
subcubic_tr for Janko-Kharaghani-Tonchev is missing.
subcubic_tr for C77Pow16 is missing.
subcubic_tr for C99Pow16 is missing.
subcubic_tr for ce92 is missing.
subcubic_tr for C68Pow16 is missing.
subcubic_tr for paley_149 is missing.
subcubic_tr for K05K19 is missing.
subcubic_tr for C79Pow16 is missing.
subcubic_tr for C81Pow16 is missing.
subcubic_tr for ce87 is missing.
subcubic_tr for C62Pow16 is missing.
subcubic_tr for C97Pow16 is missing.
subcubic_tr for ce133 is missing.
subcubic_tr for C63Pow16 is missing.
subcubic_tr for ce90 is missing.
subcubic_tr for C85Pow16 is missing.
subcubic_tr for C87Pow16 is missing.
subcubic_tr for C73Pow16 is missing.
subcubic_tr for C93Pow16 is missing.
subcubic_tr for C67Pow16 is missing.
subcubic_tr for DenBip48 is missing.
subcubic_tr for C78Pow16 is missing.
subcubic_tr for DenBip37 is missing.
subcubic_tr for C75Pow16 is missing.
subcubic_tr for DenBip36 is missing.
subcubic_tr for DenBip44 is missing.
subcubic_tr for Mathon Strongly Regular Graph 0 is missing.
subcubic_tr for DenBip43 is missing.
subcubic_tr for Local McLaughlin Graph is missing.
subcubic_tr for C05K20 is missing.
subcubic_tr for haemers is missing.
subcubic_tr for C84Pow16 is missing.
subcubic_tr for alon_seymour is missing.
subcubic_tr for C60Pow16 is missing.
subcubic_tr for K05K20 is missing.
subcubic_tr for Hall-Janko graph is missing.
subcubic_tr for DenBip35 is missing.
subcubic_tr for DenBip46 is missing.
subcubic_tr for ce100 is missing.
subcubic_tr for Cameron Graph is missing.
subcubic_tr for C90Pow16 is missing.
subcubic_tr for C64Pow16 is missing.
subcubic_tr for C76Pow16 is missing.
subcubic_tr for k37 is missing.
subcubic_tr for ce146 is missing.
subcubic_tr for C72Pow16 is missing.
subcubic_tr for C80Pow16 is missing.
subcubic_tr for DenBip40 is missing.
subcubic_tr for DenBip49 is missing.
subcubic_tr for DenBip47 is missing.
subcubic_tr for C98Pow16 is missing.
subcubic_tr for C65Pow16 is missing.
subcubic_tr for C70Pow16 is missing.
subcubic_tr for C95Pow16 is missing.
subcubic_tr for C91Pow16 is missing.
subcubic_tr for C86Pow16 is missing.
subcubic_tr for paley_101 is missing.
subcubic_tr for Janko-Kharaghani 936 is missing.
subcubic_tr for Mathon Strongly Regular Graph 2 is missing.
subcubic_tr for C74Pow16 is missing.
subcubic_tr for DenBip42 is missing.
subcubic_tr for DenBip50 is missing.
largest_eigenvalue_minus_avg_degree for Cell120 is missing.
largest_eigenvalue_minus_avg_degree for bt2_8 is missing.
homo_lumo_gap for Mathon Strongly Regular Graph 1 is missing.
homo_lumo_gap for Mathon Strongly Regular Graph 0 is missing.
homo_lumo_gap for Janko-Kharaghani 936 is missing.
homo_lumo_gap for Mathon Strongly Regular Graph 2 is missing.