理论信息学 5 689
在给定病毒源节点的情况下,病毒通过网络传播的概率是多少?
近似#P-hard问题
多项式大小的DFA识别的语言
两个家庭之间的最短距离/路径
量子电路等效的硬度?
额外 10 五月 2014 在 08:10 作者 , 理论信息学
在RD解析器中没有memoization的情况下触发指数行为的无上下文语法示例
额外 12 五月 2014 在 02:51 作者 , 理论信息学
如何在简单类型的Lambda演算中引入递归,同时保持强正规化?
额外 03 五月 2014 在 11:15 作者 , 理论信息学
直流均匀电路和奇偶校验-P
额外 05 五月 2014 在 01:54 作者 , 理论信息学
Gilmore-Lawler开始参加QAP
额外 25 四月 2014 在 11:40 作者 , 理论信息学
边长大于4的图表中的边缘
对应于连续体基数集的类型
n无理数,其数字是伪随机的:概念不匹配?
树宽和集团数之间的关系
额外 09 五月 2014 在 08:19 作者 , 理论信息学
计算3D多面体的直径
额外 12 五月 2014 在 09:22 作者 , 理论信息学
三维匹配变体的硬度
额外 12 五月 2014 在 12:43 作者 , 理论信息学
关于排列的一些算法问题
额外 25 四月 2014 在 06:34 作者 , 理论信息学
有序lambda项与有根平面映射之间的双射?
高斯枢轴方法的已知推广?
需要多项式空间的非P-hard问题的证据?
费马的最后定理和LLVM编译器
额外 12 五月 2014 在 12:39 作者 , 理论信息学
生命的元游戏
额外 02 五月 2014 在 12:02 作者 , 理论信息学
Stephen Boyd和Lieven Vandenberghe对凸优化问题的定义
是否有必要调用矩阵乘法$ n $次来找到一个爪子
额外 30 四月 2014 在 06:15 作者 , 理论信息学
解码Gabidulin代码
额外 14 五月 2014 在 06:07 作者 , 理论信息学
我应该阅读什么来了解算法中使用的不同计算模型,尤其是数据结构分析?
额外 11 五月 2014 在 07:23 作者 , 理论信息学