｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2022,4,2]]，“date-time”：“2022-04-02T13:26:12Z”，“timestamp”：1648905972330｝，“publisher location”：“Berlin，Heidelberg”，“reference count”：22，“publisher”：“Springer Berlin Heidelberg”，“isbn type”：[｛“value”：“9783642329425”，“type”：“print”｝，｛“value”：“9783642329432”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2012]]}，”DOI“：”10.1007\/978-3642-32943-2_18“，”type“：”book-capter“，”created“：”{“date-part”：[2012,8,28]]，“date-time”：“2012-08-28T00:50 9:35Z“，”时间戳“：1346115575000}，”页面“：”228-242“，“source”：“Crossref”，“is-referenced-by-count”：2，“title”：[“近似验证和枚举问题”]，“prefix”：“10.1007”，”author“：[{”given“：”Sylvain“，”family“：”Peyronnet“，”sequence“：”first“，”affiliation“：[]}“，，“序列”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“18_CR1”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，”first page“：”38“，”doi“：”10.1007\/3-540-61474-5_57“，”volume-title“：”Computer Aided Verification“，”author“：”C.Baier“，”year“：”1996“，”unstructured“：“Baier，C.：测试概率互模拟和模拟的多项式时间算法。载于：Alur，R.，Henzinger，T.A.（编辑）CAV 1996。LNCS，第u00a01102卷，第38\u201349页。Springer，Heidelberg（1996）“}，{”issue“：”2“，”key“：”18_CR2“，”doi-asserted-by“：”publisher“，”first page“：“201”，“doi”：“10.1007\/s00454-002-2756-x”，“volume”：“28”，“author”：“A.Brieden”，“year”：“2002”，“unstructured”：“Brieden，A.：可能不包含在apx中的几何优化问题。离散和计算几何\u00a028（2），201\u2013209（2002）“，”journal-title“：”Discrete and Computational Geometry“}，{“key”：“18_CR3”，“unstructured”：“Broder，A.：关于文档的相似性和包含性。In:SEQUENCES 1997:序列的压缩和复杂性（1997）”}，}，“key“：”18_CR4“，”unstructure“：”Cormode，G.，Muthukrishnan，S.：移动的字符串编辑距离匹配问题。摘自：《ACM-SIAM离散算法研讨会论文集》，第667\u2013676页。工业与应用数学学会（2002）“}，{“key”：“18_CR5”，“doi asserted by”：“crossref”，“nonstructured”：“de Rougemont，M.，Tracol，M.：概率过程的统计分析。In：第24届IEEE计算机科学逻辑年度研讨会（LICS）论文集，pp.299\u2013308。IEEE Computer Society（2009）“，”DOI“：”10.1109\/LICS.2009.36“}，{“key”：“18_CR6”，“volume-title”：“有限状态Markov决策过程”，“author”：“C.Derman”，“year”：“1970”，“unstructured”：“Derman，C.：有限状态Markovian决策过程。学术出版社，奥兰多（1970）”}，“issue”：“3”，“key“：”18_CR7“，”DOI-asserted-by“：”publisher“，”第一页“：”323“，”DOI“：”10.1016\/j.tcs.2003.09.013“，”volume“：”318“，”author“：”j.Desharnais“，”year“：”2004“，”unstructured“：”Desharnaies，j.，Gupta，V.，Jagadeesan，R.，Panangaden，P.：标记Markov过程的度量。理论计算机科学\u00a0318（3），323\u2013354（2004）“，“期刊标题”：“理论计算机科学”}，{“期刊”：“6”，“关键字”：“18_CR8”，“doi-asserted-by”：“publisher”，“首页”：“2251”，“doi”：“10.1137\/070703776”，“卷”：“39”，“作者”：“E.Fischer”，“年份”：“2010”，“非结构化”：“Fischer，E.，Magniez，F.，de Rougemont，M.：近似可满足性和等价性。SIAM J.计算。\u00a039（6），2251\u20132281（2010）“，“新闻标题”：“SIAM J.Compute。“}，{”key“：”18_CR9“，”first page“：“136”，“volume”：“18”，“author”：“E.Gat”，“year”：“2011”，“unstructured”：“Gat，E.，Goldwasser，S.：具有唯一答案的概率搜索算法及其密码应用。计算复杂性电子讨论会（ECCC）\u00a018，136（2011）”，“journal-title”：“计算复杂性电子座谈会（ECCC）“}，{“key”：“18_CR10”，“doi-asserted-by”：“publisher”，“first page”：”541“，“doi”：“10.1017\/S0963548306007504”，“volume”：：“15”，“author”：“R.Kannan”，“year”：“2006”，“unstructured”：“Kannan，R.，Lov\u00e1sz，L.，黑山，R.：随机游走中的阻塞电导和混合。梳子。普罗巴伯。计算。\u00a015，541\u2013570（2006）“，”期刊标题“：”库姆。普罗巴伯。计算。“}，{”issue“：”1“，”key“：”18_CR11“，“doi-asserted-by”：“publisher”，“first page”：“1”，“doi”：“10.1002（SICI）1098-2418（199708）11:1<1:：AID-RSA1>3.0.CO；2-X“，”volume“：“11”，“author”：“R.Kannan”，“year”：“1997”，“unstructured”：“Kannan，R.，Lov\u00e1sz，L.，Simonovits，M.：Random walks and an o*（n5）凸体的体积算法。随机结构和算法\u00a011（1），1\u201350（1997）“，”杂志标题“：”随机结构和运算法则“}，{“key”：“18_CR12”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”526“，”doi“：”10.1007\/978-3642-22110-1_42“，”volume-title“：”计算机辅助验证“，”作者“：”S.Kiefer“，”年份“：”2011年，“非结构化”：“Kiefer，S.，Murawski，A.S.，Ouaknine，J.，Wachter，B.，Worrell，J.：语言\u00a0Equivalence\u00a 0 for Probabilistic\u000a0Automata。收录：Gopalakrishnan，G.，Qadeer，S.（编辑）CAV 2011。LNCS，卷\u00a06806，第526\u2013540页。Springer，Heidelberg（2011）“}，{”key“：“18_CR13”，”doi-asserted-by“：”publisher“，”first page“：”216“，”doi“：”10.1145\/380752.380801“，”volume-title“：”第33届ACM计算机理论研讨会论文集“，”author“：”A.R.Klivans“，”year“：”2001“，”unstructured“：”Klivans，A.R.，Spielman，D.：多元多项式的随机有效恒等式检验。载：第33届美国计算机学会计算理论年度研讨会论文集，第216\u2013223页。ACM，New York（2001）“}，{”issue“：“4”，”key“：“18_CR14”，“doi-asserted-by”：“publisher”，“first page”：“359”，“doi”：“10.1002\/rsa.324004002”，“volume”：”4“，“author”：“L.Lov\u00e1sz”，“year”：“1993”，“unstructured”：“Lov\u 00e1cz，L.，Simonovits，M.：凸体中的随机游动和改进的体积算法。随机结构与算法\u 00a 04（4），359\u2013412（1993）“，”journal-title“：”Random Structures&Algorithms“}，{”key“：”18_CR15“，”doi-asserted-by“：”publisher“，”first page“：“905”，”doi“：”10.1214\/aop\/1176990729“，”volume“：930（1990）“，”journal-title“：“概率年鉴”}，{“key”：“18_CR16”，“doi-asserted-by”：“crossref”，“unstructured”：“Puterman，M.L.：马尔可夫决策过程：离散随机动态规划。John Wiley&Sons（1994）”，“doi”：“10.1002\/9780470316887”}10.1016\/S0019-9958（63）90290-0“，“volume”：“6”，“author”：“M.O.Rabin”，“year”：“1963”，“unstructured”：“Rabin，M.O.：概率自动机。Information and Control\u00a06（3），230\u2013245（1963）“，”journal-title“：”Information and Control“}，{”issue“：”4“，”key“：”18_CR18“，”doi-asserted-by“：”publisher“，”first-page“：”717“，”doi“：”10.1145\/322217.3225“，”volume“：“27”，”author“：”J.T.Schwartz“，”year“：”1980“，”unstructured“：”Schwartz，J.T.：多项式恒等式验证的快速概率算法。美国医学会杂志（JACM）\u00a027（4），717（1980）“，”期刊标题“：”美国医学会期刊（JACM：如何计算高维体积？数学编程\u00a097（1），337\u2013374（2003）“，”杂志标题“：”数学编程“}，{“key”：“18_CR20”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”629“，”doi“：”10.1007\/978-3642-15155-2_55“，”volume-title“：”2010年计算机科学数学基础“，”作者“：”Y.Strozecki“，”年”：“2010年”，“非结构化”：“Strozecki，Y.：多项式和相关复杂性类的单项式的枚举。收录：Hlin\u011bn\u00fd，P.，Ku\u010dera，A.（编辑）MFCS 2010。LNCS，卷\u00a06281，第629页\u2013640。Springer，Heidelberg（2010）“}，{”key“：”18_CR21“，”doi-asserted-by“：”publisher“，”first page“：“216”，“doi”：“10.1137\/0221017”，“volume”：“21”，“author”：“W.G.Tzeng”，“year”：“1992”，“unstructured”：“Tzeng，W.G.:概率自动机等价的多项式时间算法。SIAM Journal on Computing \u00a021，216（1992）”，“Journal title”：“”SIAM Journal on Computing“}，{“key”：“18_CR22”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“首页”：“216”，“doi”：“10.1007\/3-540-09519-5_73”，“volume-title”：《符号与代数计算》，“author”：“R.Zippel”，“year”：“1979”，“unstructured”：“Zippel，R.：稀疏多项式的概率算法。In:Ng，K.W.（编辑）EUROSAM 1979和ISSAC 1979。LNCS，第u00a072卷，第216\u2013226页。Springer，Heidelberg（1979）“}]，“container-title”：[“计算的理论方面\u2013 ICTAC 2012”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com/content\/pdf\/10007\/978-3642-32943-2_18”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]存放“：{“date-parts”：[[2019,5,7]]，“date-time”：“2019-05-07T01:51:33Z”，“timestamp”：1557193893000}，“score”：1，“resource”：{（主要）：{”URL“：”http:\\/link.springer.com/10.1007\/978-3642-32943-2_18 642329425“，”9783642329432“]，”references-count“：22，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3642-32943-2_18“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”03029743“，”type“:”print“}，{”value“：”1611-33049“，”类型“：”electronic“}]，”subject“：【】，”published“：{”date-parts“：【2012】】}}}}