×

找到95个文档(结果1-95)

热带卷积的多面体透视图。 (英语) 兹伯利07781729

谢孙元(主编)等,组合算法。第34届国际研讨会,IWOCA 2023,台湾台南,2023年6月7日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13889, 111-122 (2023).
MSC公司:68卢比 68瓦xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

向量控制问题的量子复杂性。 (英语) Zbl 1531.68039号

Gąsieniec,Leszek(编辑),SOFSEM 2023:计算机科学的理论与实践。第48届计算机科学理论与实践当前趋势国际会议,SOFSEM 2023,斯洛伐克斯莫科维奇,2023年1月15日至18日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13878, 328-341 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算并列出可避免的顶点和路径。 (英语) Zbl 07719340号

Castañeda,Armando(编辑)等人,《拉丁2022:理论信息学》。第十五届拉丁美洲研讨会,墨西哥瓜纳华托,2022年11月7-11日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13568, 104-120 (2022).
PDF格式BibTeX公司 XML格式引用

除非SETH失败,否则无法在多项式时间内对图进行次二次时间字符串匹配索引。 (英语) Zbl 1490.68151号

Bureš,Tomáš(编辑)等人,《SOFSEM 2021:计算机科学的理论与实践》。第47届计算机科学理论与实践当前趋势国际会议,SOFSEM 2021,Bolzano-Bozen,意大利,2021年1月25-29日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12607, 608-622 (2021).
PDF格式BibTeX公司 XML格式引用

细粒度复杂性理论:计算几何的条件下限。 (英语) Zbl 07495156号

De Mol,Liesbeth(编辑)等人,《与可计算性的联系》。第17届欧洲可计算性会议,CiE 2021,虚拟事件,比利时根特,2021年7月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12813, 60-70 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

编辑距离下中值和中心字符串问题的细粒度复杂性。 (英语) Zbl 07651200号

Grandoni,Fabrizio(编辑)等人,第28届欧洲算法年会。《2020年欧洲航天局》,2020年9月7日至9日,意大利比萨,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。173,第61条,第19页(2020年)。
MSC公司:68瓦xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

随机超图的最小化。 (英语) Zbl 07651160号

Grandoni,Fabrizio(编辑)等人,第28届欧洲算法年会。《2020年欧洲航天局》,2020年9月7日至9日,意大利比萨,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。173,第21条,第15页(2020)。
MSC公司:68瓦xx
PDF格式BibTeX公司 XML格式引用

关于最近对的量子复杂性及相关问题。 (英语) Zbl 07561744号

Saraf,Shubhangi(编辑),第35届计算复杂性会议,CCC 2020,2020年7月28日至31日,德国萨尔布吕肯,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。169,第16条,第43页(2020年)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

推土机距离的条件硬度。 (英语) Zbl 07650079号

Achlioptas,Dimitris(编辑)等人,《近似、随机化和组合优化》。算法与技术,第22届国际会议,约2019年,第23届国际会议(随机2019年),马萨诸塞州剑桥麻省理工学院,2019年9月20日至22日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。145,第12条,第17页(2019年)。
MSC公司:68瓦20 68周25 90C27型
PDF格式BibTeX公司 XML格式引用

P中Schaefer定理的精细类比:量化一阶图属性的二分法。 (英语) Zbl 07564431号

Shpilka,Amir(编辑),第34届计算复杂性会议,CCC 2019,新泽西州新不伦瑞克,2019年7月18-20日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际会议记录。通知。137,第31条,第27页(2019年)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

双色图直径的紧逼近算法及相关问题。 (英语) Zbl 07561540号

Baier,Christel(ed.)等人,第46届自动化、语言和编程国际学术讨论会,2019年ICALP 2019年7月9日至12日,希腊帕特拉斯。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。132,第47条,第15页(2019年)。
MSC公司:68新元 68季度xx
PDF格式BibTeX公司 XML格式引用

动态图中直径的算法和硬度。 (英语) Zbl 07561506号

Baier,Christel(ed.)等人,第46届自动化、语言和编程国际学术讨论会,2019年ICALP 2019年7月9日至12日,希腊帕特拉斯。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。132,第13条,第14页(2019年)。
MSC公司:68牛顿 68季度xx
PDF格式BibTeX公司 XML格式引用

动态编程的细粒度简化和量子加速。 (英语) Zbl 07561501号

Baier,Christel(ed.)等人,第46届自动化、语言和编程国际学术讨论会,2019年ICALP 2019年7月9日至12日,希腊帕特拉斯。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际会议记录。通知。132,第8条,第13页(2019年)。
MSC公司:68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

细粒度复杂性理论(教程)。 (英语) Zbl 07559113号

Niedermeier,Rolf(编辑)等人,第36届计算机科学理论方面国际研讨会,2019年3月13日至16日,德国柏林,STACS 2019。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。126,第4条,第7页(2019年)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分支程序和公式的正交向量猜想。 (英语) Zbl 07559091号

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

多线性映射的张量网络复杂性。 (英语) Zbl 07559050号

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

(加权)LCS的草图、流和细粒度复杂性。 (英语) Zbl 1528.68426号

Ganguly,Sumit(编辑)等人,第38届IARCS软件技术和理论计算机科学基础年会,2018年12月11-13日,印度艾哈迈达巴德,FSTTCS 2018。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。122,第40条,第16页(2018年)。
MSC公司:68瓦32 68周27
PDF格式BibTeX公司 XML格式引用

细粒度去中心化:从以问题为中心到以资源为中心的复杂性。 (英语) 兹比尔1499.68386

Chatzigiannakis,Ioannis(编辑)等人,第45届自动化、语言和编程国际研讨会。2018年7月9日至13日,捷克共和国布拉格,ICALP 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107,第27条,第16页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Formula-SAT和刨削原木之间的连接更紧密。 (英语) Zbl 1499.68137号

Chatzigiannakis,Ioannis(编辑)等人,第45届自动化、语言和编程国际研讨会。2018年7月9日至13日,捷克共和国布拉格,ICALP 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107,第8条,第18页(2018年)。
PDF格式BibTeX公司 XML格式引用

LCS的快速确定性常数因子近似算法意味着新的电路下限。 (英语) Zbl 1462.68239号

Karlin,Anna R.(编辑),第九届理论计算机科学创新会议,ITCS 2018,美国马萨诸塞州剑桥,2018年1月11-14日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。94,第35条,第14页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于近似和精确(双色)最大内积的硬度。 (英语) Zbl 1441.68068号

Servedio,Rocco A.(编辑),第33届计算复杂性会议,CCC 2018,2018年6月22日至24日,美国加利福尼亚州圣地亚哥。瓦德恩:Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。102,第14条,第45页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过点集的极点对研究最近点对的复杂性。 (英语) Zbl 1473.05213号

Speckmann,Bettina(编辑)等人,第34届计算几何国际研讨会,2018年6月11日至14日,匈牙利布达佩斯,SoCG 2018。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。99,第28条,第15页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

最长公共递增子序列的紧条件下界。 (英语) Zbl 1443.68068号

Lokshtanov,Daniel(编辑)等人,第十二届参数化和精确计算国际研讨会,2017年国际物理工程委员会,奥地利维也纳,2017年9月6日至8日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。89,第15条,第13页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过约简计算多项式系统的解。 (英语) Zbl 1433.68161号

Seidel,Raimund(编辑),第一届算法简单性研讨会。SOSA 2018,2018年1月7日至10日,美国洛杉矶新奥尔良,与第29届ACM-SIAM离散算法研讨会(SODA 2018)合办。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。61,第6条,第15页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

最坏情况假设的工作证明。 (英语) Zbl 1444.94044号

Shacham,Hovav(编辑)等人,《密码学进展——密码2018》。2018年8月19日至23日,第38届国际密码学年会,美国加利福尼亚州圣巴巴拉。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。10991, 789-819 (2018).
MSC公司:94A60型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

对于\(c>\sqrt{\log\log n}\),近似最近邻搜索(l_2)没有假负值。 (英语) Zbl 1457.68079号

Okamoto,Yoshio(编辑)等人,第28届算法和计算国际研讨会,2017年国际会计准则委员会,2017年12月9日至12日,泰国普吉岛。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。92,第63条,第12页(2017年)。
PDF格式BibTeX公司 XML格式引用

正交矢量索引。 (英语) Zbl 1457.68116号

