Bearbeite Veranstaltung: ASNP: a tame fragment of existential second-order logic

Du bist aus dem folgenden Grund nicht berechtigt, diese Seite bearbeiten:

Diese Aktion ist auf Benutzer beschränkt, die der Gruppe „Benutzer“ angehören.

Event

Title DE:

German title

Title EN:

English title; when creating new events, this will be used to define the page name (which will not change even if you change it later)

Description DE:

Abstract or other additional information in German

Description EN:
Amalgamation SNP (ASNP) is a fragment of existential second-order logic that strictly contains binary connected MMSNP of Feder and Vardi and binary connected guarded monotone SNP of Bienvenu, ten Cate, Lutz, and Wolter; it is a promising candidate for an expressive subclass of NP that exhibits a complexity dichotomy. We show that ASNP has a complexity dichotomy if and only if the infinite-domain dichotomy conjecture holds for constraint satisfaction problems for first-order reducts of binary finitely bounded homogeneous structures. For such CSPs, powerful universal-algebraic hardness conditions are known that are conjectured to describe the border between NP-hard and polynomial-time tractable CSPs. The connection to CSPs also implies that every ASNP sentence can be evaluated in polynomial time on classes of finite structures of bounded treewidth. We show that the syntax of ASNP is decidable. The proof relies on the fact that for classes of finite binary structures given by finitely many forbidden substructures, the amalgamation property is decidable. This will be a test talk for the presentation of an eponymous paper consisting of the 20 minute long prerecorded talk (like it will be presented at the conference) which will be followed up with a Q&A session to the talk where questions will be answered by Simon Knäuer, one of the authors. Feedback and suggestions in preperation for the conference talk are heavily encouraged. This talk will be held digitally. If there is any interest in attending, please write an e-mail to thomas.feller@tu-dresden.de.

Abstract or other additional information in English

Type of event:

Explanation of possible values

Start:
::

Start of event (date and time); required field

End:
::

End of event (date and time)

Location:

Room where the event is happening

Speaker:

Person who is presenting or chairing; usually the full name without titles

Invited by:

For presentations by a guest speaker, the person who invited her/him

PDF:
Datei hochladen

Optional file download

URL:

Optional URL for the event

Research group:

Related research group (use Ctrl+click for marking/unmarking multiple entries)

Event series:

Related event series (use Ctrl+click for marking/unmarking multiple entries); leave empty if not related to any series

Show on main page:

Events only appear on the main page if this is set to 1

Zusammenfassung:

Abbrechen