Anda di halaman 1dari 10

Matematika 310 (2010) 1733-1736

daftar isi yang tersedia di ScienceDirect

Matematika

jurnal homepage: www.elsevier.com/locate/disc

Umum indeks tetangga-membedakan melalui nomor kromatik saya

Mirko Hornak * . Roman Soták

Institut Matematika, PJ Safarik University, Jesenná 5, 040 01 Košice, Slovakia

articleinfo
abstrak

Pasal sejarah:
Sebuah pewarnaan tepi grafik G tanpa tepi terisolasi adalah
Menerima 25 Juni tetangga-membedakan jika ada dua simpul yang berdekatan
2008 Diterima 17 memiliki set yang berbeda yang terdiri dari warna tepi insiden
November 2009 mereka. Indeks tetangga-membedakan umum G adalah jumlah
Tersedia online 27 minimum gndi ( G) warna dalam mewarnai tepi tetangga-
November 2009 membedakan G. Győri et al. [E. Győri, M. Hornak, C. Palmer,
M.Woźniak, General indeks tetangga-membedakan dari grafik,
DiscreteMath. 308 (2008) 827-831] membuktikan gndi bahwa
Kata kunci: ( G) ∈ { 2, 3} disediakan G adalah bipartit dan memberikan
karakterisasi lengkap grafik bipartit menurut indeks tetangga-
set warna membedakan umum mereka. The aimof makalah ini adalah
untuk membuktikan bahwa jika χ ( G) ≥ 3, maka d mencatat
Tetangga-membedakan
tepi mewarnai Umum 2 χ ( G) e + 1 ≤ gndi ( G) ≤ b mencatat 2 χ ( G) c + 2. Oleh karena itu,
indeks jika log 2 χ ( G) 6∈ Z, kemudian gndi ( G) = d mencatat 2 χ ( G) e

tetangga-membedakan + 1.
jumlah Chromatic
© 2009 Elsevier-undang.
Semua grafik kita berhadapan dengan dalam makalah ini sederhana, terbatas dan
nonoriented. Membiarkan G menjadi grafik dan membiarkan k bilangan bulat positif. SEBUAH
k-tepi-pewarnaan dari G adalah pemetaan φ: MISALNYA) → { 1, . . . . k}. Itu set warna dari
sebuah sudut x ∈ V (G) dengan hormat φ adalah himpunan

S φ ( x): = { φ ( xy): xy ∈ MISALNYA)}.

mewarnai φ aku s tetangga-membedakan disediakan S φ ( x) 6 = S φ ( y) kapanpun xy ∈


MISALNYA). Gagasan set warna dapat secara alami diperluas untuk sebagian tepi pewarna
dari G di mana beberapa tepi mungkin tak berwarna.

Jelas, pewarna tetangga-membedakan dari G ada jika dan hanya jika G tidak memiliki tepi
terisolasi. Dalam kasus seperti itu yang

Indeks tetangga-membedakan dari G adalah minimum k sehingga ada yang tepat k- tepi-
mewarnai G yang membedakan tetangga; biarkan ndi ( G) menunjukkan indeks tetangga-
membedakan dari G. Ternyata, χ '( G) adalah sepele batas bawah untuk ndi ( G).

invarian telah diperkenalkan oleh Zhang et al. di kertas [ 6 ]. Para penulis menduga bahwa jika G
adalah graf terhubung,

G 6∈ { K 2, C 5}, kemudian ndi ( G) ≤ 1 ( G) + 2. Dugaan ini dikenal untuk menjadi kenyataan untuk
grafik bipartit dan untuk gelar grafik withmaximum paling banyak tiga; melihat Balister

et al. [ 1 ]. Dalam Edwards et al. [ 2 ] Itu membuktikan bahwa jika G adalah grafik pesawat dengan
1 ( G) ≥ 12, kemudian bahkan ndi ( G) ≤ 1 ( G) + 1. Menurut Hatami [ 5 ], Ndi ( G) ≤ 1 ( G) + 300
untuk grafik setiap G memuaskan 1 ( G) > 10 20.

