Abstract: We prove a characterization of all polynomial-time computable queries on the class of interval graphs by sentences of fixed-point logic with counting. More precisely, it is shown that on the ...
Abstract: The detection of anomalous Internet-of-Things (IoT) sensor data is extremely important in many industrial applications due to the catastrophic consequences of the faulty or unreliable sensor ...
ABSTRACT: We introduce the bichromatic triangle polynomial P G Δ ( k ) , a chromatic invariant that counts vertex colorings of a graph in which every designated triangular face uses exactly two colors ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results