Group Edge הוא סוג Edge המקבץ מספר צמתים לקבוצה אחת לביטויים.
מבנה המנה
1st WORD (16 bits)
┌───────────────────────┬───────────┐
│ Prefix │ GroupType │
│ 13bit │ 3bit │
└───────────────────────┴───────────┘
[1100 000 111 000] [TTT]
2nd WORD: Edge TID (16 bits)
3rd+ WORD: Member TIDs (variable)
Last WORD: Terminator (0x0000)
| שדה | סיביות | תיאור |
|---|---|---|
| Prefix | 13 | 1100 000 111 000 |
| GroupType | 3 | סוג הקבוצה (8 סוגים) |
| Edge TID | 16 | מזהה ייחודי של Edge זה |
| Member TIDs | 16×N | הפניות לחברי הקבוצה |
| Terminator | 16 | 0x0000 |
מינימום 4 מילים (חבר אחד), בדרך כלל 5~6 מילים (2~3 חברים), ללא הגבלה מקסימלית.
GroupType (3 סיביות = 8 סוגים)
| קוד | סוג | משמעות | מספר חברים |
|---|---|---|---|
| 000 | AND | צירוף לוגי (conjunction) | 2+ |
| 001 | OR | חיבור לוגי (disjunction) | 2+ |
| 010 | XOR | בחירה בלעדית | 2+ |
| 011 | LIST | רשימה מסודרת | 1+ |
| 100 | SET | קבוצה לא מסודרת | 1+ |
| 101 | RANGE | טווח (התחלה~סוף) | בדיוק 2 |
| 110 | PAIR | זוג מסודר | בדיוק 2 |
| 111 | Extension | הרחבה עתידית | - |
פירוט GroupType
AND
כל החברים משתתפים בו-זמנית. דוגמה: “דוד ושרה ויוסי נפגשו”
OR
אחד או יותר מהחברים מתקיים (inclusive or). דוגמה: “הזמן קפה או תה”
XOR
בדיוק אחד מהחברים מתקיים (exclusive or). דוגמה: “עבר או נכשל (אחד מהשניים)”
LIST
רשימה שבה הסדר משמעותי. משמשת לדירוגים ורצפים. דוגמה: “ראשון דוד, שני שרה, שלישי יוסי”
SET
קבוצה ללא סדר. רק החברות חשובה. דוגמה: “נוכחים: דוד, שרה, יוסי”
RANGE
טווח רציף הכולל ערכי ביניים. חברים בדיוק 2 (התחלה, סוף). דוגמה: “מ-1 עד 10”
PAIR
זוג מסודר פשוט. חברים בדיוק 2. משמש לקואורדינטות, key-value, ועוד. דוגמה: “קואורדינטות (3, 5)”
RANGE מול PAIR
| סוג | משמעות | ערכי ביניים |
|---|---|---|
| RANGE | טווח רציף | כלולים |
| PAIR | זוג פשוט | אין |
RANGE [1, 5] → 1, 2, 3, 4, 5 (ערכי ביניים קיימים). PAIR [1, 5] → (1, 5) (שני ערכים בלבד).
דוגמאות
“דוד ושרה נפגשו”
1. Entity Node: דוד (TID=0x0001)
2. Entity Node: שרה (TID=0x0002)
3. Group Edge: AND (TID=0x0100)
1st: [1100 000 111 000] [000] = Prefix + AND
2nd: [0x0100] = Edge TID
3rd: [0x0001] = דוד
4th: [0x0002] = שרה
5th: [0x0000] = Terminator
4. Verb Edge: meet
Subject: 0x0100 (Group reference)
Total: 5 words
“קואורדינטות (3, 5)”
1. Quantity Node: 3 (TID=0x0001)
2. Quantity Node: 5 (TID=0x0002)
3. Group Edge: PAIR (TID=0x0100)
1st: [1100 000 111 000] [110] = Prefix + PAIR
2nd: [0x0100]
3rd: [0x0001] = first (x)
4th: [0x0002] = second (y)
5th: [0x0000]
Total: 5 words
אילוצים
| GroupType | מינימום | מקסימום |
|---|---|---|
| AND / OR / XOR | 2 | ∞ |
| LIST / SET | 1 | ∞ |
| RANGE / PAIR | 2 | 2 |
- TID של חבר חייב להפנות ל-Node/Edge שהוצהר קודם
- אין הפניה עצמית (מעגלית)
- TID=0x0000 שמור כסמן סיום