Di sini kita tertarik dalam versi umum dari masalah di mana kami juga mengakui tepi pewarna
yang tidak tepat. Invarian yang sesuai (pertama diselidiki oleh

Győri et al. Di [ 3 ]) adalah Indeks tetangga-membedakan umum dari grafik G, dalam simbol-
simbol gndi ( G). Terbukti, jika G memiliki komponen yang terhubung G 1, . . . . G l, kemudian

gndi ( G) = max (gndi ( G i): i = 1, . . . . l).

Oleh karena itu, kita akan membatasi perhatian kita untuk grafik terhubung berbeda dari K 2.

Di [ 3 ] Grafik bipartit ditandai dari sudut pandang indeks tetangga-membedakan umum


mereka. Yaitu, jika G adalah bipartit, maka 2 ≤ gndi ( G) ≤ 3; Selanjutnya, gndi ( G) = 2 jika
dan hanya jika ada bipartisi { X 1 ∪ X 2, Y} dari V (G)

seperti yang X 1 ∩ X 2 = ∅ dan setiap vertex dari Y memiliki setidaknya satu tetangga di kedua X 1
dan X 2. Jika χ ( G) ≥ 3, di [ 3 ] Itu menunjukkan bahwa gndi ( G) ≤ 2 d mencatat 2 χ ( G) e + 1.
saya Thisworkwas didukung oleh Sains dan Teknologi Badan Bantuan di bawah kontrak No.
APVV-0007-07 dan oleh Slowakia hibah VEGA 1/3004/06.

* Penulis yang sesuai.

Alamat email: mirko.hornak@upjs.sk (M. Hornak), roman.sotak@upjs.sk (R. Soták).

0012-365X / $ - melihat hal depan © 2009 Elsevier-undang.

doi: 10,1016 / j.disc.2009.11.018


1734 M. Hornak, R. Soták / Matematika 310 (2010) 1733-1736

Győri dan Palmer di [ 4 ] Meningkatkan batas atas untuk indeks tetangga-membedakan umum
G untuk 3 d 12 mencatat 2 χ ( G) e.

Mereka juga telah membuktikan bahwa jika χ ( G) ≥ 5, maka gndi ( G) ≤ d mencatat

2 ( χ ( G) - 3) e + 5.

Tujuan dari penelitian ini adalah untuk menunjukkan bahwa jika χ ( G) ≥ 3, maka

d mencatat 2 χ ( G) e + 1 ≤ gndi ( G) ≤ b mencatat 2 χ ( G) c + 2.

Membiarkan p, q bilangan bulat. Kami akan menunjukkan sebagai [ p, q] itu Interval bilangan
bulat dibatasi oleh p dan q, yaitu, set { z ∈ Z: p ≤ z ≤ q}.

Analog, kita mendefinisikan [ p, ∞): = { z ∈ Z: z ≥ p}. Untuk q ∈ [ 2, ∞) dan m ∈ Z biarkan ( m) q


menjadi (unik) integer dalam[0, q - 1] memuaskan ( m) q ≡ m ( modern q). Jika k ∈ [ 1, ∞), yang
tepat k- vertex-mewarnai dari G dapat dilihat sebagai dekomposisi suatu V = { V i: saya ∈ [ 1, k]}
dari himpunan V (G) di mana semua set V 1, . . . . V k independen. Tanpa kehilangan umum kita
dapat mengasumsikan bahwa | V i | ≤ | V j | kapanpun aku j ∈[1, k], i < j. The nonincreasing urutan
(| V k |, . . . , | V 1 |) kemudian disebut warna urut frekuensi dari V.
Teorema 1. Jika G 6 = K 2 adalah graf terhubung, maka gndi ( G) ≥ d mencatat 2 χ ( G) e + 1.
Bukti. Taruh k: = gndi ( G) dan mempertimbangkan pewarnaan tetangga-membedakan φ:
MISALNYA) → [ 1, k]. Untuk SEBUAH ⊆ [ 1, k] membiarkan

