これは、Ubuntu Online、Fedora Online、Windows オンライン エミュレーター、MAC OS オンライン エミュレーターなど、複数の無料オンライン ワークステーションのいずれかを使用して、OnWorks 無料ホスティング プロバイダーで実行できるコマンド naty-countg です。
プログラム：
NAME
naty-countg - さまざまなプロパティに従ってグラフをカウントする
SYNOPSIS
[ピック|カウント] [-fp#:#q -V] [--キー] [-制約 -v] [イファイル [オフィス]]
DESCRIPTION
countg : プロパティに従ってグラフをカウントします。
pickg : プロパティに従ってグラフを選択します。
ifile、ofile : 入力ファイルと出力ファイル。
「-」および欠落している名前は、stdin と stdout を意味します。
その他のスイッチ:
-p# -p＃＃
入力行の範囲を指定します (最初は 1)
-f -p、固定長の入力行を想定します (graph6 のファイルでのみ使用されます)
フォーマット）
-v すべての制約を無効にする
-V すべての入力一致制約のプロパティをリストします。
-q 有益な出力を抑制します。
制約：
数値制約 (ここでは # に続く) は単一の整数を取ることができます
値、または #:#、#:、または :# のような範囲。 それぞれの前に「~」を付けることもできます。
それを否定します。 (たとえば、-~D2:4 は 2 ではない任意の最大次数に一致します。
3、または 4.) 制約はすべての入力グラフに適用され、一致するグラフのみに適用されます。
すべての制約がカウントまたは選択されます。
-n# 頂点の数 -e# エッジの数
-d# 最小次数 -D# 最大次数
-m最小次数の頂点の数 -M最大次数の頂点の数
-r レギュラー -b 二部
-z# 半径 -Z＃ 直径
-g# 胴回り (0=非環状) -Y# 合計サイクル数
-T# 三角形の数 -K# 最大独立セットの数
-H# 誘発されたサイクルの数
-E オイラー式 (すべての次数が偶数、接続は必要ありません)
-a# グループサイズ -o# 軌道 -F# 固定点 -t 頂点推移的
-c# 接続 (0,1,2、XNUMX、XNUMX に対してのみ実装)。
-i# 隣接する頂点の最小共通数; -I# 最大
-j# 隣接しない頂点の最小共通数; -J# 最大
キーの並べ替え：
制約を通過するすべてのグラフに対してカウントが行われます。
カウント
プロパティで発生する値の組み合わせごとに個別に指定されます。
ソートキーとしてリストされます。 ソートキーは「--」で導入され、いずれかの文字を使用します。
制約として知られています。 これらは次のように組み合わせることができます。 --n --e --r と同じです。 --ね
--r & --ner。 ソートキーの順序は重要です。
onworks.net サービスを使用してオンラインで naty-countg を使用する
