Step-by-step derivation
S001 · implies
Before
source operation=chromatic-minimum-boundary;original snapshot and mathematics retained
After
explicit ordered source output fields=[k, candidate_k_palette_valid, chromatic_number, k_equals_chromatic_number, boundary]
Conditions: none
Retain the historical interface marker in the original snapshot while listing ordered source fields here,without JavaScript or external lookup.Field names are not mathematical evidence,and No retains the operation's specific claim scope.
Step identifiers and dependencies
Rule: source_ordered_interface_explicit_without_javascript · Uses: G001
S002 · implies
Before
ACTUAL complete finite carrier Fin(6);ALL original canonical simple undirected edges=[[0, 1], [0, 2], [0, 3], [0, 5], [1, 2], [1, 3], [1, 4], [2, 3], [3, 4], [4, 5]]
After
use full original vertex/edge data;exact search domain n<=9;empty carrier and isolated vertices RETAINED
Conditions: none
Retain every original vertex and edge.This family includes n=0 rather than importing a previous nonempty-carrier guard or deleting isolates.Actual palette labels must not be replaced by semantic relabeling.
Step identifiers and dependencies
Rule: chromatic_complete_graph_not_semantic_color_relabeling · Uses: G001, S001
S003 · implies
Before
original edge index=0;actual endpoint vertices=[0, 1];ORIGINAL palette labels=[0, 1]
After
endpoint labels different=Yes
Conditions: none
Check different colors on every original edge.Numeric labels distinguish colors,not the number of colors.One failed supplied coloring does not establish nonexistence of another proper coloring.
Step identifiers and dependencies
Rule: chromatic_every_original_edge_properness · Uses: G001, S002
S004 · implies
Before
original edge index=1;actual endpoint vertices=[0, 2];ORIGINAL palette labels=[0, 2]
After
endpoint labels different=Yes
Conditions: none
Check different colors on every original edge.Numeric labels distinguish colors,not the number of colors.One failed supplied coloring does not establish nonexistence of another proper coloring.
Step identifiers and dependencies
Rule: chromatic_every_original_edge_properness · Uses: G001, S003
S005 · implies
Before
original edge index=2;actual endpoint vertices=[0, 3];ORIGINAL palette labels=[0, 3]
After
endpoint labels different=Yes
Conditions: none
Check different colors on every original edge.Numeric labels distinguish colors,not the number of colors.One failed supplied coloring does not establish nonexistence of another proper coloring.
Step identifiers and dependencies
Rule: chromatic_every_original_edge_properness · Uses: G001, S004
S006 · implies
Before
original edge index=3;actual endpoint vertices=[0, 5];ORIGINAL palette labels=[0, 1]
After
endpoint labels different=Yes
Conditions: none
Check different colors on every original edge.Numeric labels distinguish colors,not the number of colors.One failed supplied coloring does not establish nonexistence of another proper coloring.
Step identifiers and dependencies
Rule: chromatic_every_original_edge_properness · Uses: G001, S005
S007 · implies
Before
original edge index=4;actual endpoint vertices=[1, 2];ORIGINAL palette labels=[1, 2]
After
endpoint labels different=Yes
Conditions: none
Check different colors on every original edge.Numeric labels distinguish colors,not the number of colors.One failed supplied coloring does not establish nonexistence of another proper coloring.
Step identifiers and dependencies
Rule: chromatic_every_original_edge_properness · Uses: G001, S006
S008 · implies
Before
original edge index=5;actual endpoint vertices=[1, 3];ORIGINAL palette labels=[1, 3]
After
endpoint labels different=Yes
Conditions: none
Check different colors on every original edge.Numeric labels distinguish colors,not the number of colors.One failed supplied coloring does not establish nonexistence of another proper coloring.
Step identifiers and dependencies
Rule: chromatic_every_original_edge_properness · Uses: G001, S007
S009 · implies
Before
original edge index=6;actual endpoint vertices=[1, 4];ORIGINAL palette labels=[1, 0]
After
endpoint labels different=Yes
Conditions: none
Check different colors on every original edge.Numeric labels distinguish colors,not the number of colors.One failed supplied coloring does not establish nonexistence of another proper coloring.
Step identifiers and dependencies
Rule: chromatic_every_original_edge_properness · Uses: G001, S008
S010 · implies
Before
original edge index=7;actual endpoint vertices=[2, 3];ORIGINAL palette labels=[2, 3]
After
endpoint labels different=Yes
Conditions: none
Check different colors on every original edge.Numeric labels distinguish colors,not the number of colors.One failed supplied coloring does not establish nonexistence of another proper coloring.
Step identifiers and dependencies
Rule: chromatic_every_original_edge_properness · Uses: G001, S009
S011 · implies
Before
original edge index=8;actual endpoint vertices=[3, 4];ORIGINAL palette labels=[3, 0]
After
endpoint labels different=Yes
Conditions: none
Check different colors on every original edge.Numeric labels distinguish colors,not the number of colors.One failed supplied coloring does not establish nonexistence of another proper coloring.
Step identifiers and dependencies
Rule: chromatic_every_original_edge_properness · Uses: G001, S010
S012 · implies
Before
original edge index=9;actual endpoint vertices=[4, 5];ORIGINAL palette labels=[0, 1]
After
endpoint labels different=Yes
Conditions: none
Check different colors on every original edge.Numeric labels distinguish colors,not the number of colors.One failed supplied coloring does not establish nonexistence of another proper coloring.
Step identifiers and dependencies
Rule: chromatic_every_original_edge_properness · Uses: G001, S011
S013 · calculation
Before
chromatic distinct used label count := sum(1, 1, 1, 1)
After
chromatic distinct used label count = 4
Conditions: none
Substitute original roles and established intermediates exactly,retaining parameter,outcome,target and denominator roles without replacing the claim.
Step identifiers and dependencies
Rule: exact_rational_arithmetic · Uses: G001, S012
S014 · implies
Before
ORIGINAL complete color array=[0, 1, 2, 3, 0, 1];ALL edge properness flags=[Yes, Yes, Yes, Yes, Yes, Yes, Yes, Yes, Yes, Yes]
After
increasingly ordered DISTINCT used labels=[0, 1, 2, 3];distinct count=4;proper=Yes;not max_label+1
Conditions: none
Count distinct labels rather than max_label+1,with0 for an empty array.A proper supplied coloring gives an upper bound,not minimum status from greediness or small labels.
Step identifiers and dependencies
Rule: chromatic_distinct_label_count_not_palette_range_or_minimum · Uses: G001, S013
S015 · implies
Before
requested ACTUAL palette[0,5);ORIGINAL labels=[0, 1, 2, 3, 0, 1];per-vertex label<k flags=[Yes, Yes, Yes, Yes, Yes, Yes];proper=Yes
After
within requested palette=Yes;THIS candidate upper certificate=Yes;distinct used-label count=4 is a DIFFERENT test
Conditions: none
Even if at most k distinct labels are used,the supplied palette certificate fails when original labels lie outside[0,k).Semantic relabeling must not replace source data.Failure rejects this candidate,not existence of another k-coloring.
Step identifiers and dependencies
Rule: chromatic_original_palette_range_not_semantic_renaming · Uses: G001, S014
S016 · implies
Before
ACTUAL graph Fin(6);try palette[0,1);original vertex order0..5
After
search ALL earlier lexicographic prefixes:vertex order fixed,each color tried increasingly;only an actual earlier-edge conflict may prune
Conditions: none
Search each k completely rather than treating a failed greedy run as non-colorability.Fixed original vertex order and increasing colors define the source's first lexicographic witness.Prune only an actual edge conflict;otherwise continue or exhaustively backtrack.
Step identifiers and dependencies
Rule: chromatic_complete_lex_search_not_greedy_optimality · Uses: G001, S015
S017 · implies
Before
palette=1;original vertex=0;assigned ORIGINAL prefix=[];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[];admissible extension=Yes
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S016
S018 · implies
Before
palette=1;original vertex=1;assigned ORIGINAL prefix=[0];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[0];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S017
S019 · implies
Before
palette=1;original vertex=1;original fixed prefix=[0];ALL colors0..0 attempted
After
no valid completion of this prefix in this palette
Conditions: none
All allowed labels at this vertex have been tried,so this fixed prefix has no completion.Only this conclusion at the root excludes the whole k-palette.
Step identifiers and dependencies
Rule: chromatic_full_palette_exhaustion_at_prefix · Uses: G001, S018
S020 · implies
Before
palette=1;original prefix=[];vertex=0;chosen color=0;ALL its later completions exhausted
After
restore this unassigned coordinate and try the next ascending color
Conditions: none
Backtrack only after the whole subtree fails.Every later completion of this branch was excluded by an actual conflict or a completely exhausted subtree,not one sampled attempt.
Step identifiers and dependencies
Rule: chromatic_exhausted_branch_backtracking_not_one_bad_sample · Uses: G001, S019
S021 · implies
Before
palette=1;original vertex=0;original fixed prefix=[];ALL colors0..0 attempted
After
no valid completion of this prefix in this palette
Conditions: none
All allowed labels at this vertex have been tried,so this fixed prefix has no completion.Only this conclusion at the root excludes the whole k-palette.
Step identifiers and dependencies
Rule: chromatic_full_palette_exhaustion_at_prefix · Uses: G001, S020
S022 · implies
Before
palette[0,1) searched from EMPTY root prefix with full branch exclusions
After
NO proper coloring exists in this palette;any smaller palette is a subset of it
Conditions: none
Exhausting the complete root tree supplies the lower certificate.Any smaller palette embeds in this one and is excluded as well;no greedy path establishes this conclusion.
Step identifiers and dependencies
Rule: chromatic_actual_lower_palette_exhaustion · Uses: G001, S021
S023 · implies
Before
ACTUAL graph Fin(6);try palette[0,2);original vertex order0..5
After
search ALL earlier lexicographic prefixes:vertex order fixed,each color tried increasingly;only an actual earlier-edge conflict may prune
Conditions: none
Search each k completely rather than treating a failed greedy run as non-colorability.Fixed original vertex order and increasing colors define the source's first lexicographic witness.Prune only an actual edge conflict;otherwise continue or exhaustively backtrack.
Step identifiers and dependencies
Rule: chromatic_complete_lex_search_not_greedy_optimality · Uses: G001, S022
S024 · implies
Before
palette=2;original vertex=0;assigned ORIGINAL prefix=[];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[];admissible extension=Yes
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S023
S025 · implies
Before
palette=2;original vertex=1;assigned ORIGINAL prefix=[0];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[0];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S024
S026 · implies
Before
palette=2;original vertex=1;assigned ORIGINAL prefix=[0];try next ascending color=1
After
ALL earlier adjacent vertices already using this label=[];admissible extension=Yes
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S025
S027 · implies
Before
palette=2;original vertex=2;assigned ORIGINAL prefix=[0, 1];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[0];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S026
S028 · implies
Before
palette=2;original vertex=2;assigned ORIGINAL prefix=[0, 1];try next ascending color=1
After
ALL earlier adjacent vertices already using this label=[1];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S027
S029 · implies
Before
palette=2;original vertex=2;original fixed prefix=[0, 1];ALL colors0..1 attempted
After
no valid completion of this prefix in this palette
Conditions: none
All allowed labels at this vertex have been tried,so this fixed prefix has no completion.Only this conclusion at the root excludes the whole k-palette.
Step identifiers and dependencies
Rule: chromatic_full_palette_exhaustion_at_prefix · Uses: G001, S028
S030 · implies
Before
palette=2;original prefix=[0];vertex=1;chosen color=1;ALL its later completions exhausted
After
restore this unassigned coordinate and try the next ascending color
Conditions: none
Backtrack only after the whole subtree fails.Every later completion of this branch was excluded by an actual conflict or a completely exhausted subtree,not one sampled attempt.
Step identifiers and dependencies
Rule: chromatic_exhausted_branch_backtracking_not_one_bad_sample · Uses: G001, S029
S031 · implies
Before
palette=2;original vertex=1;original fixed prefix=[0];ALL colors0..1 attempted
After
no valid completion of this prefix in this palette
Conditions: none
All allowed labels at this vertex have been tried,so this fixed prefix has no completion.Only this conclusion at the root excludes the whole k-palette.
Step identifiers and dependencies
Rule: chromatic_full_palette_exhaustion_at_prefix · Uses: G001, S030
S032 · implies
Before
palette=2;original prefix=[];vertex=0;chosen color=0;ALL its later completions exhausted
After
restore this unassigned coordinate and try the next ascending color
Conditions: none
Backtrack only after the whole subtree fails.Every later completion of this branch was excluded by an actual conflict or a completely exhausted subtree,not one sampled attempt.
Step identifiers and dependencies
Rule: chromatic_exhausted_branch_backtracking_not_one_bad_sample · Uses: G001, S031
S033 · implies
Before
palette=2;original vertex=0;assigned ORIGINAL prefix=[];try next ascending color=1
After
ALL earlier adjacent vertices already using this label=[];admissible extension=Yes
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S032
S034 · implies
Before
palette=2;original vertex=1;assigned ORIGINAL prefix=[1];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[];admissible extension=Yes
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S033
S035 · implies
Before
palette=2;original vertex=2;assigned ORIGINAL prefix=[1, 0];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[1];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S034
S036 · implies
Before
palette=2;original vertex=2;assigned ORIGINAL prefix=[1, 0];try next ascending color=1
After
ALL earlier adjacent vertices already using this label=[0];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S035
S037 · implies
Before
palette=2;original vertex=2;original fixed prefix=[1, 0];ALL colors0..1 attempted
After
no valid completion of this prefix in this palette
Conditions: none
All allowed labels at this vertex have been tried,so this fixed prefix has no completion.Only this conclusion at the root excludes the whole k-palette.
Step identifiers and dependencies
Rule: chromatic_full_palette_exhaustion_at_prefix · Uses: G001, S036
S038 · implies
Before
palette=2;original prefix=[1];vertex=1;chosen color=0;ALL its later completions exhausted
After
restore this unassigned coordinate and try the next ascending color
Conditions: none
Backtrack only after the whole subtree fails.Every later completion of this branch was excluded by an actual conflict or a completely exhausted subtree,not one sampled attempt.
Step identifiers and dependencies
Rule: chromatic_exhausted_branch_backtracking_not_one_bad_sample · Uses: G001, S037
S039 · implies
Before
palette=2;original vertex=1;assigned ORIGINAL prefix=[1];try next ascending color=1
After
ALL earlier adjacent vertices already using this label=[0];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S038
S040 · implies
Before
palette=2;original vertex=1;original fixed prefix=[1];ALL colors0..1 attempted
After
no valid completion of this prefix in this palette
Conditions: none
All allowed labels at this vertex have been tried,so this fixed prefix has no completion.Only this conclusion at the root excludes the whole k-palette.
Step identifiers and dependencies
Rule: chromatic_full_palette_exhaustion_at_prefix · Uses: G001, S039
S041 · implies
Before
palette=2;original prefix=[];vertex=0;chosen color=1;ALL its later completions exhausted
After
restore this unassigned coordinate and try the next ascending color
Conditions: none
Backtrack only after the whole subtree fails.Every later completion of this branch was excluded by an actual conflict or a completely exhausted subtree,not one sampled attempt.
Step identifiers and dependencies
Rule: chromatic_exhausted_branch_backtracking_not_one_bad_sample · Uses: G001, S040
S042 · implies
Before
palette=2;original vertex=0;original fixed prefix=[];ALL colors0..1 attempted
After
no valid completion of this prefix in this palette
Conditions: none
All allowed labels at this vertex have been tried,so this fixed prefix has no completion.Only this conclusion at the root excludes the whole k-palette.
Step identifiers and dependencies
Rule: chromatic_full_palette_exhaustion_at_prefix · Uses: G001, S041
S043 · implies
Before
palette[0,2) searched from EMPTY root prefix with full branch exclusions
After
NO proper coloring exists in this palette;any smaller palette is a subset of it
Conditions: none
Exhausting the complete root tree supplies the lower certificate.Any smaller palette embeds in this one and is excluded as well;no greedy path establishes this conclusion.
Step identifiers and dependencies
Rule: chromatic_actual_lower_palette_exhaustion · Uses: G001, S042
S044 · implies
Before
ACTUAL graph Fin(6);try palette[0,3);original vertex order0..5
After
search ALL earlier lexicographic prefixes:vertex order fixed,each color tried increasingly;only an actual earlier-edge conflict may prune
Conditions: none
Search each k completely rather than treating a failed greedy run as non-colorability.Fixed original vertex order and increasing colors define the source's first lexicographic witness.Prune only an actual edge conflict;otherwise continue or exhaustively backtrack.
Step identifiers and dependencies
Rule: chromatic_complete_lex_search_not_greedy_optimality · Uses: G001, S043
S045 · implies
Before
palette=3;original vertex=0;assigned ORIGINAL prefix=[];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[];admissible extension=Yes
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S044
S046 · implies
Before
palette=3;original vertex=1;assigned ORIGINAL prefix=[0];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[0];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S045
S047 · implies
Before
palette=3;original vertex=1;assigned ORIGINAL prefix=[0];try next ascending color=1
After
ALL earlier adjacent vertices already using this label=[];admissible extension=Yes
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S046
S048 · implies
Before
palette=3;original vertex=2;assigned ORIGINAL prefix=[0, 1];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[0];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S047
S049 · implies
Before
palette=3;original vertex=2;assigned ORIGINAL prefix=[0, 1];try next ascending color=1
After
ALL earlier adjacent vertices already using this label=[1];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S048
S050 · implies
Before
palette=3;original vertex=2;assigned ORIGINAL prefix=[0, 1];try next ascending color=2
After
ALL earlier adjacent vertices already using this label=[];admissible extension=Yes
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S049
S051 · implies
Before
palette=3;original vertex=3;assigned ORIGINAL prefix=[0, 1, 2];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[0];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S050
S052 · implies
Before
palette=3;original vertex=3;assigned ORIGINAL prefix=[0, 1, 2];try next ascending color=1
After
ALL earlier adjacent vertices already using this label=[1];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S051
S053 · implies
Before
palette=3;original vertex=3;assigned ORIGINAL prefix=[0, 1, 2];try next ascending color=2
After
ALL earlier adjacent vertices already using this label=[2];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S052
S054 · implies
Before
palette=3;original vertex=3;original fixed prefix=[0, 1, 2];ALL colors0..2 attempted
After
no valid completion of this prefix in this palette
Conditions: none
All allowed labels at this vertex have been tried,so this fixed prefix has no completion.Only this conclusion at the root excludes the whole k-palette.
Step identifiers and dependencies
Rule: chromatic_full_palette_exhaustion_at_prefix · Uses: G001, S053
S055 · implies
Before
palette=3;original prefix=[0, 1];vertex=2;chosen color=2;ALL its later completions exhausted
After
restore this unassigned coordinate and try the next ascending color
Conditions: none
Backtrack only after the whole subtree fails.Every later completion of this branch was excluded by an actual conflict or a completely exhausted subtree,not one sampled attempt.
Step identifiers and dependencies
Rule: chromatic_exhausted_branch_backtracking_not_one_bad_sample · Uses: G001, S054
S056 · implies
Before
palette=3;original vertex=2;original fixed prefix=[0, 1];ALL colors0..2 attempted
After
no valid completion of this prefix in this palette
Conditions: none
All allowed labels at this vertex have been tried,so this fixed prefix has no completion.Only this conclusion at the root excludes the whole k-palette.
Step identifiers and dependencies
Rule: chromatic_full_palette_exhaustion_at_prefix · Uses: G001, S055
S057 · implies
Before
palette=3;original prefix=[0];vertex=1;chosen color=1;ALL its later completions exhausted
After
restore this unassigned coordinate and try the next ascending color
Conditions: none
Backtrack only after the whole subtree fails.Every later completion of this branch was excluded by an actual conflict or a completely exhausted subtree,not one sampled attempt.
Step identifiers and dependencies
Rule: chromatic_exhausted_branch_backtracking_not_one_bad_sample · Uses: G001, S056
S058 · implies
Before
palette=3;original vertex=1;assigned ORIGINAL prefix=[0];try next ascending color=2
After
ALL earlier adjacent vertices already using this label=[];admissible extension=Yes
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S057
S059 · implies
Before
palette=3;original vertex=2;assigned ORIGINAL prefix=[0, 2];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[0];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S058
S060 · implies
Before
palette=3;original vertex=2;assigned ORIGINAL prefix=[0, 2];try next ascending color=1
After
ALL earlier adjacent vertices already using this label=[];admissible extension=Yes
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S059
S061 · implies
Before
palette=3;original vertex=3;assigned ORIGINAL prefix=[0, 2, 1];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[0];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S060
S062 · implies
Before
palette=3;original vertex=3;assigned ORIGINAL prefix=[0, 2, 1];try next ascending color=1
After
ALL earlier adjacent vertices already using this label=[2];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S061
S063 · implies
Before
palette=3;original vertex=3;assigned ORIGINAL prefix=[0, 2, 1];try next ascending color=2
After
ALL earlier adjacent vertices already using this label=[1];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S062
S064 · implies
Before
palette=3;original vertex=3;original fixed prefix=[0, 2, 1];ALL colors0..2 attempted
After
no valid completion of this prefix in this palette
Conditions: none
All allowed labels at this vertex have been tried,so this fixed prefix has no completion.Only this conclusion at the root excludes the whole k-palette.
Step identifiers and dependencies
Rule: chromatic_full_palette_exhaustion_at_prefix · Uses: G001, S063
S065 · implies
Before
palette=3;original prefix=[0, 2];vertex=2;chosen color=1;ALL its later completions exhausted
After
restore this unassigned coordinate and try the next ascending color
Conditions: none
Backtrack only after the whole subtree fails.Every later completion of this branch was excluded by an actual conflict or a completely exhausted subtree,not one sampled attempt.
Step identifiers and dependencies
Rule: chromatic_exhausted_branch_backtracking_not_one_bad_sample · Uses: G001, S064
S066 · implies
Before
palette=3;original vertex=2;assigned ORIGINAL prefix=[0, 2];try next ascending color=2
After
ALL earlier adjacent vertices already using this label=[1];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S065
S067 · implies
Before
palette=3;original vertex=2;original fixed prefix=[0, 2];ALL colors0..2 attempted
After
no valid completion of this prefix in this palette
Conditions: none
All allowed labels at this vertex have been tried,so this fixed prefix has no completion.Only this conclusion at the root excludes the whole k-palette.
Step identifiers and dependencies
Rule: chromatic_full_palette_exhaustion_at_prefix · Uses: G001, S066
S068 · implies
Before
palette=3;original prefix=[0];vertex=1;chosen color=2;ALL its later completions exhausted
After
restore this unassigned coordinate and try the next ascending color
Conditions: none
Backtrack only after the whole subtree fails.Every later completion of this branch was excluded by an actual conflict or a completely exhausted subtree,not one sampled attempt.
Step identifiers and dependencies
Rule: chromatic_exhausted_branch_backtracking_not_one_bad_sample · Uses: G001, S067
S069 · implies
Before
palette=3;original vertex=1;original fixed prefix=[0];ALL colors0..2 attempted
After
no valid completion of this prefix in this palette
Conditions: none
All allowed labels at this vertex have been tried,so this fixed prefix has no completion.Only this conclusion at the root excludes the whole k-palette.
Step identifiers and dependencies
Rule: chromatic_full_palette_exhaustion_at_prefix · Uses: G001, S068
S070 · implies
Before
palette=3;original prefix=[];vertex=0;chosen color=0;ALL its later completions exhausted
After
restore this unassigned coordinate and try the next ascending color
Conditions: none
Backtrack only after the whole subtree fails.Every later completion of this branch was excluded by an actual conflict or a completely exhausted subtree,not one sampled attempt.
Step identifiers and dependencies
Rule: chromatic_exhausted_branch_backtracking_not_one_bad_sample · Uses: G001, S069
S071 · implies
Before
palette=3;original vertex=0;assigned ORIGINAL prefix=[];try next ascending color=1
After
ALL earlier adjacent vertices already using this label=[];admissible extension=Yes
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S070
S072 · implies
Before
palette=3;original vertex=1;assigned ORIGINAL prefix=[1];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[];admissible extension=Yes
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S071
S073 · implies
Before
palette=3;original vertex=2;assigned ORIGINAL prefix=[1, 0];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[1];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S072
S074 · implies
Before
palette=3;original vertex=2;assigned ORIGINAL prefix=[1, 0];try next ascending color=1
After
ALL earlier adjacent vertices already using this label=[0];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S073
S075 · implies
Before
palette=3;original vertex=2;assigned ORIGINAL prefix=[1, 0];try next ascending color=2
After
ALL earlier adjacent vertices already using this label=[];admissible extension=Yes
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S074
S076 · implies
Before
palette=3;original vertex=3;assigned ORIGINAL prefix=[1, 0, 2];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[1];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S075
S077 · implies
Before
palette=3;original vertex=3;assigned ORIGINAL prefix=[1, 0, 2];try next ascending color=1
After
ALL earlier adjacent vertices already using this label=[0];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S076
S078 · implies
Before
palette=3;original vertex=3;assigned ORIGINAL prefix=[1, 0, 2];try next ascending color=2
After
ALL earlier adjacent vertices already using this label=[2];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S077
S079 · implies
Before
palette=3;original vertex=3;original fixed prefix=[1, 0, 2];ALL colors0..2 attempted
After
no valid completion of this prefix in this palette
Conditions: none
All allowed labels at this vertex have been tried,so this fixed prefix has no completion.Only this conclusion at the root excludes the whole k-palette.
Step identifiers and dependencies
Rule: chromatic_full_palette_exhaustion_at_prefix · Uses: G001, S078
S080 · implies
Before
palette=3;original prefix=[1, 0];vertex=2;chosen color=2;ALL its later completions exhausted
After
restore this unassigned coordinate and try the next ascending color
Conditions: none
Backtrack only after the whole subtree fails.Every later completion of this branch was excluded by an actual conflict or a completely exhausted subtree,not one sampled attempt.
Step identifiers and dependencies
Rule: chromatic_exhausted_branch_backtracking_not_one_bad_sample · Uses: G001, S079
S081 · implies
Before
palette=3;original vertex=2;original fixed prefix=[1, 0];ALL colors0..2 attempted
After
no valid completion of this prefix in this palette
Conditions: none
All allowed labels at this vertex have been tried,so this fixed prefix has no completion.Only this conclusion at the root excludes the whole k-palette.
Step identifiers and dependencies
Rule: chromatic_full_palette_exhaustion_at_prefix · Uses: G001, S080
S082 · implies
Before
palette=3;original prefix=[1];vertex=1;chosen color=0;ALL its later completions exhausted
After
restore this unassigned coordinate and try the next ascending color
Conditions: none
Backtrack only after the whole subtree fails.Every later completion of this branch was excluded by an actual conflict or a completely exhausted subtree,not one sampled attempt.
Step identifiers and dependencies
Rule: chromatic_exhausted_branch_backtracking_not_one_bad_sample · Uses: G001, S081
S083 · implies
Before
palette=3;original vertex=1;assigned ORIGINAL prefix=[1];try next ascending color=1
After
ALL earlier adjacent vertices already using this label=[0];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S082
S084 · implies
Before
palette=3;original vertex=1;assigned ORIGINAL prefix=[1];try next ascending color=2
After
ALL earlier adjacent vertices already using this label=[];admissible extension=Yes
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S083
S085 · implies
Before
palette=3;original vertex=2;assigned ORIGINAL prefix=[1, 2];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[];admissible extension=Yes
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S084
S086 · implies
Before
palette=3;original vertex=3;assigned ORIGINAL prefix=[1, 2, 0];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[2];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S085
S087 · implies
Before
palette=3;original vertex=3;assigned ORIGINAL prefix=[1, 2, 0];try next ascending color=1
After
ALL earlier adjacent vertices already using this label=[0];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S086
S088 · implies
Before
palette=3;original vertex=3;assigned ORIGINAL prefix=[1, 2, 0];try next ascending color=2
After
ALL earlier adjacent vertices already using this label=[1];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S087
S089 · implies
Before
palette=3;original vertex=3;original fixed prefix=[1, 2, 0];ALL colors0..2 attempted
After
no valid completion of this prefix in this palette
Conditions: none
All allowed labels at this vertex have been tried,so this fixed prefix has no completion.Only this conclusion at the root excludes the whole k-palette.
Step identifiers and dependencies
Rule: chromatic_full_palette_exhaustion_at_prefix · Uses: G001, S088
S090 · implies
Before
palette=3;original prefix=[1, 2];vertex=2;chosen color=0;ALL its later completions exhausted
After
restore this unassigned coordinate and try the next ascending color
Conditions: none
Backtrack only after the whole subtree fails.Every later completion of this branch was excluded by an actual conflict or a completely exhausted subtree,not one sampled attempt.
Step identifiers and dependencies
Rule: chromatic_exhausted_branch_backtracking_not_one_bad_sample · Uses: G001, S089
S091 · implies
Before
palette=3;original vertex=2;assigned ORIGINAL prefix=[1, 2];try next ascending color=1
After
ALL earlier adjacent vertices already using this label=[0];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S090
S092 · implies
Before
palette=3;original vertex=2;assigned ORIGINAL prefix=[1, 2];try next ascending color=2
After
ALL earlier adjacent vertices already using this label=[1];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S091
S093 · implies
Before
palette=3;original vertex=2;original fixed prefix=[1, 2];ALL colors0..2 attempted
After
no valid completion of this prefix in this palette
Conditions: none
All allowed labels at this vertex have been tried,so this fixed prefix has no completion.Only this conclusion at the root excludes the whole k-palette.
Step identifiers and dependencies
Rule: chromatic_full_palette_exhaustion_at_prefix · Uses: G001, S092
S094 · implies
Before
palette=3;original prefix=[1];vertex=1;chosen color=2;ALL its later completions exhausted
After
restore this unassigned coordinate and try the next ascending color
Conditions: none
Backtrack only after the whole subtree fails.Every later completion of this branch was excluded by an actual conflict or a completely exhausted subtree,not one sampled attempt.
Step identifiers and dependencies
Rule: chromatic_exhausted_branch_backtracking_not_one_bad_sample · Uses: G001, S093
S095 · implies
Before
palette=3;original vertex=1;original fixed prefix=[1];ALL colors0..2 attempted
After
no valid completion of this prefix in this palette
Conditions: none
All allowed labels at this vertex have been tried,so this fixed prefix has no completion.Only this conclusion at the root excludes the whole k-palette.
Step identifiers and dependencies
Rule: chromatic_full_palette_exhaustion_at_prefix · Uses: G001, S094
S096 · implies
Before
palette=3;original prefix=[];vertex=0;chosen color=1;ALL its later completions exhausted
After
restore this unassigned coordinate and try the next ascending color
Conditions: none
Backtrack only after the whole subtree fails.Every later completion of this branch was excluded by an actual conflict or a completely exhausted subtree,not one sampled attempt.
Step identifiers and dependencies
Rule: chromatic_exhausted_branch_backtracking_not_one_bad_sample · Uses: G001, S095
S097 · implies
Before
palette=3;original vertex=0;assigned ORIGINAL prefix=[];try next ascending color=2
After
ALL earlier adjacent vertices already using this label=[];admissible extension=Yes
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S096
S098 · implies
Before
palette=3;original vertex=1;assigned ORIGINAL prefix=[2];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[];admissible extension=Yes
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S097
S099 · implies
Before
palette=3;original vertex=2;assigned ORIGINAL prefix=[2, 0];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[1];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S098
S100 · implies
Before
palette=3;original vertex=2;assigned ORIGINAL prefix=[2, 0];try next ascending color=1
After
ALL earlier adjacent vertices already using this label=[];admissible extension=Yes
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S099
S101 · implies
Before
palette=3;original vertex=3;assigned ORIGINAL prefix=[2, 0, 1];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[1];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S100
S102 · implies
Before
palette=3;original vertex=3;assigned ORIGINAL prefix=[2, 0, 1];try next ascending color=1
After
ALL earlier adjacent vertices already using this label=[2];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S101
S103 · implies
Before
palette=3;original vertex=3;assigned ORIGINAL prefix=[2, 0, 1];try next ascending color=2
After
ALL earlier adjacent vertices already using this label=[0];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S102
S104 · implies
Before
palette=3;original vertex=3;original fixed prefix=[2, 0, 1];ALL colors0..2 attempted
After
no valid completion of this prefix in this palette
Conditions: none
All allowed labels at this vertex have been tried,so this fixed prefix has no completion.Only this conclusion at the root excludes the whole k-palette.
Step identifiers and dependencies
Rule: chromatic_full_palette_exhaustion_at_prefix · Uses: G001, S103
S105 · implies
Before
palette=3;original prefix=[2, 0];vertex=2;chosen color=1;ALL its later completions exhausted
After
restore this unassigned coordinate and try the next ascending color
Conditions: none
Backtrack only after the whole subtree fails.Every later completion of this branch was excluded by an actual conflict or a completely exhausted subtree,not one sampled attempt.
Step identifiers and dependencies
Rule: chromatic_exhausted_branch_backtracking_not_one_bad_sample · Uses: G001, S104
S106 · implies
Before
palette=3;original vertex=2;assigned ORIGINAL prefix=[2, 0];try next ascending color=2
After
ALL earlier adjacent vertices already using this label=[0];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S105
S107 · implies
Before
palette=3;original vertex=2;original fixed prefix=[2, 0];ALL colors0..2 attempted
After
no valid completion of this prefix in this palette
Conditions: none
All allowed labels at this vertex have been tried,so this fixed prefix has no completion.Only this conclusion at the root excludes the whole k-palette.
Step identifiers and dependencies
Rule: chromatic_full_palette_exhaustion_at_prefix · Uses: G001, S106
S108 · implies
Before
palette=3;original prefix=[2];vertex=1;chosen color=0;ALL its later completions exhausted
After
restore this unassigned coordinate and try the next ascending color
Conditions: none
Backtrack only after the whole subtree fails.Every later completion of this branch was excluded by an actual conflict or a completely exhausted subtree,not one sampled attempt.
Step identifiers and dependencies
Rule: chromatic_exhausted_branch_backtracking_not_one_bad_sample · Uses: G001, S107
S109 · implies
Before
palette=3;original vertex=1;assigned ORIGINAL prefix=[2];try next ascending color=1
After
ALL earlier adjacent vertices already using this label=[];admissible extension=Yes
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S108
S110 · implies
Before
palette=3;original vertex=2;assigned ORIGINAL prefix=[2, 1];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[];admissible extension=Yes
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S109
S111 · implies
Before
palette=3;original vertex=3;assigned ORIGINAL prefix=[2, 1, 0];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[2];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S110
S112 · implies
Before
palette=3;original vertex=3;assigned ORIGINAL prefix=[2, 1, 0];try next ascending color=1
After
ALL earlier adjacent vertices already using this label=[1];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S111
S113 · implies
Before
palette=3;original vertex=3;assigned ORIGINAL prefix=[2, 1, 0];try next ascending color=2
After
ALL earlier adjacent vertices already using this label=[0];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S112
S114 · implies
Before
palette=3;original vertex=3;original fixed prefix=[2, 1, 0];ALL colors0..2 attempted
After
no valid completion of this prefix in this palette
Conditions: none
All allowed labels at this vertex have been tried,so this fixed prefix has no completion.Only this conclusion at the root excludes the whole k-palette.
Step identifiers and dependencies
Rule: chromatic_full_palette_exhaustion_at_prefix · Uses: G001, S113
S115 · implies
Before
palette=3;original prefix=[2, 1];vertex=2;chosen color=0;ALL its later completions exhausted
After
restore this unassigned coordinate and try the next ascending color
Conditions: none
Backtrack only after the whole subtree fails.Every later completion of this branch was excluded by an actual conflict or a completely exhausted subtree,not one sampled attempt.
Step identifiers and dependencies
Rule: chromatic_exhausted_branch_backtracking_not_one_bad_sample · Uses: G001, S114
S116 · implies
Before
palette=3;original vertex=2;assigned ORIGINAL prefix=[2, 1];try next ascending color=1
After
ALL earlier adjacent vertices already using this label=[1];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S115
S117 · implies
Before
palette=3;original vertex=2;assigned ORIGINAL prefix=[2, 1];try next ascending color=2
After
ALL earlier adjacent vertices already using this label=[0];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S116
S118 · implies
Before
palette=3;original vertex=2;original fixed prefix=[2, 1];ALL colors0..2 attempted
After
no valid completion of this prefix in this palette
Conditions: none
All allowed labels at this vertex have been tried,so this fixed prefix has no completion.Only this conclusion at the root excludes the whole k-palette.
Step identifiers and dependencies
Rule: chromatic_full_palette_exhaustion_at_prefix · Uses: G001, S117
S119 · implies
Before
palette=3;original prefix=[2];vertex=1;chosen color=1;ALL its later completions exhausted
After
restore this unassigned coordinate and try the next ascending color
Conditions: none
Backtrack only after the whole subtree fails.Every later completion of this branch was excluded by an actual conflict or a completely exhausted subtree,not one sampled attempt.
Step identifiers and dependencies
Rule: chromatic_exhausted_branch_backtracking_not_one_bad_sample · Uses: G001, S118
S120 · implies
Before
palette=3;original vertex=1;assigned ORIGINAL prefix=[2];try next ascending color=2
After
ALL earlier adjacent vertices already using this label=[0];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S119
S121 · implies
Before
palette=3;original vertex=1;original fixed prefix=[2];ALL colors0..2 attempted
After
no valid completion of this prefix in this palette
Conditions: none
All allowed labels at this vertex have been tried,so this fixed prefix has no completion.Only this conclusion at the root excludes the whole k-palette.
Step identifiers and dependencies
Rule: chromatic_full_palette_exhaustion_at_prefix · Uses: G001, S120
S122 · implies
Before
palette=3;original prefix=[];vertex=0;chosen color=2;ALL its later completions exhausted
After
restore this unassigned coordinate and try the next ascending color
Conditions: none
Backtrack only after the whole subtree fails.Every later completion of this branch was excluded by an actual conflict or a completely exhausted subtree,not one sampled attempt.
Step identifiers and dependencies
Rule: chromatic_exhausted_branch_backtracking_not_one_bad_sample · Uses: G001, S121
S123 · implies
Before
palette=3;original vertex=0;original fixed prefix=[];ALL colors0..2 attempted
After
no valid completion of this prefix in this palette
Conditions: none
All allowed labels at this vertex have been tried,so this fixed prefix has no completion.Only this conclusion at the root excludes the whole k-palette.
Step identifiers and dependencies
Rule: chromatic_full_palette_exhaustion_at_prefix · Uses: G001, S122
S124 · implies
Before
palette[0,3) searched from EMPTY root prefix with full branch exclusions
After
NO proper coloring exists in this palette;any smaller palette is a subset of it
Conditions: none
Exhausting the complete root tree supplies the lower certificate.Any smaller palette embeds in this one and is excluded as well;no greedy path establishes this conclusion.
Step identifiers and dependencies
Rule: chromatic_actual_lower_palette_exhaustion · Uses: G001, S123
S125 · implies
Before
ACTUAL graph Fin(6);try palette[0,4);original vertex order0..5
After
search ALL earlier lexicographic prefixes:vertex order fixed,each color tried increasingly;only an actual earlier-edge conflict may prune
Conditions: none
Search each k completely rather than treating a failed greedy run as non-colorability.Fixed original vertex order and increasing colors define the source's first lexicographic witness.Prune only an actual edge conflict;otherwise continue or exhaustively backtrack.
Step identifiers and dependencies
Rule: chromatic_complete_lex_search_not_greedy_optimality · Uses: G001, S124
S126 · implies
Before
palette=4;original vertex=0;assigned ORIGINAL prefix=[];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[];admissible extension=Yes
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S125
S127 · implies
Before
palette=4;original vertex=1;assigned ORIGINAL prefix=[0];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[0];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S126
S128 · implies
Before
palette=4;original vertex=1;assigned ORIGINAL prefix=[0];try next ascending color=1
After
ALL earlier adjacent vertices already using this label=[];admissible extension=Yes
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S127
S129 · implies
Before
palette=4;original vertex=2;assigned ORIGINAL prefix=[0, 1];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[0];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S128
S130 · implies
Before
palette=4;original vertex=2;assigned ORIGINAL prefix=[0, 1];try next ascending color=1
After
ALL earlier adjacent vertices already using this label=[1];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S129
S131 · implies
Before
palette=4;original vertex=2;assigned ORIGINAL prefix=[0, 1];try next ascending color=2
After
ALL earlier adjacent vertices already using this label=[];admissible extension=Yes
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S130
S132 · implies
Before
palette=4;original vertex=3;assigned ORIGINAL prefix=[0, 1, 2];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[0];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S131
S133 · implies
Before
palette=4;original vertex=3;assigned ORIGINAL prefix=[0, 1, 2];try next ascending color=1
After
ALL earlier adjacent vertices already using this label=[1];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S132
S134 · implies
Before
palette=4;original vertex=3;assigned ORIGINAL prefix=[0, 1, 2];try next ascending color=2
After
ALL earlier adjacent vertices already using this label=[2];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S133
S135 · implies
Before
palette=4;original vertex=3;assigned ORIGINAL prefix=[0, 1, 2];try next ascending color=3
After
ALL earlier adjacent vertices already using this label=[];admissible extension=Yes
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S134
S136 · implies
Before
palette=4;original vertex=4;assigned ORIGINAL prefix=[0, 1, 2, 3];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[];admissible extension=Yes
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S135
S137 · implies
Before
palette=4;original vertex=5;assigned ORIGINAL prefix=[0, 1, 2, 3, 0];try next ascending color=0
After
ALL earlier adjacent vertices already using this label=[0, 4];admissible extension=No
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S136
S138 · implies
Before
palette=4;original vertex=5;assigned ORIGINAL prefix=[0, 1, 2, 3, 0];try next ascending color=1
After
ALL earlier adjacent vertices already using this label=[];admissible extension=Yes
Conditions: none
List all actual earlier-neighbor conflicts for this prefix/color.A conflict rejects every completion of that extension;otherwise recursively check all remaining vertices rather than calling a local pass a complete solution.
Step identifiers and dependencies
Rule: chromatic_every_prefix_color_conflict_or_recursion · Uses: G001, S137
S139 · implies
Before
FIRST completed vertex-order increasing-color search witness=[0, 1, 2, 3, 0, 1];palette size=4;ALL smaller palettes exhausted
After
every ORIGINAL edge endpoints different;constructive chi<= 4 and exhaustive chi>= 4;chi=4;first LEX witness retained
Conditions: none
The complete proper original-edge coloring gives the upper bound;the preceding exhaustive failures give the lower bound.Their equality establishes the exact minimum.Fixed DFS order preserves the source's first lexicographic witness,not an arbitrary optimum.A nonempty edgeless graph succeeds first at k=1 with all zeros;no fictitious0-color search is needed.
Step identifiers and dependencies
Rule: chromatic_constructive_upper_and_exhausted_lower_tie_order · Uses: G001, S138
S140 · implies
Before
requested k=5;THIS supplied candidate validity=Yes;SEPARATE exact chi=4;SEPARATE canonical optimum witness=[0, 1, 2, 3, 0, 1]
After
k equals chromatic number=No;comparison does NOT certify supplied colors;at-most-k and exact-k-minimum are separate
Conditions: none
k may equal the true chromatic number while the supplied coloring fails.Or a valid k-palette may only give chi≤k with equality false.Keep these separate questions and do not copy one successful flag into another.
Step identifiers and dependencies
Rule: chromatic_k_equals_chi_independent_of_supplied_candidate · Uses: G001, S139