called "rough estimation of expectation function"

of algorithms transformation

of graph formula ordering (general case)

of algebraic computations and graph construction

to the article "On arithmetic operators programming" ("Doklady Akademii Nauk", 1958)

of the results of computation of expectation function by MK method

The result of the genral case study

The graph coloring

classified as "various graphs"