Lemma 2. Let G' be a graph which is

Lemma 2. Let G' be a graph which is k-choosable but not free k-choosable, v* a bad
vertex of G' and ~ := { f l , f 2 ..... fk-1} an arbitrary set of k- 1 colours. There
exists a list assignment Lv.,.~ ([L(v) I = k Vv E V(G)) so that qY(v*) E J~ is satisfied
for every Lv*, ~-list colouring (p'.
Proof. Let v* be a bad vertex. We use the known list assignment L' with
qg(v*) E U(v*) {f'} (for all U-list colourings of G) and rename the colours in
a suitable way: Let { f l , f 2 ..... fn} :: Uvev(c,)L'(v) be the set of colours appearing
in the list assignment L'. Define an injection ~k : { f l , f 2 , . . . , f n } ~ N assigning
L' (v*) { f ' ) to ~ and (for example) qJ(fi):= i+ma x ( { f l , f 2 ..... f , ) U~~, ) for all
fiq~L'(v*) {f'}. []
Lemmas 1 and 2 show that there is an important difference between the concepts 'kchoosability'
and 'free k-choosability'. Therefore, it seems that the conjecture 'Every
planar graph is free 5-choosable' is stronger than 'Every planar graph is 5-choosable'.
Nevertheless, we will prove that they are equivalent.

ผลลัพธ์ (ไทย) 1:

จับมือ 2 ให้ G' เป็นกราฟที่ไม่ฟรี แต่ k choosable k choosable, v * เสียจุดยอดของ G' และ ~: = { f l, f 2... fk-1 } ชุดการกำหนดสี k-1 มีมีการกำหนดรายการ Lv., . ~ ([L(v) ฉัน = k V(G)) E เหล่านั้นที่ qY(v*) E J ~ จะพอใจสำหรับทุก Lv *, ~ -รายการให้สี (p'.หลักฐานการ ให้ v * เป็นจุดยอดดี เราใช้การกำหนดรายการรู้จัก L' ด้วยqg(v*) E U(v*) { f'} (สำหรับ colourings U-รายการทั้งหมดของ G) และเปลี่ยนชื่อสีต่าง ๆวิธีที่เหมาะสม: ให้ { f l, f 2... fn }:: Uvev(c,)L'(v) เป็นชุดของสีที่ปรากฏในการกำหนดรายการ L'. กำหนดฉีด ~ k: {f l, f 2,... f n } ~ N กำหนดL' (v *) { f ') ไป ~ และ qJ(fi) (ตัวอย่าง): =ฉัน + ม้า x ({ f l, f 2... f,) U ~ ~,) ทั้งหมดfiq ~ L'(v*) { f'} []Lemmas 1 และ 2 แสดงว่า มีความแตกต่างระหว่างแนวคิด 'kchoosability'และ 'ฟรี k choosability' ดังนั้น มันดูเหมือนว่าข้อความคาดการณ์ ' ทุกกราฟเชิงระนาบเป็นฟรี 5 choosable' ปลอดภัย 'กราฟเชิงระนาบทุกอยู่ 5 choosable'อย่างไรก็ตาม เราจะพิสูจน์ว่า พวกเขาจะเทียบเท่า

ผลลัพธ์ (ไทย) 2:

บทแทรก 2. ให้ G 'เป็นกราฟซึ่งเป็น k-choosable แต่ไม่ฟรี k-choosable, v * ไม่ดี
จุดสุดยอดของ G 'และ ~: = {ชั้น F 2 ..... FK-1} ชุดโดยพลการ ของ K-1 สี มี
การกำหนดรายการที่มีอยู่ Lv.. ~ ([L (V) I = k Vv EV (G)) เพื่อให้ QY (V *) EJ ~ เป็นที่พอใจ
สำหรับทุก Lv * ~ สีรายชื่อ (P '.
หลักฐาน . ให้โวลต์ * เป็นจุดสุดยอดที่ไม่ดี. เราใช้การกำหนดรายชื่อที่รู้จักกัน L 'กับ
QG (V *) สหภาพยุโรป (V *) {f '} (สำหรับทุกสี U-รายการ G) และเปลี่ยนชื่อสีใน
ที่เหมาะสม วิธีการ: ให้ {ชั้น F 2 ..... Fn} :: Uvev (ค) L '(V) เป็นชุดของสีที่ปรากฏ
. ในการกำหนดรายชื่อ L 'กำหนดฉีด ~ K: {ชั้นฉ 2, Fn} ~ ไม่มีกำหนด...
L '(V *) {f') เพื่อ ~ และ (ตัวอย่าง) qJ (FI) = i + แม่ x ({ชั้น F 2 ..... ฉ) U ~~) สำหรับทุก
Fiq ~ L '(V *) {f'} []
lemmas 1 และ 2 แสดงให้เห็นว่ามีความแตกต่างที่สำคัญระหว่าง 'kchoosability' แนวคิด
และ 'K-choosability' ดังนั้นจึงดูเหมือนว่าการคาดคะเน 'ทุก
ภาพถ่ายกราฟฟรี 5-choosable 'แข็งแรงกว่า' ทุกภาพถ่ายกราฟคือ 5-choosable '.
แต่เราจะพิสูจน์ให้เห็นว่าพวกเขามีความคิด

ผลลัพธ์ (ไทย) 3:

พ 2 ให้ G เป็นกราฟซึ่งเป็น k-choosable แต่ไม่ k-choosable ฟรี , V * จุดยอดแย่
G ' ~ : = { F L , F 2 . . . . . fk-1 } เป็นหนึ่งชุดของ K - 1 สี มี
มีอยู่รายการงาน LV . , ~ ( [ L ( v ) = k ข้อ E V ( G ) ) เพื่อให้ qy ( V * ) E j ~ สะใจ
ทุกเลเวล * ~ - รายการสี ( P '
พิสูจน์ ให้ v * เป็นยอดแย่ เราใช้งาน L ' กับ
รู้จักรายการqg ( V * ) E u ( V * ) { f ' } ( สำหรับ u-list colourings G ) และเปลี่ยนสีในทางที่เหมาะสมกัน
: { f L , F 2 . . . . . FN } : : uvev ( C ) L ' ( V ) เป็นชุดของสีที่ปรากฏในรายการงาน L '
. กำหนดฉีด ~ K : { F L , f 2 , . . . . . . . . , F - } N ให้
( v * L ' f ' { ) ) ~ ( ตัวอย่าง ) QJ ( FI ) = ฉันมา x ( { 2 F L , F . . . F ) u ~ ~ ) เลย
fiq ~ L ' ( V * ) { f ' } [ ]
lemmas 1 และ 2 แสดงให้เห็นว่ามีความแตกต่างที่สำคัญระหว่างแนวคิด ' ' และ ' ' kchoosability
k-choosability ฟรี ดังนั้นดูเหมือนว่าการคาดเดาทุก
กราฟเชิงระนาบเป็น 5-choosable ฟรี ' แข็งแกร่งกว่าทุกกราฟเชิงระนาบเป็น 5-choosable ' .
แต่เราจะพิสูจน์ว่าพวกเขามีค่าเท่ากัน