數珠手環
給定簡單圖G,令V(G)、E(G)分別為G的頂點與邊所形成的集合,|V(G)|與|E(G)|分別代表G的頂點集合與邊集合的元素個數。若u, v∈V(G)且u, v有邊相連,則將此邊記為uv∈E(G)。給定函數f:V(G)∪E(G)→{1,2,3,…,m},其中m=|V(G)|+|E(G)|,若函數f滿足: (1)f為1-1函數; (2)對於每個邊uv∈E(G),f(u)+f(v)+f(uv)恆為定值; 則稱函數f為圖G的一個『邏輯函數』。給定圖G,若G存在一個邏輯函數f,則稱G為一個『邏輯圖』。對於長度為n的圈Cn(n≧3)、路徑圖Pn(n≧2)與星狀圖 Sn(n≧2),我們探討了建構邏輯函數f的策略。