Okamoto,Yoshio(编辑)等人,第28届算法和计算国际研讨会,2017年国际会计准则委员会,2017年12月9日至12日,泰国普吉岛。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。92,第40条,第12页(2017年)。
PDF格式BibTeX公司 XML格式引用

对\(l_p\)进行不带假负数的局部敏感散列。 (英语) Zbl 1454.68035号

Dinh,Thang N.(编辑)等,《计算与组合学》。2016年8月2-4日,第22届国际会议,2016年COCOON,越南胡志明市。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9797, 105-118 (2016).
MSC公司:68第05页
PDF格式BibTeX公司 XML格式引用

进入正方形:关于一些二次时间可解问题的复杂性。 (英语) Zbl 1345.68170号

Crescenzi,Pierluigi(ed.)等人,《2015年ICTCS会议录》,第16届意大利理论计算机科学会议,意大利费伦泽,2015年9月9日至11日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记32251-67,仅电子版(2016)。
PDF格式BibTeX公司 XML格式引用

稀疏MAX-SAT和MAX-\(k\)-CSP的改进算法。 (英语) Zbl 1476.68248号

Heule,Marijn(编辑)等人,《满意度测试的理论和应用——SAT 2015》。第18届国际会议,美国德克萨斯州奥斯汀,2015年9月24日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9340, 33-45 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于有界宽度问题之间的等价性。 (英语) Zbl 1466.68043号

Bansal,Nikhil(编辑)等人,《算法——欧空局2015》。2015年9月14日至16日,第23届欧洲年会,希腊帕特拉斯。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9294, 754-765 (2015).
PDF格式BibTeX公司 XML格式引用

满足赋值的近似计数的相对指数时间复杂度。 (英语) Zbl 1341.68067号

Cygan,Marek(编辑)等人,《参数化和精确计算》。2014年9月10日至12日在波兰弗罗茨瓦夫举行的IPEC 2014第九届国际研讨会。修订了选定的论文。查姆:施普林格(ISBN 978-3-319-13523-6/pbk;978-3-316-13524-3/电子书)。计算机科学课堂讲稿8894,332-341(2014)。
PDF格式BibTeX公司 XML格式引用

MAX-2-SAT和MAX-2-CSP的新上界,考虑平均可变度。 (英语) Zbl 1352.68107号

Marx,Dániel(编辑)等人,《参数化和精确计算》。2011年9月6日至8日在德国萨尔布吕肯举行的2011年IPEC第六届国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-28049-8/pbk)。计算机科学课堂讲稿7112106-117(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

最大可满足性问题的新上界。 (英语。俄文原件) Zbl 1234.68154号

离散数学。申请。 19,第2期,155-172(2009); 从Diskretn翻译。材料21,第1号,139-157(2009年)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

划分成有界基数集。 (英语) Zbl 1273.68271号

Chen,Jianer(编辑)等,参数化和精确计算。2009年9月10日至11日,丹麦哥本哈根,第四届国际研讨会,IWPEC 2009。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-11268-3/pbk)。计算机科学课堂讲稿5917,258-263(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

图同态的新的平面指数时间类。 (英语) Zbl 1248.68264号

Frid,Anna(编辑)等人,《计算机科学——理论与应用》。2009年8月18日至23日,在俄罗斯新西伯利亚举行的第四届国际计算机科学研讨会,CSR 2009。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03350-6/pbk)。计算机科学讲座笔记5675346-355(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Max-2-SAT的一个新上界:图形理论方法。 (英语) Zbl 1173.68539号

Ochmaánski,Edward(编辑)等人,《2008年计算机科学数学基础》。2008年8月25日至29日,第33届国际研讨会,MFCS 2008,波兰托伦。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85237-7/pbk)。计算机科学课堂讲稿5162551-562(2008)。
PDF格式BibTeX公司 XML格式引用

约束满足的时间复杂性。 (英语) Zbl 1142.68376号

Grohe,Martin(编辑)等人,《参数化和精确计算》。2008年5月14日至16日,加拿大维多利亚,第三次国际研讨会,IWPEC 2008。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-79722-7/pbk)。计算机科学课程讲稿5018190-201(2008)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

全部的 前3名

主字段