Als «descriptive-complexity» getaggte Fragen

Erweiterung der SQL-Erfassung

Laut Immerman ist die mit SQL- Abfragen verbundene Komplexitätsklasse genau die Klasse der sicheren Abfragen in (Abfragen erster Ordnung plus ): SQL erfasst sichere Abfragen. (Mit anderen Worten, alle SQL-Abfragen haben eine Komplexität in , und alle Probleme in können als SQL-Abfrage ausgedrückt...

Können Verknüpfungen parallelisiert werden?

Angenommen, wir möchten zwei Beziehungen zu einem Prädikat verbinden. Ist das in NC? Mir ist klar, dass ein Beweis dafür, dass es nicht in NC ist, einem Beweis dafür , dass , also würde ich Beweise dafür akzeptieren, dass es sich um ein offenes Problem handelt.P≠NCP≠NCP\not=NC Ich interessiere mich...