A:¯ =
[ 1, -SEBUAH ∈ V (∈x)=A}.Jelas,VSEBUAHadalahhimpunanbebasdarisimpulG.Selainitu,jikax V
k] dan V A: x (G): SEBUAH
={ Sφ
dan y
∈V¯
∅ = A =∩S¯φ ( x) y), dan E (G) ( MISALNYA) x) y)). Demikian,
SEBUAH, ∩ S sebagainy perhatika menyiratkan φ ( ∩ S
kemudian φ ( a xy 6∈ n itu xy ∈ xy) ∈ S φ ( φ(
SEBUAH

{ V SEBUAH ∪ V ¯
SEBUAH : SEBUAH ⊆ [ 1, k]} adalah· 2 k = 2 k - 1 warna,
pewarnaan simpul yang tepat Gyang mengarah ke χ (
menggunakan paling 12 G) ≤ 2 k - 1,
gndi ( G) = k ≥ mencatat 2 χ ( G) + 1, dan
ketidaksetaraan yang diinginkan berikut.

Teorema 2. Jika G adalah graf terhubung dengan χ ( G) ≥ 3, kemudian gndi ( G) ≤ b mencatat 2 χ (


G) c + 2.
Bukti. Membiarkan χ: = χ ( G) dan biarkan { V i: saya ∈ [ 1, χ]} akan
vertex yang tepat mewarnai yang urutan frekuensi warna (| V χ |, . . . ,
| V 1 |) panjang χ ( yaitu, terpendek satu) adalah leksikografi
maksimal. Kemudian

∀ saya ∈ [ 1, χ - 1] ∀ j ∈ [ i + 1, χ] ∀ x saya ∈ V saya ∃ x j ∈ V j x saya x j ∈ MISALNYA).

Memang, disediakan sebuah sudut x saya dari V saya dengan saya ∈ [ 1, χ - 1] tidak memiliki
tetangga dalam beberapa V j dengan j ∈ [ i + 1, χ], pewarnaan vertex yang tepat

{ V l: l ∈ [ 1, χ] - { aku j}} ∪ { V j ∪ { x saya}, V saya - { x saya}}

akan memiliki urutan frekuensi warna yang leksikografis lebih besar dari (| V χ |, . . . , | V 1 |),
kontradiksi.

Jika k adalah bilangan bulat ditentukan oleh ketidaksetaraan 2 k ≤ χ < 2 k + 1, kemudian k ≤


mencatat 2 χ < k + 1 dan k = b mencatat 2 χ c ≥ 1. kami

theoremwill dibuktikan dengan menemukan pewarnaan tetangga-membedakan φ: MISALNYA) →


[ 1, k + 2]. Dengan

A: = { SEBUAH ⊆ [ 1, k + 2]: k + 2 ∈ SEBUAH} - {{ 1, k + 2}, {1, 2, k +


2}} ∪ {[ 1, k + 1]} kita memiliki | A | = 2 k + 1 - 1 ≥ χ, karenanya ada
suntikan f: [ 1, χ] → SEBUAH memuaskan

f
( χ j) = {j, k j ∈ [ 2, k + 1],
- + 2},

f χ 1) = [1, k + 1],
(-
f ( χ) = { k + 2}. Dengan demikian, | f (i) | ≥ 2 untuk setiap saya ∈ [ 1, χ - 2]. Untuk saya ∈ [ 1, χ]
dan x ∈ V saya taruh

SEBUAH x: = f (i).

Kami kemudian akan mendefinisikan pewarna parsial

φ j: MISALNYA) j = 1, 2, 3,
→ [ 1, k + 2], 4, 5, 6,

sedemikian rupa sehingga φ j merupakan kelanjutan dari φ j - 1, j = 2, 3, 4, 5, 6; mewarnai φ: = φ


6 akan memiliki sifat yang diperlukan.

Setiap tepi G adalah insiden dengan simpul x ∈ V saya dan y ∈ V j dimana saya ∈ [ 1, χ - 1] dan j
∈ [ i + 1, χ]. Dengan demikian, kita dapat mendefinisikan
( saya, j) 6 = ( χ - 1, χ) ⇒ φ 1 ( xy): = min ( SEBUAH x ∩ SEBUAH y).

