标签check-my-proof - 这是页1 - GeneraCodice

证明语言不在P中使用对角色

https://www.generacodice.com/cn/articolo/1124806/证明语言不在p中使用对角色
  complexity-theory  -  check-my-proof  -  polynomial-time
cs.stackexchange cs.stackexchange

准集团，一致性和可识别子集

https://www.generacodice.com/cn/articolo/1123877/准集团-一致性和可识别子集
  formal-languages  -  reference-request  -  check-my-proof
cs.stackexchange cs.stackexchange

我如何显示线性语言与常规语言的串联封闭？

https://www.generacodice.com/cn/articolo/1120484/我如何显示线性语言与常规语言的串联封闭
  formal-languages  -  context-free  -  closure-properties  -  check-my-proof
cs.stackexchange cs.stackexchange

分类每个尺寸k的n阵列的下限

https://www.generacodice.com/cn/articolo/1120333/分类每个尺寸k的n阵列的下限
  arrays  -  sorting  -  algorithms  -  lower-bounds  -  check-my-proof
cs.stackexchange cs.stackexchange

Sierpiński 图上的哈密顿循环数

https://www.generacodice.com/cn/articolo/1119290/sierpinski-图上的哈密顿循环数
  graph-theory  -  combinatorics  -  check-my-proof
cs.stackexchange cs.stackexchange

显示$ x^y $是一个原始的递归功能

https://www.generacodice.com/cn/articolo/1116648/显示-x-y-是一个原始的递归功能
  recursion  -  computability  -  check-my-proof
cs.stackexchange cs.stackexchange

生成功能解决方案的错误

https://www.generacodice.com/cn/articolo/1098851/生成功能解决方案的错误
  recurrence-relation  -  mathematical-analysis  -  check-my-proof
cs.stackexchange cs.stackexchange

karp还原与列文还原相同

https://www.generacodice.com/cn/articolo/1097529/karp还原与列文还原相同
  complexity-theory  -  reductions  -  check-my-proof
cs.stackexchange cs.stackexchange

证明一通通道机可以决定停止问题

https://www.generacodice.com/cn/articolo/1096692/证明一通通道机可以决定停止问题
  turing-machines  -  computability  -  formal-languages  -  check-my-proof
cs.stackexchange cs.stackexchange
发现结果: 19
scroll top