Plans regarding the PhDdissertation of ML.
More...
Go to the source code of this file.
Detailed Description
Plans regarding the PhDdissertation of ML.
 Todo:
 Improving notations

Tuples are to be written using round brackets; so likely all anglebrackets are to be replaced (they are only used as operators, for example constructors of partial assignments).

Proofs need to use to mark the end.
 Todo:
 Improving usage of Latex

All sections etc. need labels.

And also all definitions, lemmas etc. need labels.

There are missing citations.

There are undefined references.
 Todo:
 Section "Category of literal structures"

This section is the first to be completed.

Along the way, the definitions needed for categorical and algebraic structures are to be provided/completed.

Literature:

Likely, "literal structures" exist already in the literature  under what names?

And is the category somewhere studied?

Further properties (to complete the picture):

How many literal structures exist on a set?

For a finite set, how can we enumerate them?

How many isomorphism types exist on a set?

How can we enumerate them?

Can we efficiently decide the isomorphism problem?

More generally, can we count homomorphism?

Can we enumerate them?

Is the homomorphismexistenceproblem efficiently decidable?
 Todo:
 Correction of errors

During our last meeting, we discussed a false proof  has this been corrected?

Lemma {lem:MBCPNeverTough}:

First precise definitions of "bicliques", "maximal bicliques" and "biclique partitions" are needed; compare with the definitions in the OKlibrary.

One auxiliary lemma: If a biclique partition contains a star, then without increasing the number of bicliques one can make the star maximal.

Make the argumentation of the lemma more precise, using the above definitions and the auxiliary lemma.
 Todo:
 Transfer to part "Dissertation"

It is of utmost importance that finalised definitions, lemmas etc. are transferred to Part III, where they are then carefully checked.

This must start immediately.
Definition in file MLDissertation.hpp.