Jika j 6 = χ - 1, maka k + 2 ∈ SEBUAH x ∩ SEBUAH y. Di sisi lain, asumsi j = χ - 1 hasil | SEBUAH x |


≥ 2, dan sebagainya

SEBUAH x ∩ SEBUAH y = SEBUAH x ∩ [ 1, k + 1] 6 = ∅. Oleh karena itu, pewarnaan parsial φ 1


didefinisikan dengan benar dan


z V S 1z ⊆ SEBUAH z.
∈ (G φ)
) (

Mari kita tunjukkan bahwa

∀ saya ∈ [ 1,
χ - 2] ∀ x ∈ V S x) = A x.
saya φ
1
(
M. Hornak, R. Soták / Matematika 310 (2010) 1733-
1736 1735

Pertama, k + 2 ∈ S φ 1 ( x), sejak φ 1 ( xy) = k + 2 untuk setiap tepi xy


dengan y ∈ V χ. Selanjutnya, menganggap bahwa saya ∈ [ 1, χ - k - 2].
Jika 1 ∈ SEBUAH x, kemudian 1 ∈ S φ 1 ( x) sebagai φ 1 ( xy) = 1
untuk setiap tepi xy dengan y ∈ V χ - 1. Jika j ∈ [ 2, k + 1] ∩ SEBUAH
x, kemudian j ∈ S φ 1 ( x) karena φ 1 ( xy) = j disediakan y ∈ V χ - j.
Akhirnya, i = χ - j, j ∈ [ 2, k + 1], menyebabkan j ∈ S φ 1 ( x) ∩
SEBUAH x untuk φ 1 ( xy) = j kapanpun y ∈ V χ - 1.

Masih untuk menentukan warna dari tepi xy dengan x ∈ V χ - 1 dan y ∈ V χ.


mewarnai φ 2 ditentukan oleh

S φ 1 ( y) = {k + 2} ⇒ φ 2 ( xy): = 1.
χ - 1 ''
Mari kita menunjukkan

V0
χ -
1: x ∈ V
= { χ - 1: S φ 2 ( x) = ∅},
V1
χ -
1: x ∈ V
= { χ - 1: S φ 2 ( x) 6 = ∅}.
Selanjutnya, untuk t 0, t 1 ∈ { 0, 1} membiarkan V t 0 t 1 χ adalah himpunan semua simpul yang
y ∈ V χ yang pernyataan '' y memiliki tetangga di V saya
memiliki nilai kebenaran t saya, i = 0, 1.
Pemetaan φ 3 warna tepi xy dengan y ∈ V
11
χ:
φ 3 ( xy):
= 1, S φ 2 ( x) 6 = ∅,
φ 3 ( xy):
= k + 2, S φ 2 ( x) = ∅.
pemetaan φ 4 didefinisikan dalam χ membiarkan N - ( y) adalah
beberapa langkah. Pertama, untuk himpunan semua tetangga mereka
y ∈ V 01 x dari y yang
tepi xy tidak berwarna di bawah φ 3. Taruh ψ 0: = φ 3 dan, disediakan ψ j sudah
ditentukan, biarkan ψ j + 1 menjadi kelanjutan dari ψ j
mewarnai tepi insiden dengan χ.
simpul tetap y ∈ V 01 pemet ψ j + 1 bekerja sesuai
aan dengan aturan berikut:

Jika ada minimal saya ∈ { 1, 2} sehingga S ψ j ( x) 6 = { saya} untuk setiap x ∈ N


- ( y), taruh
ψ j + 1 ( xy): = i, x ∈ N - ( y).

Jika ada x 1, xy) memuaskan S ψ j ( x 1) = { 1}, S ψ j ( x 2) = { 2} dan S ψ j ( x


2, x 3 ∈ N - ( 3) = { 1, 2}, lanjutkan sebagai berikut:
S ψ j ( x) 6 = { 1, 2} ⇒ ψ j + 1 ( xy): = 1,
S ψ j ( x) = { 1, 2} ⇒ ψ j + 1 ( xy): = k + 2.
Jika tidak ada asumsi di atas terpenuhi, mendefinisikan φ 4: = ψ j.
Jika simpul χ adalah insiden dengan tepi xy yang tidak berwarna di
y ∈ V 01 bawah φ 4, ada x 1, x 2 ∈ N - ( y) dengan S φ 4 ( x i) = { saya},
i = 1, 2, dan S φ 4 ( x) 6 = { 1, 2} untuk setiap x ∈ N - ( y). Hal ini
memungkinkan kita untuk mendefinisikan:
S φ 4 ( x) = { 1} ⇒ φ 5 ( xy): = 1,
S φ 4 ( x) 6 = { 1} ⇒ φ 5 ( xy): = 2.
Sekarang mempertimbangkan set
W: = V 10
χ∪V0 χ - 1.

Dari definisi mewarnai φ 5 jelas bahwa jalan apapun bergabung simpul χ


w ∈ W untuk sebuah sudut y ∈ W 0: = V 11 memiliki
semua
simpul internal W. Dari keterkaitan G kita melihat bahwa { W l: l ∈ [ 1, yang
∞)} dengan
W l: = { w ∈ W: min ( d G ( w, z): z ∈ W 0) = l},

dimana d G ( w, z) adalah jarak antara x dan z di G, adalah dekomposisi dari himpunan W.


karena itu, jika u v ∈ E(G) adalah keunggulan untuk itu ϕ 5( u v) tidak ditentukan , ada m

[ 1, ∞) yang mana u ∈ W m dan v ∈ W m+ 1. Untuk menemukan ϕ 6( u v) berguna untuk


memperkenalkan nama tambahan 0 untuk warna k + 2. Dengan asumsi itu kita melanjutkan
dengan cara berikut:

( ∃ m ∈ [ 1, ∞) ( u ∈ W m ∧ v ∈ W m+ 1)) ⇒ ϕ 6( u v) := ( − m) 3;

Itu terlihat jika u ∈ W 0 and v ∈ W 1, kemudian ϕ 6( u v) = ϕ 3( u


v) = k + 2 = ( − 0) 3, dan itu jadi definisi tentang valid juga untuk
m = 0.
Mari kita buktikan ketika ϕ := ϕ 6 adalah sebuah mewarnai tetangga-membedakan
Yang kemudian bertujuan untuk xy ∈ E(G) menjadi keunggulan
x ∈ V i dan y ∈ V j dimana i < j.
Jika j ≤ χ − 2, ketika S ϕ( x) = S ϕ 1 ( x) = f (i) 6= f (j) = S ϕ 1 ( y) = S ϕ( y) (ingat itu f adalah
sebuah injection). Jika j = χ − 1, ketika i ≤ χ − 2 dan y ∈ V 1
χ − 1 = V χ − 1 − W. karena itu, dapat ditulis S ϕ( x) = S ϕ 1 ( x)
∈ A mengandung k + 2, tetapi
Berbeda dari {1, 2, k + 2}. Di sisi lain , jika itu di tulis S ϕ( y) = S ϕ 5 ( y) mengandung k + 2,
ketika S ϕ( y) = { 1, 2, k + 2} 6= S ϕ( x).

Jika j = χ dan i ≤ χ − 2, ketika y ∈ V χ − W dan S ϕ( y) = S ϕ 2 ( y) ∈ {{ k+ 2}, {1, k+


2}}, yang mana S ϕ( x) = S ϕ 1 ( x) ∈ A −{{ k+ 2}}, dan menjadi S ϕ( x) 6= S ϕ( y).
Masih mempertimbangkan
kasusnya i = χ − 1 dan j = χ.
Pertama anggap itu x ∈ V χ − 1 − W yang berarti S ϕ( x)
= S ϕ 5 ( x) 6= { 1, k+ 2}. If y ∈ V 11 χ , ketika S ϕ( y) = S ϕ6
3y)= { 1, k+ 2} =
S ϕ( x). untuk selanjutnya kita
biasa asumsikan bahwa y ∈ V χ − (
V 11 ∪ W) dan S ϕ( y) = S ϕ 5 ( y) ∈ {{ 1}, {2}, {1,
χ2}, {1, k + 2}}. Jika itu adalah
1736 M. Horňák, R. Soták / Discrete Mathematics 310 (2010) 1733–1736
l ∈ { 1, 2} seperti S ϕ( y) = {l}, ketika S ϕ( x) = S ϕ 5 ( x), |S ϕ 5 ( x)| ≥ 2 dan S ϕ( x) 6= S ϕ( y). di sisi
lain, S ϕ( y) = { 1, 2} menyiratkan S ϕ( x) 6= { 1, 2} karena itu definisi dariϕ
jika x ∈ W, ketika y ∈ W 0 ∪ W danada dua kemungkinan. jika x ∈ W 2 l − 1 dan y ∈ W 2 l untuk
semua l ∈ [ 1, ∞), ketika

