Skip to content

Improve SAT coloring #85

@Kemsekov

Description

@Kemsekov

Хроматическое число графа

$\gamma(G)$ - минимальное кол-во цветов которыми можно раскрасить граф

Оценки хроматического числа графа

$G(V,E)$ - граф
$\rho(G)$ - размер максимальной клики графа
$$\gamma(G) \ge \rho(G)$$
$\alpha(G)$ - кол-во вершин в максимально независиммом множестве
$$\gamma(G) \ge \frac{|V|}{\alpha(G)}$$
$\Delta(G) = \underset{{v_{i} \in V}}{\max} |\Gamma(v_{i})|$ - максимальная степень вершины графа
$$\gamma(G)\ge \frac{\Delta(G)+1}{2}$$
$\lambda_{max},\lambda_{min}$ - минимальные и макс собственные значения от [[Eigen Decomposition]] матрицы смежности от графа $A$
$$\gamma(G)\ge 1+ \frac{\lambda_{max}}{|\lambda_{min}|}$$

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions