×

找到440个文档(结果1-100)

重建生成树多项式的单调复杂性。 (英语) Zbl 07829271号

Mark Braverman(编辑),《理论计算机科学会议的第13次创新》,ITCS 2022,美国加州伯克利,2022年1月31日至2月3日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。215,第39条,第21页(2022年)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

认证的查询复杂性。 (英语) Zbl 07774365号

Leonardi,Stefano(ed.)等人,《第54届ACM SIGACT计算理论研讨会论文集》,STOC’22,罗马,意大利,2022年6月20日至24日。纽约州纽约市:计算机协会(ACM)。623-636 (2022).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

禁止8边次立方森林生成的边着色问题的多项式可解性的一些例子。 (俄语。英文摘要) Zbl 1508.05065号

PDF格式BibTeX公司 XML格式引用
全文: 内政部 MNR公司

单调分支程序的复杂性证明。 (英语) Zbl 07627919号

Berger,Ulrich(编辑)等人,《可计算性的革命与启示》。第18届欧洲可计算性会议,2022年7月11日至15日,英国斯旺西,CiE 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13359, 74-87 (2022).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

用无记忆程序实现单调布尔函数。 (英语。俄文原件) Zbl 1511.68119号

莫斯克。数学大学。牛市。 77,第3期,136-143(2022)维斯特翻译。莫斯科。州立大学。I 77,第3期,25-32(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

连续和离散时间的快速乐观梯度下降-上升(OGDA)方法。 arXiv:2203.10947

预印本,arXiv:2203.10947[math.OC](2022)。
BibTeX公司 引用
全文: arXiv公司

单调2-CNF的OBDD大小分类。 (英语) Zbl 07803603号

Golovach,Petr A.(ed.)等人,第16届参数化和精确计算国际研讨会,IPEC 2021,葡萄牙里斯本,2021年9月8日至10日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。214,第25条,第15页(2021年)。
PDF格式BibTeX公司 XML格式引用

通过通信复杂性获得单调算术电路的下界。 (英语) Zbl 07765210号

Khuller,Samir(编辑)等人,第53届ACM SIGACT计算理论年度研讨会论文集,STOC’21,虚拟,意大利,2021年6月21日至25日。纽约州纽约市:计算机协会(ACM)。786-799 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

牛顿多边形的阴影。 (英语) Zbl 07711591号

Kabanets,Valentine(编辑),第36届计算复杂性会议,CCC 2021,加拿大安大略省多伦多,虚拟会议,2021年7月20日至23日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。200,第9条,第23页(2021年)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

单调电路中满足赋值的能量复杂性:关于计算最佳情况的复杂性。 (英语) Zbl 1498.68107号

Wu,Weili(编辑)等,《信息和管理中的算法方面》。第15届国际会议,AAIM 2021,虚拟活动,2021年12月20日至22日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13153, 380-391 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于阈值对称布尔函数单调电路的复杂性。 (英语。俄文原件) 兹比尔1484.94040

离散数学。申请。 31,编号5,345-366(2021)从Diskretn翻译。材料32,第1号,81-109(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

学习单调函数并进行单次纠错。 (英语。俄文原件) Zbl 1516.94075号

离散数学。申请。 31193-205(2021)第3期从Diskretn翻译。材料31,第4号,53-69(2019年)。
MSC公司:94D05型 第68季度32
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

保护几乎凸多边形的参数化复杂性。 (英语) Zbl 07760132号

Cabello,Sergio(编辑)等人,第36届计算几何国际研讨会,SoCG 2020,瑞士苏黎世(虚拟会议),2020年6月23日至26日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。164,第3条,第16页(2020年)。
PDF格式BibTeX公司 XML格式引用

塔斯基定理,超模对策,以及平衡的复杂性。 (英语) Zbl 07650366号

Vidick,Thomas(编辑),第11届理论计算机科学创新会议,2020年ITCS,美国华盛顿州西雅图,2020年1月12-14日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。151,第18条,第19页(2020年)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

单调复杂性和TFNP中的冒险。 (英语) Zbl 07559081号

Blum,Avrim(编辑),第十届理论计算机科学创新大会,2019年1月10日至12日,美国加利福尼亚州圣地亚哥,ITCS 2019。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。124,第38条,第19页(2019年)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分离单调VP和VNP。 (英语) Zbl 1433.68154号

Charikar,Moses(ed.)等人,第51届ACM SIGACT计算理论研讨会论文集,STOC’19,美国亚利桑那州凤凰城,2019年6月23日至26日。纽约州纽约市:计算机协会(ACM)。425-429 (2019).
MSC公司:2015年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无限基上(k)值逻辑函数的电路复杂性。 (英语。俄文原件) Zbl 1418.93106号

计算。数学。模型。 30,编号1,13-25(2019)Prikl的翻译。材料信息58,21-34(2018)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

正多项式时间函数的递归理论表征。 (英语) Zbl 1528.68137号

Ghica,Dan R.(编辑)等人,第27届EACSL计算机科学逻辑年会,CSL 2018,英国伯明翰,2018年9月4-8日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。119,第18条,第17页(2018)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

共享对象的摊余时间复杂性的下限。 (英语) Zbl 1487.68028号

Aspnes,James(编辑)等人,第21届分布式系统原理国际会议,OPODIS 2017,葡萄牙里斯本,2017年12月18-20日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。95,第16条,第18页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

将Nullstellensatz提升到任何字段上的单调跨度程序。 (英语) Zbl 1428.68152号

Diakonikolas,Ilias(编辑)等人,第50届ACM SIGACT计算理论研讨会论文集,STOC’18,美国加利福尼亚州洛杉矶,2018年6月25日至29日。纽约州纽约市:计算机协会(ACM)。1207-1219 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于无危险电路的复杂性。 (英语) Zbl 1428.94117号

Diakonikolas,Ilias(编辑)等人,第50届ACM SIGACT计算理论研讨会论文集,STOC’18,美国加利福尼亚州洛杉矶,2018年6月25日至29日。纽约州纽约市:计算机协会(ACM)。878-889 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

从深度三个公式中识别只读函数。 (英语) Zbl 1434.68200号

Fomin,Fedor V.(编辑)等人,《计算机科学——理论与应用》。2018年6月6日至10日,第13届俄罗斯国际计算机科学研讨会,CSR 2018,俄罗斯莫斯科。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10846, 232-243 (2018).
PDF格式BibTeX公司 XML格式引用

关于多维和单调\(k\)-SUM。 (英语) Zbl 1441.68092号

Larsen,Kim G.(编辑)等人,第42届计算机科学数学基础国际研讨会,2017年8月21日至25日,丹麦奥尔堡,MFCS 2017。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83,第50条,第13页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用线性程序表示单调布尔函数。 (英语) Zbl 1440.68078号

Ryan O'Donnell(编辑),第32届计算复杂性会议,CCC 2017年7月6日至9日,拉脱维亚里加。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。79,第3条,第14页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份