S ϕ( x) = S ϕ 6 ( x) = {( 1 − 2 l) 3, ( 2 − 2 l) 3} dan S ϕ( y) = S ϕ 6 ( y)
adalah salah satumya {( − 2 l) 3, ( 1 − 2 l) 3} ( jika y mempunyai
sebuah tetangga di W 2 l+ 1) atau {( 1 − 2 l) 3} (jika tidak), dalam
kedua khasus S ϕ( x) 6= S ϕ( y). hamper sama, jika itu adalah m ∈ [
0, ∞) yang mana x ∈ W 2 m+ 1 dan y ∈ W 2 m, ketika S ϕ( y) = {( − 2
m) 3, ( 1 − 2 m) 3}, S ϕ( x) ∈ {{(− 2 m) 3}, {( − 2 m) 3, ( 2 − 2 m) 3}},
dan karenanya S ϕ( x) 6= S ϕ( y).

Akibat wajar 3. jika G terhubung dengan graph dengan χ( G) ≥ 3 dan χ( G bukan kekuatan bilangan
bulat dari dua,ketika gndi( G) = d log 2 χ( G) e +

1. jika χ( G) = 2 k dengan k ∈ Z, Theorems 1 dan 2 menghasilkan gndi( G) ∈ [ k+ 1, k+ 2].


Dalam khasus ini k = 1 kedua kemungkinan gndi( G) = 2 dan gndi( G) = 3 dapat diterapkan.
(di[3] ada graf bipartit yang diklasifikasikan sehubungan dengan indeks pembedaan-
tetangga umum.) disediakan k = 2, batas atas pertama untuk gndi( G) diberi oleh [ 4 ]
adalah 3 d 12 log 2 4 e = 3 = k + 1 sehingga batas atas Teorema 2 tidak tercapai. Ini
mengarah pada pertanyaan alami berikut:
Problem 1. Apakah ada k ∈ [ 3, ∞) Dan sebuah hubungan graph G seperti χ( G) = 2 k dan gndi( G)
= k + 2?

References

[1] P.N. Balister, E. Győri, J. Lehel, R.H. Schelp, Adjacent vertex distinguishing edge-
colorings, SIAM J. Discrete Math. 21 (2007) 237–250. [2] K. Edwards, M. Horňák, M.
Woźniak, On the neighbour-distinguishing index of a graph, Graphs Combin. 22
(2006) 341–350. [3] E. Győri, M. Horňák, C. Palmer, M. Woźniak, General
neighbour-distinguishing index of a graph, Discrete Math. 308 (2008) 827–831. [4]
E. Győri, C. Palmer, Edge-derived vertex colorings, manuscript. [5] H. Hatami, ∆+
300 is a bound on the adjacent vertex distinguishing edge chromatic number, J.
Comb. Theory Ser. B 95 (2005) 246–256. [6] Z. Zhang, L. Liu, J. Wang, Adjacent
strong edge coloring of graphs, Appl. Math. Lett. 15 (2002) 623–626.