{“id”：“https://openalex.org/W1963559764网址“，”doi“：”https://doi.org/10.1016/0304-3975（89）90142-4“，”title“：“关于非单调网络的单调模拟”，”display_name“：”关于非单调网的单调模拟“，”publication_year“：1989，”publitation_date“：”1989-08-01“，”ids“：{”openalex“：”https://openalex.org/W1963559764“，”doi“：”https://doi.org/10.1016/0304-3975（89）90142-4“，”mag“：”1963559764“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/0304-3975（89）90142-4“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，pository_has_fulltext“：false}，”authorships“：[{”author_position“：”first“，”author“：{”id“：”https://openalex.org/A5006740937“，”display_name“：”Paul E.Dunne“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I146655781“，”display_name“：”利物浦大学“，”ror“：”https://ror.org/04xs57h96“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I146655781“]}]，”countries“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”Paul E.Dunne“，”raw _affiliation_strings“：【”英国利物浦大学计算机科学系L69 3BX“】}]，“countries_distict_count”：1，“institutions_distic _count”：1.“corresponding_author_ids”：[”https://openalex.org/A5006740937“]，”对应的机构ID“：[”https://openalex.org/I146655781“]，”apc_list“：{”value“：2690，”currency“：”USD“，”value_USD“：2680，”provenance“：”doaj“}，”apc _payed“：{”value”：2690、”currentary“：”美元“，”value_USD”：2680、“provenance”：“doaj”}、“has_fulltext”：true、“fulltext_origin”：“ngrams”、“cited_by_count”：4、“citecd_by_percentile_year”：{“min”：72、“max”：74}，“biblio”：{“volume”：“66”，“issue”：“1”，“first_page”：“15”，“last_page”：”25“}，“is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9845，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9845，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10374“，”display_name“：”图论与算法“，”score“：0.9578，”subfield“：{”id“：”https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T12029“，”display_name“：”基于DNA的计算和数据存储“，”score“：0.9431，”subfield“：{”id“：”https://openalex.org/subfields/1312“，”display_name“：”分子生物学“}，”字段“：{”id“：”https://openalex.org/fields/13“，”“display_name”：“生物化学、遗传学和分子生物学”}，“域”：{“id”：“https://openalex.org/domains/1“，”display_name“：”生命科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/constraint-satisfaction-problems“，”display_name“：”约束满足问题“，”score“：0.499599}]，”concepts“：[{”id“：”https://openalex.org/C2834757，“wikidata”：https://www.wikidata.org/wiki/Q4925424“，”display_name“：”单调多边形“，”level“：2，”score“：0.8295132}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.7729733}，{”id“：”https://openalex.org/C187455244，“wikidata”：https://www.wikidata.org/wiki/Q942353“，”display_name“：”布尔函数“，”level“：2，”score“：0.7004368}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.55643725}，{”id“：”https://openalex.org/C82520618，“wikidata”：https://www.wikidata.org/wiki/Q3522015“，”display_name“：”单调函数的伯恩斯坦定理“，”level“：4，”score“：0.5414846}，{”id“：”https://openalex.org/C14036430网址，“wikidata”：https://www.wikidata.org/wiki/Q3736076“，”display_name“：”功能（生物学）“，”级别“：2，”分数“：0.5227199}，{”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.49211282}，{”id“：”https://openalex.org/C2185349，“wikidata”：https://www.wikidata.org/wiki/Q190558“，”display_name“：”Negation“，”level“：2，”score“：0.46168962}，{”id“：”https://openalex.org/C188183281，“wikidata”：https://www.wikidata.org/wiki/Q2898309“，”display_name“：”奇偶函数“，”level“：4，”score“：0.41324845}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.36370188｝，｛”id“：”https://openalex.org/C158465420，“wikidata”：https://www.wikidata.org/wiki/Q1979515“，”display_name“：”布尔表达式“，”level“：3，”score“：0.3372988}，{”id“：”https://openalex.org/C12715386，“wikidata”：https://www.wikidata.org/wiki/Q7624691“，”display_name“：”强烈单调“，”level“：3，”score“：0.32093623}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.114195466}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C78458016，“wikidata”：https://www.wikidata.org/wiki/Q840400“，”display_name“：”进化生物学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/0304-3975（89）90142-4“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：【】，“versions”：[】，“referenced_works_count”：10，“referrenced_works”：https://openalex.org/W2001924771","https://openalex.org/W2012476164","https://openalex.org/W2023412106","https://openalex.org/W2038999728","https://openalex.org/W2043629999","https://openalex.org/W2051306408","https://openalex.org/W2054417980","https://openalex.org/W2068422506","https://openalex.org/W2089857781","https://openalex.org/W4230950430“]，”related_works“：[”https://openalex.org/W4252281389","https://openalex.org/W353786736","https://openalex.org/W2465207115","https://openalex.org/W2379318067","https://openalex.org/W2157812200","https://openalex.org/W2107037376","https://openalex.org/W2106622045","https://openalex.org/W2062972911","https://openalex.org/W203773773738","https://openalex.org/W1991921929“]，”ngrams_url“：”https://api.openalex.org/works/W1963559764/ngrams“，”abstract_inverted_index“：{”We“：[0]，”consider“：[1]，”the“：[2,19,27,32,45,52,82105119142185188]，”following“：[3]，”problem:“：[4]，”given“：[5146]，”some“：[6132]，”n-argument“：[7,33,46]，“monotone”：[8,34,47,97120133165176223]，“Boolean”：[9,35,48177224]，“function，”：[10]，“f（Xn），”：[11]，“with”：[12]，“formal”：[13]，“arguments”：[14,61]，“Xn={x1，\u2026，Xn}，“：[15]，”计算“：[16]，”f“：[17,84109]，”使用“：[18,81157]，”2n+1“：[20]，”输入“：[21]，”Xn\u222a{f0，“：[22]，”f1，\u 2026，fn}。“：[23]，”这里“：[24]，”fk“：[25]，”是“：[26,44,65126152202215]，“k-slice”：[28]，“of”：[29,59,91108122164175184211222]，“f，”：[30]，“即”：[31]，“函数”：[36,49]，“fk（Xn=（f”：[37]，“\u2227”：[38]，“Tnk）”：[39]，“u2228”：[40]，“Tnk+1，”：[41]，“其中”：[42]，“Tnk”：[43]，“which”：[50]，“takes”：[51]，“value”：[P3]，“1”：[54]，“iff”：[55]，“at”：[56]，“least”：[57]，“k”：[58]，“它的“：[60]，”是“：[62,73,78145]，”1.“：[63]，”它“：[64]，”容易“：[66]，”to“：[67110128207]，”see“：[68]，”that“：[69154180195]，”if“：[70140]，”非单调“：[71]，”operations“：[72]，”permited“：[74]，”then“：[75]，”O（n）“：[76]，”gates“：77]，”sufficient“：[79]，”by“：[80]，“关系”：[83]，“=”：[85]，“V”：[86]，“nk=0”：[87]，“（fk\u2227Tnk+1）。“：[88]，”The“：[89]，”properties“：[90]，”slice“：[92143158]，”functions“：[93134144186]，”imply“：[94]，”th“：[95]，”efficient“：[96155213]，”solutions“：[98]，”would“：[99]，”allow“：[100]，”superlinear“：[101]，”lower“：[102116]，”bounds“：[103117]，”on“：[104118]，”组合“：[106]，”complexity“：[107121138]，”是“：[11129]，”获得“：[112]，”来自“：[113]，”大型”：[114]，“足够”：[115]，“f”：[123]，“既然”：[124]，“否定”：[125201]，“已知”：[127]，“超对称”：[130]，“强大”：[131]，“必须”：[135]，“有”：[136]，“超多项式”：[137]，“偶数”：[139]，“全部”：[14183]，“作为”：[147]，“额外”：[148]，“输入。“：[149]，”然而“：[150]，”它“：[151]，”可能“：[153]，”模拟，“：[156]，”函数，“：159178]，”存在“：[160]，”对于“：[161181218]，”限制“：[162]，”类“：[163]，”功能。“：[166225]，”In“：[167205]，”this“：[168208]，”paper“：[169]，”we“：%170]，”examinate“：[171]，”a“：[172197219]，”broad“：[173]，”class“：[174221]，”proving“：[179]，”几乎“：[182]，”In“：[187196]，”类“：[189]，”no“：[190]，”such“：[191]，”仿真“：[192]，”存在“：[193]，“和”：[194]，“非常”：[198]，“弱”：[199]，“感觉”：[200]，“指数”：[203]，“强大”。“：[204]，”对比度“：[206]，”an“：[209212]，”示例“：[210]，”构造“：[214]，”给定“：[216]，”再次“：[217]，”自然“：[220]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W1963559764“，”counts_by_year“：[]，”updated_date“：”2024-05-13T03:13:27.733812“，”created_dates“：”2016-06-24“}“