Який формат файлу графіка Dimacs?

DIMACS є формат файлу для зберігання одного неорієнтованого графа. Він має як текстовий, так і двійковий варіанти. Команди GraphTheory[ImportGraph] і GraphTheory[ExportGraph] можуть читати з текстової версії цього формату та записувати в неї. Команди загального призначення Імпорт та Експорт також підтримують цей формат.

Формат DIMACS CNF є текстове представлення формули в кон’юнктивній нормальній формі. Формула в кон’юнктивній нормальній формі є кон’юнкцією (логічною та) набору речень. Кожне речення є диз'юнкцією (логічною або) набору літералів. Літерал – це змінна або заперечення змінної.

Графічний файл є звичайний текстовий файл, що складається з двох стовпців числових даних, де перший стовпець – це значення x для графіка, а другий – значення y. Два стовпці розділені пробілом, що складається з одного символу TAB.

GML – це стандартний формат файлу в системі редактора графів Graphlet. Він був замінений і адаптований кількома іншими системами для малювання графіків». Файли GML зберігаються з використанням 7-бітного кодування ASCII з будь-якими розширеними символами ASCII (iso8859-1), які відображаються як символьні сутності HTML.

Він може створювати вихідні дані в багатьох різних форматах, зокрема:

  1. X11.
  2. формат приписки.
  3. формат gif.

DIMACS є формат файлу для зберігання одного неорієнтованого графа. Він має як текстовий, так і двійковий варіанти. Команди GraphTheory[ImportGraph] і GraphTheory[ExportGraph] можуть читати з текстової версії цього формату та записувати в неї. Команди загального призначення Імпорт та Експорт також підтримують цей формат.

Оцініть статтю