Chromatic Number–Clique Lower-Bound Gap maximum clique size Solver

            from math import *

def chromatic_clique_lower_bound_gap_solve_b(c, a) -> float:
    return (a - c)

assert abs(chromatic_clique_lower_bound_gap_solve_b(2, 7) - 5) < 1e-6 * max(1.0, abs(5))
          

            #include <assert.h>
#include <math.h>

double chromatic_clique_lower_bound_gap_solve_b(double c, double a) {
    return (a - c);
}

int main(void) {
    const double expected = 5;
    const double actual = chromatic_clique_lower_bound_gap_solve_b(2, 7);
    assert(fabs(actual - expected) < 1e-6 * fmax(1.0, fabs(expected)));
}
          

            #include <cassert>
#include <cmath>
#include <numbers>

double chromatic_clique_lower_bound_gap_solve_b(double c, double a) {
    return (a - c);
}

int main() {
    constexpr double expected = 5;
    const double actual = chromatic_clique_lower_bound_gap_solve_b(2, 7);
    assert(std::fabs(actual - expected) < 1e-6 * std::fmax(1.0, std::fabs(expected)));
}
          

x86-64 NASM · System V ABI · Linux · SSE2 with libm where required

            ; double chromatic_clique_lower_bound_gap_solve_b(double c, double a)
; Linux x86-64 NASM · System V ABI · first eight doubles in xmm0–xmm7
global chromatic_clique_lower_bound_gap_solve_b
section .text

chromatic_clique_lower_bound_gap_solve_b:
    push rbp
    mov rbp, rsp
    sub rsp, 32
    movsd [rbp-8], xmm0
    movsd [rbp-16], xmm1
    movsd xmm0, [rbp-16]
    subsd xmm0, [rbp-8]
    movsd [rbp-24], xmm0
    movsd xmm0, [rbp-24]
    leave
    ret
          

            function result = chromatic_clique_lower_bound_gap_solve_b(c, a)
    result = (a - c);
end
          

            ClearAll[mwCalculate];
mwCalculate[c_, a_] := (a - c);