掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
IEEE Conference on Computational Complexity
IEEE Conference on Computational Complexity
召开年:
2014
召开地:
Vancouver(CA)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Goldreich#039;s PRG: Evidence for Near-Optimal Polynomial Stretch
机译:
Goldreich的PRG:接近最佳多项式拉伸的证据
作者:
ODonnell Ryan
;
Witmer David
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Computer science;
Context;
Correlation;
Cryptography;
Generators;
Polynomials;
2.
On the Power of Symmetric LP and SDP Relaxations
机译:
关于对称LP和SDP松弛的力量
作者:
Lee James R.
;
Raghavendra Prasad
;
Steurer David
;
Tan Ning
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Approximation methods;
Linear programming;
Optimization;
Polynomials;
Tin;
Traveling salesman problems;
Vectors;
constraint satisfaction problems;
extended formulations;
linear programs;
semidefinite programs;
travelling salesman problem;
3.
Quantum Algorithms for Learning Symmetric Juntas via Adversary Bound
机译:
通过对抗约束学习对称Juntas的量子算法
作者:
Belovs Aleksandrs
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Boolean functions;
Complexity theory;
Input variables;
Symmetric matrices;
Testing;
Tin;
Vectors;
computational learning theory;
group testing;
quantum query complexity;
4.
On Physical Problems that are Slightly More Difficult than QMA
机译:
关于比QMA难一些的物理问题
作者:
Ambainis Andris
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Computational complexity;
Eigenvalues and eigenfunctions;
Polynomials;
Quantum computing;
Stationary state;
QMA;
complexity of physical problems;
quantum Hamiltonian complexity;
quantum computing;
5.
AM with Multiple Merlins
机译:
AM与多个Merlins
作者:
Aaronson Scott
;
Impagliazzo Russell
;
Moshkovitz Dana
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Additives;
Approximation algorithms;
Approximation methods;
Complexity theory;
Games;
Polynomials;
Protocols;
Arthur-Merlin;
Exponential Time Hypothesis;
PCP;
QMA(2);
free games;
multi-prover;
quasipolynomial time;
6.
Counting List Matrix Partitions of Graphs
机译:
图的列表矩阵分区计数
作者:
Gobel Andreas
;
Goldberg Leslie Ann
;
McQuillan Colin
;
Richerby David
;
Yamakami Tomoyuki
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Complexity theory;
Data structures;
Educational institutions;
Europe;
Partitioning algorithms;
Standards;
Symmetric matrices;
counting complexity;
dichotomy theorem;
graph algorithms;
graph homomorphism;
7.
Counting the Number of Perfect Matchings in K5-Free Graphs
机译:
计算无K5图中的完美匹配数
作者:
Straub Simon
;
Thierauf Thomas
;
Wagner Fabian
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Computer science;
Educational institutions;
Heuristic algorithms;
Law;
Polynomials;
Vectors;
K_5-free graphs;
counting;
perfect matchings;
8.
Hardness of Finding Independent Sets in 2-Colorable Hypergraphs and of Satisfiable CSPs
机译:
在2色超图和可满足的CSP中查找独立集的难度
作者:
Saket Rishi
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Approximation methods;
Atomic measurements;
Color;
Labeling;
Markov processes;
Partitioning algorithms;
Polynomials;
CSPs;
Hypergraph;
Inapproximability;
Independent Set;
9.
Locally Dense Codes
机译:
本地密集代码
作者:
Micciancio Daniele
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Binary codes;
Lattices;
Linear codes;
Polynomials;
Reed-Solomon codes;
Symmetric matrices;
Vectors;
NP-hardness;
coding theory;
derandomization;
lattices;
minimum distance problem;
shortest vector problem;
10.
On the Closest Vector Problem with a Distance Guarantee
机译:
具有距离保证的最近向量问题
作者:
Dadush Daniel
;
Regev Oded
;
Stephens-Davidowitz Noah
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Approximation algorithms;
Approximation methods;
Boolean functions;
Data structures;
Decoding;
Lattices;
Vectors;
BDD;
BDDP;
CVP;
CVPP;
11.
Algorithms for Group Isomorphism via Group Extensions and Cohomology
机译:
通过组扩展和同构的组同构算法
作者:
Grochow Joshua A.
;
Qiao Youming
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Abstracts;
Algorithm design and analysis;
Complexity theory;
Educational institutions;
Orbits;
Polynomials;
Testing;
12.
Low Influence Functions over Slices of the Boolean Hypercube Depend on Few Coordinates
机译:
依赖于少量坐标的布尔超立方体切片上的低影响函数
作者:
Wimmer Karl
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Boolean functions;
Hamming weight;
Hypercubes;
Shape;
Standards;
Tin;
Vectors;
Boolean function;
influence;
junta theorem;
representation theory;
symmetric group;
13.
On the Sum of L1 Influences
机译:
关于L1影响的总和
作者:
Backurs Arturs
;
Bavarian Mohammad
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Boolean functions;
Chebyshev approximation;
Complexity theory;
Graph theory;
Hypercubes;
Polynomials;
Analysis of Boolean function;
influence of a variable;
14.
A Composition Theorem for Parity Kill Number
机译:
奇偶杀死数的一个合成定理
作者:
ODonnell Ryan
;
Wright John
;
Zhao Yu
;
Sun Xiaorui
;
Tan Li-Yang
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Boolean functions;
Complexity theory;
Computer science;
Decision trees;
Educational institutions;
Handheld computers;
Input variables;
communication complexity;
log-rank conjecture;
parity decision trees;
15.
Recent Progress on Lower Bounds for Arithmetic Circuits
机译:
算术电路下界的最新进展
作者:
Saraf Shubhangi
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Complexity theory;
Computational modeling;
Integrated circuit modeling;
Logic gates;
Polynomials;
Testing;
Upper bound;
arithmetic circuits;
depth reduction;
lower bounds;
16.
Hitting Sets for Low-Degree Polynomials with Optimal Density
机译:
具有最佳密度的低度多项式的命中集
作者:
Guruswami Venkatesan
;
Xing Chaoping
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Complexity theory;
Frequency modulation;
Generators;
Linear codes;
Polynomials;
Vectors;
Algebraic function fields;
Explicit constructions;
Pseudorandomness;
Reed-Muller codes;
17.
Equivalence of Polynomial Identity Testing and Deterministic Multivariate Polynomial Factorization
机译:
多项式恒等式检验和确定性多元多项式因式分解的等价性
作者:
Kopparty Swastik
;
Saraf Shubhangi
;
Shpilka Amir
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Complexity theory;
Computational modeling;
Computer science;
Integrated circuit modeling;
Logic gates;
Polynomials;
Testing;
Polynomial identity testing;
arithmetic circuits;
factoring;
18.
Noncommutative Determinant is Hard: A Simple Proof Using an Extension of Barrington#039;s Theorem
机译:
非可交换行列式很难:使用Barrington定理的扩展的简单证明
作者:
Gentry Craig
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Equations;
Indium phosphide;
Matrices;
Quaternions;
Transmission line matrix methods;
Vectors;
19.
Direct Product Testing
机译:
直接产品测试
作者:
Dinur Irit
;
Steurer David
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Computational complexity;
Conferences;
Context;
Decoding;
Games;
Polynomials;
Testing;
parallel repetition;
probabilistically checkable proofs;
property testing;
20.
A Parallel Repetition Theorem for Entangled Projection Games
机译:
纠结投影游戏的平行重复定理
作者:
Dinur Irit
;
Steurer David
;
Vidick Thomas
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Complexity theory;
Computer science;
Cryptography;
Games;
Quantum entanglement;
Vectors;
entangled games;
multiplayer games;
parallel repetition;
projection games;
21.
A Parallel Repetition Theorem for Entangled Two-Player One-Round Games under Product Distributions
机译:
产品分布下纠缠的两人一局游戏的并行重复定理
作者:
Jain Rahul
;
Pereszlenyi Attila
;
Yao Penghui
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Entropy;
Games;
Probability distribution;
Protocols;
Quantum entanglement;
Registers;
entangled value;
parallel repetition theorem;
two-player game;
22.
A Pseudorandom Generator for Polynomial Threshold Functions of Gaussian with Subpolynomial Seed Length
机译:
具有次多项式种子长度的高斯多项式阈值函数的伪随机生成器
作者:
Kane Daniel M.
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Approximation methods;
Gaussian distribution;
Generators;
Jacobian matrices;
Polynomials;
Random variables;
Standards;
Polynomial threshold function;
Pseudorandom generator;
23.
Deterministic Approximate Counting for Juntas of Degree-2 Polynomial Threshold Functions
机译:
2阶多项式阈值函数的Junta的确定性近似计数
作者:
De Anindya
;
Diakonikolas Ilias
;
Servedio Rocco A.
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Approximation algorithms;
Approximation methods;
Calculus;
Covariance matrices;
Eigenvalues and eigenfunctions;
Polynomials;
Random variables;
Approximate counting;
derandomization;
polynomial threshold function;
24.
Linear List-Approximation for Short Programs (or the Power of a Few Random Bits)
机译:
短程序的线性列表近似(或少量随机位的幂)
作者:
Bauwens Bruno
;
Zimand Marius
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Bipartite graph;
Complexity theory;
Entropy;
Polynomials;
Probabilistic logic;
Standards;
Turing machines;
Kolmogorov complexity;
approximation;
randomized algorithm;
25.
Algorithms for Circuits and Circuits for Algorithms
机译:
电路算法和算法电路
作者:
Williams Ryan
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Algorithm design and analysis;
Boolean functions;
Complexity theory;
Computational modeling;
Integrated circuit modeling;
Logic gates;
Polynomials;
circuit complexity;
derandomization;
exact algorithms;
learning;
parameterized algorithms;
satisfiability;
26.
Mining Circuit Lower Bound Proofs for Meta-algorithms
机译:
元算法的挖掘电路下界证明
作者:
Chen Ruiwen
;
Kabanets Valentine
;
Kolokolova Antonina
;
Shaltiel Ronen
;
Zuckerman David
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Algorithm design and analysis;
Boolean functions;
Compression algorithms;
Cryptography;
Educational institutions;
Generators;
Partitioning algorithms;
Circuit-SAT algorithms;
average-case circuit lower bounds;
compression;
meta-algorithms;
natural property;
random restrictions;
shrinkage of de Morgan formulas;
27.
Unifying Known Lower Bounds via Geometric Complexity Theory
机译:
通过几何复杂度理论统一已知的下界
作者:
Grochow Joshua A.
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Abstracts;
Complexity theory;
Context;
Geometry;
Polynomials;
Standards;
Vectors;
algebraic complexity;
arithmetic circuits;
geometric complexity theory;
lower bounds;
representation theory;
28.
Narrow Proofs May Be Maximally Long
机译:
窄证明可能最长
作者:
Atserias Albert
;
Lauria Massimo
;
Nordstrom Jakob
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Calculus;
Complexity theory;
Linear programming;
Polynomials;
Size measurement;
Standards;
Upper bound;
Lasserre;
PCR;
Sherali-Adams;
degree;
length;
polynomial calculus;
proof complexity;
rank;
resolution;
size;
width;
29.
Overlays and Limited Memory Communication
机译:
叠加和有限的内存通信
作者:
Papakonstantinou Periklis
;
Scheder Dominik
;
Song Hao
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Boolean functions;
Complexity theory;
Computational modeling;
Image color analysis;
Integrated circuit modeling;
Polynomials;
Protocols;
Combinatorial Characterization;
Communication Complexity;
Polynomial Hierarchy;
Space;
30.
Lower Bounds for Testing Properties of Functions over Hypergrid Domains
机译:
测试超网格域上的函数属性的下界
作者:
Blais Eric
;
Raskhodnikova Sofya
;
Yaroslavtsev Grigory
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Bismuth;
Complexity theory;
Games;
Hypercubes;
Protocols;
Testing;
Upper bound;
Property testing;
Walsh functions;
communication complexity;
functions on hypergrids;
monotonicity;
31.
Fourier Concentration from Shrinkage
机译:
收缩引起的傅立叶浓度
作者:
Impagliazzo Russell
;
Kabanets Valentine
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Algorithm design and analysis;
Boolean functions;
Correlation;
Educational institutions;
Polynomials;
Sensitivity;
Upper bound;
Fourier analysis;
average sensitivity;
compressibility;
correlation bounds;
de Morgan formulas;
learnability;
read-once de Morgan formulas;
shrinkage exponent;
32.
Linear List-Approximation for Short Programs (or the Power of a Few Random Bits)
机译:
线性列表 - 短程的近似(或几个随机位的电源)
作者:
Bauwens Bruno
;
Zimand Marius
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Bipartite graph;
Complexity theory;
Entropy;
Polynomials;
Probabilistic logic;
Standards;
Turing machines;
Kolmogorov complexity;
approximation;
randomized algorithm;
33.
Algorithms for Group Isomorphism via Group Extensions and Cohomology
机译:
通过组扩展和协调的组同构族算法
作者:
Grochow Joshua A.
;
Qiao Youming
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Abstracts;
Algorithm design and analysis;
Complexity theory;
Educational institutions;
Orbits;
Polynomials;
Testing;
34.
Counting the Number of Perfect Matchings in K5-Free Graphs
机译:
计数K5 - 自由图中完美匹配的数量
作者:
Straub Simon
;
Thierauf Thomas
;
Wagner Fabian
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Computer science;
Educational institutions;
Heuristic algorithms;
Law;
Polynomials;
Vectors;
K_5-free graphs;
counting;
perfect matchings;
35.
Quantum Algorithms for Learning Symmetric Juntas via Adversary Bound
机译:
通过对抗束缚学习对称君主的量子算法
作者:
Belovs Aleksandrs
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Boolean functions;
Complexity theory;
Input variables;
Symmetric matrices;
Testing;
Tin;
Vectors;
computational learning theory;
group testing;
quantum query complexity;
36.
Mining Circuit Lower Bound Proofs for Meta-algorithms
机译:
Meta算法的采矿电路下限
作者:
Chen Ruiwen
;
Kabanets Valentine
;
Kolokolova Antonina
;
Shaltiel Ronen
;
Zuckerman David
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Algorithm design and analysis;
Boolean functions;
Compression algorithms;
Cryptography;
Educational institutions;
Generators;
Partitioning algorithms;
Circuit-SAT algorithms;
average-case circuit lower bounds;
compression;
meta-algorithms;
natural property;
random restrictions;
shrinkage of de Morgan formulas;
37.
Hitting Sets for Low-Degree Polynomials with Optimal Density
机译:
击中具有最佳密度的低度多项式的组
作者:
Guruswami Venkatesan
;
Xing Chaoping
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Complexity theory;
Frequency modulation;
Generators;
Linear codes;
Polynomials;
Vectors;
Algebraic function fields;
Explicit constructions;
Pseudorandomness;
Reed-Muller codes;
38.
Noncommutative Determinant is Hard: A Simple Proof Using an Extension of Barrington#039;s Theorem
机译:
非容性决定因素很难:使用Barrington的定理延伸的简单证据
作者:
Gentry Craig
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Equations;
Indium phosphide;
Matrices;
Quaternions;
Transmission line matrix methods;
Vectors;
39.
On Physical Problems that are Slightly More Difficult than QMA
机译:
关于稍微困难的身体问题比QMA困难
作者:
Ambainis Andris
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Computational complexity;
Eigenvalues and eigenfunctions;
Polynomials;
Quantum computing;
Stationary state;
QMA;
complexity of physical problems;
quantum Hamiltonian complexity;
quantum computing;
40.
Fourier Concentration from Shrinkage
机译:
傅里叶浓度来自收缩
作者:
Impagliazzo Russell
;
Kabanets Valentine
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Algorithm design and analysis;
Boolean functions;
Correlation;
Educational institutions;
Polynomials;
Sensitivity;
Upper bound;
Fourier analysis;
average sensitivity;
compressibility;
correlation bounds;
de Morgan formulas;
learnability;
read-once de Morgan formulas;
shrinkage exponent;
41.
On the Power of Symmetric LP and SDP Relaxations
机译:
关于对称LP和SDP放松的力量
作者:
Lee James R.
;
Raghavendra Prasad
;
Steurer David
;
Tan Ning
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Approximation methods;
Linear programming;
Optimization;
Polynomials;
Tin;
Traveling salesman problems;
Vectors;
constraint satisfaction problems;
extended formulations;
linear programs;
semidefinite programs;
travelling salesman problem;
42.
On the Closest Vector Problem with a Distance Guarantee
机译:
在距离保证的最接近的矢量问题上
作者:
Dadush Daniel
;
Regev Oded
;
Stephens-Davidowitz Noah
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Approximation algorithms;
Approximation methods;
Boolean functions;
Data structures;
Decoding;
Lattices;
Vectors;
BDD;
BDDP;
CVP;
CVPP;
43.
Recent Progress on Lower Bounds for Arithmetic Circuits
机译:
算术电路下限的最新进展
作者:
Saraf Shubhangi
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Complexity theory;
Computational modeling;
Integrated circuit modeling;
Logic gates;
Polynomials;
Testing;
Upper bound;
arithmetic circuits;
depth reduction;
lower bounds;
44.
Counting List Matrix Partitions of Graphs
机译:
计算列表图形的矩阵分区
作者:
Gobel Andreas
;
Goldberg Leslie Ann
;
McQuillan Colin
;
Richerby David
;
Yamakami Tomoyuki
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Complexity theory;
Data structures;
Educational institutions;
Europe;
Partitioning algorithms;
Standards;
Symmetric matrices;
counting complexity;
dichotomy theorem;
graph algorithms;
graph homomorphism;
45.
Goldreich#039;s PRG: Evidence for Near-Optimal Polynomial Stretch
机译:
Goldreich的PRG:近乎最佳多项式伸展的证据
作者:
ODonnell Ryan
;
Witmer David
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Computer science;
Context;
Correlation;
Cryptography;
Generators;
Polynomials;
46.
Deterministic Approximate Counting for Juntas of Degree-2 Polynomial Threshold Functions
机译:
测量值-2多项式阈值函数的基消息的确定性近似计数
作者:
De Anindya
;
Diakonikolas Ilias
;
Servedio Rocco A.
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Approximation algorithms;
Approximation methods;
Calculus;
Covariance matrices;
Eigenvalues and eigenfunctions;
Polynomials;
Random variables;
Approximate counting;
derandomization;
polynomial threshold function;
47.
A Pseudorandom Generator for Polynomial Threshold Functions of Gaussian with Subpolynomial Seed Length
机译:
高斯与亚斯偶联种子长度的多项式阈值函数的伪随机发生器
作者:
Kane Daniel M.
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Approximation methods;
Gaussian distribution;
Generators;
Jacobian matrices;
Polynomials;
Random variables;
Standards;
Polynomial threshold function;
Pseudorandom generator;
48.
Overlays and Limited Memory Communication
机译:
覆盖和内存通信有限
作者:
Papakonstantinou Periklis
;
Scheder Dominik
;
Song Hao
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Boolean functions;
Complexity theory;
Computational modeling;
Image color analysis;
Integrated circuit modeling;
Polynomials;
Protocols;
Combinatorial Characterization;
Communication Complexity;
Polynomial Hierarchy;
Space;
49.
Hardness of Finding Independent Sets in 2-Colorable Hypergraphs and of Satisfiable CSPs
机译:
在2可色的超图和满足的CSP中找到独立集的硬度
作者:
Saket Rishi
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Approximation methods;
Atomic measurements;
Color;
Labeling;
Markov processes;
Partitioning algorithms;
Polynomials;
CSPs;
Hypergraph;
Inapproximability;
Independent Set;
50.
AM with Multiple Merlins
机译:
我有多个merlins
作者:
Aaronson Scott
;
Impagliazzo Russell
;
Moshkovitz Dana
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Additives;
Approximation algorithms;
Approximation methods;
Complexity theory;
Games;
Polynomials;
Protocols;
Arthur-Merlin;
Exponential Time Hypothesis;
PCP;
QMA(2);
free games;
multi-prover;
quasipolynomial time;
51.
Lower Bounds for Testing Properties of Functions over Hypergrid Domains
机译:
用于测试超格域域功能的低界限
作者:
Blais Eric
;
Raskhodnikova Sofya
;
Yaroslavtsev Grigory
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Bismuth;
Complexity theory;
Games;
Hypercubes;
Protocols;
Testing;
Upper bound;
Property testing;
Walsh functions;
communication complexity;
functions on hypergrids;
monotonicity;
52.
Equivalence of Polynomial Identity Testing and Deterministic Multivariate Polynomial Factorization
机译:
多项式身份测试和确定性多变量多项式分解的等价性
作者:
Kopparty Swastik
;
Saraf Shubhangi
;
Shpilka Amir
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Complexity theory;
Computational modeling;
Computer science;
Integrated circuit modeling;
Logic gates;
Polynomials;
Testing;
Polynomial identity testing;
arithmetic circuits;
factoring;
53.
A Parallel Repetition Theorem for Entangled Projection Games
机译:
纠缠投影游戏的平行重复定理
作者:
Dinur Irit
;
Steurer David
;
Vidick Thomas
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Complexity theory;
Computer science;
Cryptography;
Games;
Quantum entanglement;
Vectors;
entangled games;
multiplayer games;
parallel repetition;
projection games;
54.
A Parallel Repetition Theorem for Entangled Two-Player One-Round Games under Product Distributions
机译:
在产品发行版下纠缠双人单次游戏的平行重复定理
作者:
Jain Rahul
;
Pereszlenyi Attila
;
Yao Penghui
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Entropy;
Games;
Probability distribution;
Protocols;
Quantum entanglement;
Registers;
entangled value;
parallel repetition theorem;
two-player game;
55.
Narrow Proofs May Be Maximally Long
机译:
狭窄的证据可能最大长
作者:
Atserias Albert
;
Lauria Massimo
;
Nordstrom Jakob
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Calculus;
Complexity theory;
Linear programming;
Polynomials;
Size measurement;
Standards;
Upper bound;
Lasserre;
PCR;
Sherali-Adams;
degree;
length;
polynomial calculus;
proof complexity;
rank;
resolution;
size;
width;
56.
On the Sum of L1 Influences
机译:
关于L1影响的总和
作者:
Backurs Arturs
;
Bavarian Mohammad
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Boolean functions;
Chebyshev approximation;
Complexity theory;
Graph theory;
Hypercubes;
Polynomials;
Analysis of Boolean function;
influence of a variable;
57.
Low Influence Functions over Slices of the Boolean Hypercube Depend on Few Coordinates
机译:
低音HyperCube切片的低影响功能取决于几个坐标
作者:
Wimmer Karl
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Boolean functions;
Hamming weight;
Hypercubes;
Shape;
Standards;
Tin;
Vectors;
Boolean function;
influence;
junta theorem;
representation theory;
symmetric group;
58.
Locally Dense Codes
机译:
局部密集的代码
作者:
Micciancio Daniele
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Binary codes;
Lattices;
Linear codes;
Polynomials;
Reed-Solomon codes;
Symmetric matrices;
Vectors;
NP-hardness;
coding theory;
derandomization;
lattices;
minimum distance problem;
shortest vector problem;
59.
Algorithms for Circuits and Circuits for Algorithms
机译:
用于算法电路和电路的算法
作者:
Williams Ryan
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Algorithm design and analysis;
Boolean functions;
Complexity theory;
Computational modeling;
Integrated circuit modeling;
Logic gates;
Polynomials;
circuit complexity;
derandomization;
exact algorithms;
learning;
parameterized algorithms;
satisfiability;
60.
Unifying Known Lower Bounds via Geometric Complexity Theory
机译:
通过几何复杂性理论统一已知的下限
作者:
Grochow Joshua A.
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Abstracts;
Complexity theory;
Context;
Geometry;
Polynomials;
Standards;
Vectors;
algebraic complexity;
arithmetic circuits;
geometric complexity theory;
lower bounds;
representation theory;
61.
Direct Product Testing
机译:
直接产品测试
作者:
Dinur Irit
;
Steurer David
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Computational complexity;
Conferences;
Context;
Decoding;
Games;
Polynomials;
Testing;
parallel repetition;
probabilistically checkable proofs;
property testing;
62.
A Composition Theorem for Parity Kill Number
机译:
平价杀戮数量的组成定理
作者:
ODonnell Ryan
;
Wright John
;
Zhao Yu
;
Sun Xiaorui
;
Tan Li-Yang
会议名称:
《IEEE Conference on Computational Complexity》
|
2014年
关键词:
Boolean functions;
Complexity theory;
Computer science;
Decision trees;
Educational institutions;
Handheld computers;
Input variables;
communication complexity;
log-rank conjecture;
parity decision trees;
63.
Optimal Inapproximability for Scheduling Problems via Structural Hardness for Hypergraph Vertex Cover
机译:
通过结构硬度对超图顶点盖的结构硬度进行最佳差异
作者:
Sachdeva Sushant
;
Saket Rishi
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
关键词:
hardness;
hypergraph;
scheduling;
vertex cover;
64.
Short Lists with Short Programs in Short Time
机译:
短期内的短程清单短时间内
作者:
Bauwens Bruno
;
Makhlin Anton
;
Vereshchagin Nikolay
;
Zimand Marius
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
关键词:
Kolmogorov complexity;
expander graph;
list-approximator;
on-line matching;
65.
Strong LTCs with Inverse Polylogarithmic Rate and Soundness
机译:
强大的LTC具有逆转力率和声音
作者:
Viderman Michael
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
关键词:
error-correcting codes;
locally testable codes;
66.
Collapse of the Hierarchy of Constant-Depth Exact Quantum Circuits
机译:
恒定深度精确量子电路的层次结构倒塌
作者:
Takahashi Yasuhiro
;
Tani Seiichiro
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
关键词:
OR function;
discrete logarithm algorithm;
quantum circuit;
threshold function;
67.
On the Parameterized and Approximation Hardness of Metric Dimension
机译:
在度量尺寸的参数化和近似硬度
作者:
Hartung Sepp
;
Nichterlein Andre
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
关键词:
W2-completeness;
computational complexity;
network verification;
68.
The Correct Exponent for the Gotsman-Linial Conjecture
机译:
Gotsman-Linial猜想的正确指数
作者:
Kane Daniel M.
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
关键词:
Combinatorial Mathematics;
Polynomials;
69.
Random Arithmetic Formulas Can Be Reconstructed Efficiently
机译:
随机算术公式可以有效地重建
作者:
Gupta Ankit
;
Kayal Neeraj
;
Qiao Youming
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
关键词:
arithmetic formulas;
average case;
reconstruction;
70.
On Medium-Uniformity and Circuit Lower Bounds
机译:
上均匀性和电路下限
作者:
Santhanam Rahul
;
Williams Ryan
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
关键词:
circuit complexity;
derandomization;
lower bounds;
medium uniformity;
71.
Approaching the Chasm at Depth Four
机译:
在四个深处接近鸿沟
作者:
Gupta Ankit
;
Kamath Pritish
;
Kayal Neeraj
;
Saptharishi Ramprasad
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
关键词:
depth 4 circuits;
determinant;
lower bounds;
partial derivatives;
permanent;
72.
An O(n#x00BD;+?)-Space and Polynomial-Time Algorithm for Directed Planar Reachability
机译:
O(n½ +?) - 用于定向平面可达性的空间和多项式算法
作者:
Imai Tatsuya
;
Nakagawa Kotaro
;
Pavan A.
;
Vinodchandran N.V.
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
关键词:
directed planar graph;
polynomial time;
reachability;
sublinear space;
73.
Superlinear Lower Bounds for Multipass Graph Processing
机译:
多按摩图处理的超线性下限
作者:
Guruswami Venkatesan
;
Onak Krzysztof
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
关键词:
communication complexity;
information theory;
maximum matching;
shortest path;
streaming;
74.
Composition Limits and Separating Examples for Some Boolean Function Complexity Measures
机译:
用于一些布尔函数复杂度措施的构图限制和分离示例
作者:
Gilmer Justin
;
Saks Michael
;
Srinivasan Srikanth
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
关键词:
Block sensitivity;
Certificate complexity;
Fractional Certificate complexity;
Iterated composition;
75.
Lower Bounds for DNF-refutations of a Relativized Weak Pigeonhole Principle
机译:
DNF反驳的下界较为弱鸽子原理
作者:
Atserias Albert
;
Muller Moritz
;
Oliva Sergi
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
76.
Two-Message Quantum Interactive Proofs and the Quantum Separability Problem
机译:
双程量子互动证明和量子可分离问题
作者:
Hayden Patrick
;
Milner Kevin
;
Wilde Mark M.
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
关键词:
permutation test;
quantum interactive proofs;
quantum separability problem;
quantum statistical zero knowledge;
77.
Approximating Boolean Functions with Depth-2 Circuits
机译:
用深度2电路近似布尔函数
作者:
Blais Eric
;
Tan Li-Yang
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
关键词:
Kuznetsov Theorem (Kor83;
The optimal DNF size for a random Boolean function is (K + o(1))(2n= log n log log n);
Kuz831);
where amp;
lt;
Kamp;
lt;
1:54169.;
78.
Quantum XOR Games
机译:
量子XOR游戏
作者:
Regev Oded
;
Vidick Thomas
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
关键词:
Grothendieck inequality;
XOR games;
quantum games;
semidefinite programming;
79.
LS+ Lower Bounds from Pairwise Independence
机译:
LS +从成对独立的下限
作者:
Tulsiani Madhur
;
Worah Pratik
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
80.
On the Power of Non-adaptive Learning Graphs
机译:
关于非自适应学习图的力量
作者:
Belovs Aleksandrs
;
Rosmanis Ansis
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
关键词:
adversary lower bound;
certificate complexity;
convex duality;
k-sum problem;
learning graphs;
quantum query complexity;
triangle problem;
81.
On the Lattice Smoothing Parameter Problem
机译:
在晶格平滑参数问题上
作者:
Chung Kai-Min
;
Dadush Daniel
;
Liu Feng-Hao
;
Peikert Chris
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
82.
Covering CSPs
机译:
覆盖CSP.
作者:
Dinur Irit
;
Kol Gillat
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
关键词:
Covering Number;
PCP;
Unique Games Conjecture;
83.
Constructing Hard Functions Using Learning Algorithms
机译:
使用学习算法构建硬功能
作者:
Klivans Adam
;
Kothari Pravesh
;
Oliveira Igor C.
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
关键词:
Circuits;
Discrepancy;
Karp-Lipton;
Learning;
Lower Bounds;
SQ Learning;
84.
Shared Randomness and Quantum Communication in the Multi-party Model
机译:
多方模型中共享随机性和量子通信
作者:
Gavinsky Dmitry
;
Ito Tsuyoshi
;
Wang Guoming
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
关键词:
communication complexity;
multi-party communication;
quantum communication;
simultaneous message passing;
85.
Towards a Reverse Newman's Theorem in Interactive Information Complexity
机译:
朝着互动信息复杂性的反向纽曼定理
作者:
Brody Joshua
;
Buhrman Harry
;
Koucky Michal
;
Loff Bruno
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
86.
On Rigid Matrices and U-polynomials
机译:
在刚性矩阵和U-多项式上
作者:
Alon Noga
;
Cohen Gil
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
关键词:
U-polynomials;
matrix rigidity;
small-bias sets;
unbalanced expanders;
87.
Formulas are Exponentially Stronger than Monotone Circuits in Non-commutative Setting
机译:
公式比非换向环境中的单调电路是指数相比的
作者:
Hrube Pavel
;
Yehudayoff Amir
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
关键词:
algebraic complexity;
disjointness;
monotone computation;
88.
How Low Can Approximate Degree and Quantum Query Complexity Be for Total Boolean Functions?
机译:
近似程度和量子查询复杂度有多低,用于总布尔函数?
作者:
Ambainis Andris
;
de Wolf Ronald
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
关键词:
Analysis of Boolean functions;
approximate degree;
lower bounds;
quantum algorithms;
query complexity;
89.
The Distinguishability of Product Distributions by Read-Once Branching Programs
机译:
通过阅读分支计划的产品分布的可区分性
作者:
Steinberger John
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
关键词:
computational indistinguishability;
product distributions;
read-once branching programs;
90.
A Derandomized Switching Lemma and an Improved Derandomization of AC0
机译:
易糖化的切换引理和AC0的改善德兰弥作
作者:
Trevisan Luca
;
Xue Tongke
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
关键词:
AC0;
derandomization;
pseudorandom generators;
switching lemma;
91.
Just a Pebble Game
机译:
只是一场小游戏
作者:
Chan Siu Man
会议名称:
《IEEE Conference on Computational Complexity》
|
2013年
关键词:
circuits;
depth;
hardness escalation;
monotone complexity;
parallel algorithms;
pebble games;
proof complexity;
resolution refutations;
space;
switching networks;
意见反馈
回到顶部
回到首页