伊万·米哈伊林
人员信息
附属: 美国加州大学圣地亚哥分校
优化列表
2020年–今天
2024 [公元20年] 塔蒂亚娜·贝洛娃 , 亚历山大·库利科夫 , 伊万·米哈伊林 , 奥尔加·拉塞娃 , 格里戈里·雷兹尼科夫 , 丹尼尔·谢里波夫 :
使用多项式求值预言机进行计算:排除基于SETH的超线性下限。 SODA公司 2024 : 1834-1853 [第19条] 亚历山大·库利科夫 , 伊万·米哈伊林 :
如果SETH下的“边着色”为“硬”,则SETH为“假”。 SOSA公司 2024 : 115-120 [i17] 塔蒂亚娜·贝洛娃 , 尼古拉·丘金 , 亚历山大·库利科夫 , 伊万·米哈伊林 :
改进了子集和的空间边界。 CoRR公司 abs/2402.13170 ( 2024 ) 2023 [第18条] 塔蒂亚娜·贝洛娃 , 亚历山大·戈洛夫涅夫 , 亚历山大·库利科夫 , 伊万·米哈伊林 , 丹尼尔·谢里波夫 :
多项式公式作为基于还原的硬度证明的屏障。 SODA公司 2023 : 3245-3281 [i16] 塔蒂亚娜·贝洛娃 , 亚历山大·库利科夫 , 伊万·米哈伊林 , 奥尔加·拉塞娃 , 格里戈里·雷兹尼科夫 , 丹尼尔·谢里波夫 :
使用多项式求值预言机进行计算:排除基于SETH的超线性下限。 CoRR公司 abs/2307.11444 ( 2023 ) 2022 [第17条] 伊万·米哈伊林 , 阿纳斯塔西亚·索夫罗诺娃 :
对顶部闸门有限制的De Morgan公式的一个优于3log(n)的深度下限。 CCC公司 2022 : 13:1-13:15 [第16条] 阿图尔·伊格纳提耶夫 , 伊万·米哈伊林 , 亚历山大·斯马尔 :
广义Karchmer-Wigderson对策的超立方下界。 ISAAC公司 2022 : 66:1-66:18 [第15条] 格雷戈里·埃姆丁 , 亚历山大·库利科夫 , 伊万·米哈伊林 , 尼基塔·斯莱兹金 :
奇偶校验的CNF编码。 MFCS公司 2022 : 47:1-47:12 【i15】 格雷戈里·埃姆丁 , 亚历山大·库利科夫 , 伊万·米哈伊林 , 尼基塔·斯莱兹金 :
奇偶校验的CNF编码。 CoRR公司 腹肌/2203.01082 ( 2022 ) [第14条] 亚历山大·库利科夫 , 伊万·米哈伊林 :
多项式公式作为基于还原的硬度证明的屏障。 CoRR公司 abs/2205.07709 ( 2022 ) [i13] 阿图尔·伊格纳提耶夫 , 伊万·米哈伊林 , 亚历山大·斯马尔 :
广义Karchmer-Wigderson博弈的超保守下限。 电子。 计算机学术讨论会。 复杂。 22号机房 ( 2022 ) [i12] 伊万·米哈伊林 , 阿纳斯塔西亚·索夫罗诺娃 :
De Morgan公式的深度下限大于3 logn,顶部闸门有限制。 电子。 计算机学术讨论会。 复杂。 22号机房 ( 2022 ) 2021 [j5] 费多·弗明 , 丹尼尔·洛克什塔诺夫 , 伊万·米哈伊林 , Saket Saurabh公司 , 梅拉夫·泽哈维 :
Hadwiger数的计算和相关收缩问题:紧下限。 ACM事务处理。 计算。 理论 13 ( 2 ) : 10:1-10:25 ( 2021 ) [第14条] 伊万·米哈伊林 , 亚历山大·斯马尔 :
走向更好的深度下限:XOR-KRW推测。 CCC公司 2021 : 38:1-38:24 [c13] 马雷克·赛根 , 亚历山大·库利科夫 , 伊万·米哈伊林 , 马克西姆·尼古拉耶夫 , 格里戈里·雷兹尼科夫 :
最小公共字符串分区:精确算法。 欧洲安全局 2021 : 35:1-35:16 2020 [第12条] 费多·弗明 , 丹尼尔·洛克什塔诺夫 , 伊万·米哈伊林 , Saket Saurabh公司 , 梅拉夫·泽哈维 :
Hadwiger数的计算和相关收缩问题:紧下限。 ICALP公司 2020 : 49:1-49:18 [i11] 费多·弗明 , 丹尼尔·洛克斯塔诺夫 , 伊万·米哈伊林 , Saket Saurabh公司 , 梅拉夫·泽哈维 :
Hadwiger数的计算和相关收缩问题:紧下限。 CoRR公司 abs/2004.11621 ( 2020 ) [i10] 伊万·米哈伊林 , 亚历山大·斯马尔 :
朝向更好的深度下限:XOR-KRW猜想。 电子。 计算机学术讨论会。 复杂。 20号机房 ( 2020 )
2010 – 2019
2019 [第11条] 亚历山大·戈洛夫涅夫 , 亚历山大·库利科夫 , 亚历山大·洛古诺夫 , 伊万·米哈伊林 , 马克西姆·尼古拉耶夫 :
坍塌超弦猜想。 近似距离 2019 : 26:1-26:23 2018 [第10条] 马可·卡莫西奥 , 拉塞尔·英帕利亚佐 , 沙查尔·洛维特 , 伊万·米哈伊林 :
非交换算术电路的硬度放大。 CCC公司 2018 : 12:1-12:16 【c9】 肯尼思·胡佛 , 罗素·英帕利亚佐 , 伊万·米哈伊林 , 亚历山大·斯马尔 :
半双工通信复杂性。 ISAAC公司 2018 : 10:1-10:12 [第九章] 亚历山大·戈洛夫涅夫 , 亚历山大·库利科夫 , 亚历山大·洛古诺夫 , 伊万·米哈伊林 :
坍塌超弦猜想。 CoRR公司 abs/1809.08669 ( 2018 ) [i8] 马可·卡莫西奥 , 罗素·英帕利亚佐 , 沙查尔·洛维特 , 伊万·米哈伊林 :
非交换算术电路的硬度放大。 电子。 计算机学术讨论会。 复杂。 18号机房 ( 2018 ) [i7] 肯尼思·胡佛 , 罗素·英帕利亚佐 , 伊万·米哈伊林 , 亚历山大·斯马尔 :
半双工通信复杂性。 电子。 计算机学术讨论会。 复杂。 18号机房 ( 2018 ) 2017 【j4】 马雷克·赛根 , 费多·弗明 , 亚历山大·戈洛夫涅夫 , 亚历山大·库利科夫 , 伊万·米哈伊林 , 帕科奇 , 阿卡迪乌斯·索卡拉 :
图嵌入问题的紧下界。 美国临床医学杂志 64 ( 三 ) : 18:1-18:22 ( 2017 ) 2016 [j3] 亚历山大·戈洛夫涅夫 , 亚历山大·库利科夫 , 伊万·米哈伊林 :
有婴儿的家庭:使用FFT加速NP-Hard问题的算法。 ACM事务处理。 算法 12 ( 三 ) : 35:1-35:17 ( 2016 ) 【c8】 马可·卡莫西奥 , 加威高 , 罗素·英帕利亚佐 , 伊万·米哈伊林 , 拉马莫汉·帕图里 , 史蒂凡·施耐德 :
强指数时间假设的非确定性扩展和不可约性的结果。 国际贸易中心 2016 : 261-270 【c7】 马雷克·赛根 , 费多·弗明 , 亚历山大·戈洛夫涅夫 , 亚历山大·库利科夫 , 伊万·米哈伊林 , 帕科奇 , 阿卡迪乌斯·索卡拉 :
图同态和子图同构的紧界。 苏打水 2016 : 1643-1649 [i6] 马雷克·赛根 , 费多·弗明 , 亚历山大·戈洛夫涅夫 , 亚历山大·库利科夫 , 伊万·米哈伊林 , 帕科奇 , 阿卡迪乌斯·索卡拉 :
图嵌入问题的紧下界。 CoRR公司 abs/1602.05016 ( 2016 ) 2015 [注2] 叶夫根尼·德门科夫 , 亚历山大·库利科夫 , 奥尔加·梅拉尼奇 , 伊万·米哈伊林 :
多输出函数电路尺寸的新下限。 理论计算。 系统。 56 ( 4 ) : 630-642 ( 2015 ) 【c6】 费多·弗明 , 亚历山大·戈洛夫涅夫 , 亚历山大·库利科夫 , 伊万·米哈伊林 :
图同态问题的下界。 ICALP(一) 2015 : 481-493 [i5] 费多尔·V·福明 , 亚历山大·戈洛夫涅夫 , 亚历山大·库利科夫 , 伊万·米哈伊林 :
图同态问题的下界。 CoRR公司 abs/1502.05447 ( 2015 ) [i4] 费多·弗明 , 亚历山大·戈洛夫涅夫 , 亚历山大·库利科夫 , 伊万·米哈伊林 :
子图同构和图同态的紧界。 CoRR公司 abs/1507.03738 ( 2015 ) [i3] 马可·卡莫西奥 , 加威高 , 罗素·英帕利亚佐 , 伊万·米哈伊林 , 拉马莫汉·帕图里 , 史蒂凡·施耐德 :
强指数时间假设的非确定性扩展和不可约性的后果。 电子。 计算机学术讨论会。 复杂。 15号机房 ( 2015 ) 2014 [j1] 亚历山大·戈洛夫涅夫 , 亚历山大·库利科夫 , 伊万·米哈伊林 :
求解长度小于2的有界字符串的SCS n个 步骤。 信息处理。 莱特。 114 ( 8 ) : 421-425 ( 2014 ) 【c5】 亚历山大·戈洛夫涅夫 , 亚历山大·库利科夫 , 伊万·米哈伊林 :
有婴儿的家庭:解决硬划分问题的一般方法。 ICALP(一) 2014 : 551-562 [i2] 亚历山大·戈洛夫涅夫 , 亚历山大·库利科夫 , 伊万·米哈伊林 :
有婴儿的家庭:使用FFT加速NP-hard问题的算法。 CoRR公司 abs/1410.2209 ( 2014 ) 2013 【c4】 亚历山大·戈洛夫涅夫 , 亚历山大·库利科夫 , 伊万·米哈伊林 :
用de Bruijn图逼近最短超弦问题。 CPM公司 2013 : 120-129 【c3】 亚历山大·戈洛夫涅夫 , 亚历山大·库利科夫 , 伊万·米哈伊林 :
在3 n/3时间内求解3-超弦。 MFCS公司 2013 : 480-491 [i1] 亚历山大·戈洛夫涅夫 , 亚历山大·库利科夫 , 伊万·米哈伊林 :
有婴儿的家庭:解决硬分区问题的一般方法。 CoRR公司 abs/1311.2456 ( 2013 ) 2012 【c2】 亚历山大·库利科夫 , 奥尔加·梅拉尼奇 , 伊万·米哈伊林 :
线性布尔函数U 2上电路尺寸的5n-o(n)下界。 CiE公司 2012 : 432-439 【c1】 叶夫根尼·德门科夫 , 亚历山大·库利科夫 , 伊万·米哈伊林 , 森喜美 :
同时计算所有MOD功能。 企业社会责任 2012 : 81-88