关于主动上下文无关博弈的最优从左到右策略
数据库
2012-12-17 v1
摘要
主动上下文无关博弈是有限字母表上字符串的两人博弈，其中一方试图重写输入字符串以匹配目标规范。这些博弈已在交换 Active XML (AXML) 数据的背景下得到研究。虽然已知重写问题在一般情况下是不可判定的，但本文证明了对于给定的上下文无关博弈，判断所有可安全重写的字符串是否都能以从左到右的方式安全重写是 EXPSPACE-完全的，这一问题此前由 Abiteboul 等人研究过。此外，本文还证明了具有有限替换语言的博弈的相应问题是 EXPTIME-完全的。
引用
@article{arxiv.1212.3501,
title = {On optimum left-to-right strategies for active context-free games},
author = {Henrik Björklund and Martin Schuster and Thomas Schwentick and Joscha Kulbatzki},
journal= {arXiv preprint arXiv:1212.3501},
year = {2012}
}
备注
To appear in ICDT 2013