马丁·伯格伦德;伊娜·谢弗 基于自动机的可配置性和不确定性视图。 （英语） Zbl 1518.68127号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187，80-98（2018年）。 摘要：在本文中，我们提出了一种基于自动机的方法，用于建模在配置不确定的情况下与设备通信的问题，但其中给出了有关配置的可能空间以及各种配置选择的概率的某些信息。从描述可配置性的特征模型中获得灵感，描述了一个可扩展自动机模型，并给出了两个决策问题，该问题建模为确定给定通信设备的最可能配置（作为一组扩展）的问题。然后给出了一系列硬性结果（整个一般问题都是NP-完备的）和相关限制情形的有效算法。关于整个系列，请参见[Zbl 1398.68027号]. MSC公司： 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 65年第68季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit{M.Berglund}和\textit{I.Schaefer}，莱克特。注释计算。科学。11187、80-98（2018年；Zbl 1518.68127） 全文： 内政部