4-critical Pt-free 1-vertex extensions of tripods

Home CAAGT Authors Maria Chudnovsky Jan Goedgebeur Oliver Schaudt Mingxian Zhong

4-critical Pt-free 1-vertex extensions of tripods Tripodgenerator is a program for generating all 4-critical Pt-free 1-vertex extensions of tripods. The algorithm used in the generator is described in: [1] M. Chudvnosky, J. Goedgebeur, O. Schaudt and M. Zhong, Obstructions for three-coloring graphs without induced paths on six vertices, in preparation. The generator can be downloaded here and a short manual can be found here. Installation instructions: Compile the program using the command: cc -O4 tripodgenerator.c -o tripodgenerator Execute the binary "tripodgenerator" Bipartite neighbourhood tester BipartiteNeighbourhood is a program which tests if Assumption 1 of Claim 7 of [1] holds for the inputgraphs which are read from stdin. The program can be downloaded here. Installation instructions: Compile the program using the command: cc -O4 bipartiteneighbourhood.c -o bipartiteneighbourhood Execute the binary "bipartiteneighbourhood" Both Tripodgenerator and BipartiteNeighbourhood are released under the GNU General Public License (GPL) and have been tested on Linux and Mac OS X. Don't hesitate to contact us at jan.goedgebeur[at]ugent.be if you have any further questions or suggestions.