Dies ist der Befehls-Cliquer, der beim kostenlosen Hosting-Anbieter OnWorks mit einer unserer zahlreichen kostenlosen Online-Workstations wie Ubuntu Online, Fedora Online, dem Windows-Online-Emulator oder dem MAC OS-Online-Emulator ausgeführt werden kann
PROGRAMM:
NAME/FUNKTION
Cliquer – Finden Sie Cliquen in gewichteten und ungewichteten Diagrammen.
ZUSAMMENFASSUNG
klicken --help
klicken [ Optionen ] Grafikdateiname
BESCHREIBUNG
klicken in einem Diagramm nach Cliquen gesucht. Das Diagramm wird aus der als Befehl angegebenen Datei gelesen
Zeilenargument, oder Standard wenn dieser Dateiname „-".
Die Datei muss wie unten beschrieben im ASCII-Format oder im binären DIMACS-Format vorliegen.
Standardmäßig wird die erste gefundene maximale Clique ausgegeben, dies kann jedoch mit geändert werden
unten beschriebenen Optionen.
OPTIONAL
-h --help
Zeigt eine kurze Liste der Optionen und deren Funktion an.
-a --alle
Finden Sie alle Cliquen.
-s --Einzel
Nur eine Clique finden (Standard).
-w --Last
Sagen Sie nur das maximale Gewicht (nicht schneller als -s).
-m N --Mindest N
Suchen Sie zumindest nach Cliquen mit Gewicht N.
If N=0, sucht nach Clique mit maximalem Gewicht (Standard).
-M N --max N
Suchen Sie nach Cliquen mit höchstens Gewicht N.
If N=0, es wird kein Limit festgelegt (Standard).
N Positiv zu sein ist unvereinbar mit „--Mindest 0"("--Mindest 1" wird angenommen).
-x --maximal
Cliquen müssen maximal sein.
-u --ungewichtet
Nehmen Sie für alle Eckpunkte das Gewicht 1 an.
-0 --von-0
Nummerieren Sie die Eckpunkte beim Schreiben mit 0 bis n-1 statt mit 1 bis n.
-q --ruhig
Unterdrückt die Fortschrittsausgabe.
Angeben -q zweimal unterdrückt alle Ausgaben außer dem tatsächlichen Ergebnis.
-r F --nachbestellen F
Neuordnung mit Funktion F. Verfügbare Neuordnungsfunktionen sind:
keine Keine Bestellung (gleiche Reihenfolge wie in der Datei).
rückgängig machen
Umgekehrte Reihenfolge wie in der Datei.
Standard
Eine der beiden folgenden, abhängig von der Gewichtung.
ungewichtete Färbung
Effiziente Färbemethode für ungewichtete Diagramme.
gewichtete Färbung
Effiziente Färbemethode für gewichtete Diagramme.
(...) Sortierung nach aufsteigendem Grad.
zufällig Zufällige Reihenfolge.
FILE FORMAT
Das Format der ASCII-Darstellung eines Diagramms ist das folgende: Jede Zeile hat eine einzelne
Buchstabe (in Leerzeichen eingeschlossen) als erster Teil.
Eine Zeile mit 'p' startet die Grafik. Das zweite Token ist ein Name mit höchstens 15 Zeichen und
ignoriert. Dann gibt es noch die Anzahl der Knoten in diesem Diagramm. Dann die Anzahl der Kanten
(derzeit ignoriert).
Eine Zeile mit 'e' fügt einen Vorteil hinzu. Die beiden nächsten Token sind die Nummern von zwei Knoten zu
zu verbinden.
Eine Zeile mit 'n' gewichtet einen Knoten. Das erste Argument ist die Nummer des Knotens, dem a zugewiesen werden soll
Gewicht zu, in der Sekunde ist es Gewicht.
BEISPIEL
p Klauselhaus 5 8
e 4 3
e 3 1
e 1 2
e 2 3
e 3 5
e 5 2
e 2 4
e 4 5
n 1 2
COPYRIGHT
Cliquer unterliegt dem Copyright © 2002 Sampo Niskanen, Patric Ostergard
Cliquer ist unter der GNU General Public License lizenziert, wie sie von der Freien Software veröffentlicht wird
Stiftung; entweder Version 2 der Lizenz oder (nach Ihrer Wahl) eine spätere Version. Der
Die vollständige Lizenz ist in der Datei LIZENZ enthalten.
Grundsätzlich können Sie Cliquer für jeden Zweck nutzen, sofern irgendwelche Programme bzw
Änderungen, die Sie vornehmen und verbreiten, unterliegen ebenfalls der GNU GPL.
Es werden ABSOLUT KEINE GARANTIEN oder GEWÄHRLEISTUNGEN hinsichtlich der Eignung, Richtigkeit,
oder irgendein anderer Aspekt dieser Routinen.
Diese Manpage basiert auf Text aus dem Cliquer-Programm mit dem oben genannten Copyright und
Lizenz mit Änderung Copyright © 2011 Bernhard R. Link, auch oben verfügbar
Lizenz.
Nutzen Sie Cliquer online über die Dienste von onworks.net