A Boolean Algebra Approach to the

9 downloads 0 Views 563KB Size Report
define a snark as a cubic graph that cannot be Tait colored (i.e., with chromatic index 4). This name was proposed by M. Gardner [13] who borrowed it from the ...