[Trennmuster] [TSX] patgen: what do these values mean?

[Stephan Hennig]

Am 09.04.2014 21:22, schrieb Herbert Voss:
> Am 09.04.2014 20:31, schrieb Stephan Hennig:
>> Am 09.04.2014 20:26, schrieb Herbert Voss:
>>>
>>> good*good_weight - bad*bad_weight >= threshold
> 
> Die Gleichung ist experimentell bestimmt worden und hat erst mal
> nichts mit den Eigenschaften der Eingabeliste zu tun, sondern ist
> ein Abbruchkriterium.

Bei welchem Schritt kommt die Gleichung zur Anwendung?  Was wird
abgebrochen?  Mir ist zum Beispiel nicht klar, ob pro Stufe die besten
Muster (die, mit dem geringsten Zuwachs) verwendet werden oder die
ersten paar Muster (bis die Schwelle überschritten ist).


> 1 1 1 heißt ja nichts weiter als das die Zahlen
> der gefundenen guten und schlechten (falschen) Trennungen
> faktisch gleichgewichtet sind.

Ich nehme an, du meintest das Tupel (1, 1, 0).  Die Interpretation
dieser Parameter bzw. (a, a, 0) ist relativ klar.  Wir verwenden
allerdings tatsächlich threshold = 1 und nicht 0 (siehe
skripte/make-full-pattern.sh).  Weshalb?


> Deshalb gibt diese Kombination die meisten Trennmuster.

Ein recht eiliger Schluss.  Gibt es dafür auch eine Erklärung?


> Ich könnte auch gleich mit 1 10 1 anfangen, was ich allerdings noch
> nie ausprobiert habe. Dann müsste Patgen ziemlich rumrödeln.

Was soll damit bezweckt werden, schlechte Trennungen zu bestrafen?  Da
abwechselnd ermöglichende und verhindernde Muster erzeugt werden,
besteht zwischen guten und schlechten Trennungen weitgehend Symmetrie.
Weshalb muss noch mit Strafpunkten nachgeholfen werden?


> Genaueres findet man natürlich in der Dissertation. Aber auch dort
> wird faktisch nicht mehr beschrieben.

Als ich die Dissertation gelesen hatte, hatte ich mich an einem anderen,
globalen Ansatz zur Mustererzeugung versucht.  Die genaue Vorgehensweise
von Patgen hatte ich daher nie genau studiert.  Mein Versuch ist
letztlich im Sande verlaufen (war aber nicht umsonst). :-)

Viele Grüße,
Stephan Hennig