Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Context Unification is in PSPACE

Jeż, A. (2014). Context Unification is in PSPACE. In J. Esparza, P. Fraigniaud, T. Husfeldt, & E. Koutsoupias (Eds.), Automata, Languages, and Programming (pp. 244-255). Berlin: Springer. doi:10.1007/978-3-662-43951-7_21.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-55A0-5 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-AAE9-4
Genre: Konferenzbeitrag
Latex : Context Unification is in {PSPACE}

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Jeż, Artur1, Autor           
Affiliations:
1Algorithms and Complexity, MPI for Informatics, Max Planck Society, ou_24019              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: Contexts are terms with one `hole', i.e. a place in which we can substitute an argument. In context unification we are given an equation over terms with variables representing contexts and ask about the satisfiability of this equation. Context unification at the same time is subsumed by a second-order unification, which is undecidable, and subsumes satisfiability of word equations, which is in PSPACE. We show that context unification is in PSPACE, so as word equations. For both problems NP is still the best known lower-bound. This result is obtained by an extension of the recompression technique, recently developed by the author and used in particular to obtain a new PSPACE algorithm for satisfiability of word equations, to context unification. The recompression is based on applying simple compression rules (replacing pairs of neighbouring function symbols), which are (conceptually) applied on the solution of the context equation and modifying the equation in a way so that such compression steps can be performed directly on the equation, without the knowledge of the actual solution.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 20142014-07
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: DOI: 10.1007/978-3-662-43951-7_21
BibTex Citekey: Jez2014ICALP
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 41st International Colloquium on Automata, Languages, and Programming
Veranstaltungsort: Copenhagen, Denmark
Start-/Enddatum: 2014-07-08 - 2014-07-11

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Automata, Languages, and Programming
  Untertitel : 41st International Colloquium, ICALP 2014 ; Copenhagen, Denmark, July 8-11, 2014 ; Proceedings, Part II
  Kurztitel : ICALP 2014
Genre der Quelle: Konferenzband
 Urheber:
Esparza, Javier1, Herausgeber           
Fraigniaud, Pierre1, Herausgeber
Husfeldt, Thore1, Herausgeber
Koutsoupias, Elias1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Berlin : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 244 - 255 Identifikator: ISBN: 978-3-662-43950-0

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Computer Science
  Kurztitel : LNCS
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 8573 Artikelnummer: - Start- / Endseite: - Identifikator: -