Information System on Graph Classes and their Inclusions

ISGCI is an encyclopaedia of graphclasses with an accompanying java application that aids research about particular graph classes. Researchers can: check the relation between graph classes and get a witness for the result; draw clear inclusion diagrams; colour these diagrams according to the complexity of selected problems; find the P/NP boundary for a problem; save diagrams as Postscript, GraphML or SVG files; and find references on classes, inclusions and algorithms.ISGCI是一部图类百科全书，配套一款Java应用程序，旨在助力针对特定图类的研究工作。研究人员可通过该工具实现以下功能：验证各类图类间的关联关系，并获取对应结论的佐证实例；绘制清晰的图类包含关系示意图；根据选定问题的计算复杂度为该类示意图着色标注；确定特定问题的P/NP复杂度边界；将示意图导出为PostScript、GraphML或SVG格式文件；以及检索与各类图类、包含关系及相关算法有关的学术参考文献。

搜集汇总

背景与挑战

背景概述

ISGCI是一个图类百科全书系统，附带Java应用程序，支持研究图类关系、绘制包含图和分析问题复杂性。该数据库包含1691个图类、242656个包含关系等丰富信息。