腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
2
回答
长期运行的
PHP
脚本被终止
ubuntu
、
php
、
vps
这不是
PHP
的最大执行时间,因为设置的时间足够长。 这是我的VPS提供者为了对抗负载而做的事情,还是Ubuntu为了保持系统响应而做的事情?根据munin的说法,我的VPS配置得很奇怪。这就是为什么我想知道这
是否
是我的VPS提供商所做的事情。实际上,如果他们直截了当地告诉我我跑得太高了,我很乐意升级到1GB包,但是在我看来,在没有任何通知的情况下终止脚本并不是很好的做法。
浏览 0
提问于2011-05-28
得票数 2
1
回答
腾讯云通信IM,有没有
判定
某用户
是否
为
我的好友的接口的啊?
即时通信 IM
云通信IM中,想要
判定
某两位用户之间
是否
为
好友关系,应该调用哪个接口?
浏览 465
提问于2019-05-24
1
回答
二元softmax决策边界
classification
在这文件中,图4中:给出了不同的$W1$和$W2$s的
判定
边界,如果$W_1.x > W_2.x$或$W_1.x < W_2.x$分别适用于第1类和第2类,则
判定
边界
为
$(W1-W2).x =但是,在这个
数字
中,只有在$||W1|| =\}的情况下,这种情况在视觉上是正确的。在其他情况下,情况并非如此。如果一个人画$W1-W2$,它将不垂直于决策边界。 我想得对吗?
浏览 0
提问于2018-08-23
得票数 3
回答已采纳
1
回答
判定
图
是否
为
凸图
graph
、
convex
我正在尝试确定一条连接多个点的直线
是否
为
凸的。这些点可以在x,y坐标上绘制。除了将每个点连接到其他点并查看所有这些线
是否
都位于曲线上方之外,
是否
可以通过其他方式完成此操作?谢谢!
浏览 3
提问于2015-04-29
得票数 0
1
回答
Z3:非线性整数算术不可
判定
还是半可
判定
?
z3
、
z3py
、
theorem-proving
、
first-order-logic
、
decidable
这是令人惊讶的,因为我一直在研究一阶理论,据我所知,LIA是可
判定
的,而NIA则不是(在理性主义中也是如此)。结果是[],顺便说一句:有效。也就是说,我们一直在列举所有可能的作业,并测试它们
是否
满足这个公式。这与试图通过运行程序和检查程序在给定步骤后
是否
终止而试图解决停止问题没有多大区别。在()中:G del证明了(NIA)是一个不可
判定
的问题。那么,NIA是不可
判定
的还是半可
判定
浏览 8
提问于2021-11-24
得票数 2
回答已采纳
2
回答
多数证明的唯一性
coq
对于具有可
判定
顺序的类型,
是否
存在等价于同一性证明的唯一性?尤其是Peano自然数的类型?它
是否
在Coq的库中实现?(我找不到) 对于自然数,这似乎是正确的,因为n <= p看起来与n == p的证明相同:它迭代地破坏n和p,直到左边的
数字
达到0,然后结束。
浏览 0
提问于2018-12-21
得票数 3
回答已采纳
1
回答
表明语言是不可决定的
computation-theory
、
decidable
考虑一下语言我试着证明这一点,但不知道该怎么做。
浏览 3
提问于2019-12-12
得票数 1
1
回答
我们能决定一个数n
是否
属于可数集S吗?
computation-theory
、
turing-machines
、
decidable
手头的问题如下:我非常确定Ls对于任何S都是递归的,因为我们可以编写一个程序来决定Ls (或者图灵机)。但是我如何证明它是正确的呢?
浏览 6
提问于2017-05-18
得票数 1
1
回答
最小顶点覆盖的一个变体
graph
、
complexity-theory
、
vertex-cover
在我的研究中,我遇到了顶点覆盖问题的一个变体,如下所示:我搜索了所有的文献,都没有找到类似的问题。
浏览 5
提问于2014-01-23
得票数 1
1
回答
在coq中如何假定两个自然数相等
coq
另外,如果这个定义意味着其他定义(例如,让我们称其为toBeEvaluated),并且假设可以在bool和支柱之间进行转换,那么这
是否
可以实现?(特别是它
是否
与具有确切定义的函数一起工作)
浏览 4
提问于2022-04-24
得票数 0
1
回答
证明这种语言是不可分辨的。
turing-machines
、
formal-languages
L= {M \M是图灵机描述,并且存在一个长度
为
k的输入x,使得M最多在k步之后停止。 我想是的,但我无法证明。我试着想办法从停下来的问题上减少一点。
浏览 1
提问于2011-07-10
得票数 6
回答已采纳
3
回答
判定
图
是否
为
树的算法
algorithm
、
data-structures
、
graph
、
tree
用邻接矩阵表示的图
是否
为
树的简单算法是什么?
浏览 0
提问于2012-12-04
得票数 2
回答已采纳
2
回答
如何检查一个上下文无关语法的语言
是否
是另一个上下文无关语法的子集?
parsing
、
grammar
、
context-free-grammar
、
formal-languages
、
context-free-language
此外,如何检查两个任意上下文无关语法的语言
是否
相等。
浏览 5
提问于2016-01-30
得票数 0
回答已采纳
1
回答
将来有什么办法解决浮点数精度问题吗?
haskell
、
functional-programming
、
precision
、
theory
、
codata
但是有一些明显的问题,考虑到a = 0.333...和b = 0.666...的
数字
,如果我们把它们加在一起,我们得到了ans = 0.999...(一个
数字
序列),但是在这种情况下,我们永远无法判断a + b == 1
是否
存在。我想要的是,以某种方式定义十进制数,以便它支持+,-,*,/,>,==操作,不管我们对这些十进制
数字
应用了什么+、-、*、/操作,我们都可以得到新的十进制数,我们可以将它们精确地计算到给定任意自然数k的
浏览 5
提问于2017-02-22
得票数 1
3
回答
超过{1}的语言是可识别但不可确定的?
computation
字母表{1}*上的可识别但不可
判定
的语言的示例是什么?一个提示将非常受欢迎。
浏览 1
提问于2012-12-03
得票数 7
1
回答
有蹦床类的名字吗?
programming-languages
我正在设计一种编程语言,我想要添加的一个特性是和class之间的交叉。也就是说,一个类接受一个文字,类似于一个generic class接受一个type。我被困在它们的名字上,因为我以前没有在语言中遇到过它们,是已经有这个概念的意思了,还是类似的东西?使用trampoline class是一种选择,但如果有更准确的描述,或者已经在另一种语言中使用,我更愿意使用它来减少文档中所需的术语数量。class Point<const int n> { Point() {
浏览 2
提问于2017-01-25
得票数 1
回答已采纳
2
回答
判定
图
是否
为
非循环的拓扑排序
java
、
topological-sort
在算法中,
是否
有一种方法可以使用内部度来检查这一点?或者别的什么事?
浏览 1
提问于2014-07-02
得票数 1
回答已采纳
1
回答
判定
图
是否
为
K-顶点连通的
algorithm
、
runtime
、
depth-first-search
、
connectivity
我想找出一个多项式时间算法,它以图G和整数K的形式输入,并确定G
是否
是K-顶点连通的。我认为这可能会利用深度优先搜索。相反,在输入时给出了一个
数字
k,我希望检查这个图
是否
是k连通的。它不会产生一个给出图的连通性的答案,只是一个是或不是。
浏览 4
提问于2012-04-11
得票数 3
1
回答
Django序列化程序字段可选
python
、
django
、
serialization
、
checkbox
我希望这两个复选框的默认值
为
false,如果选中它们,则返回true。我想我的问题是,当我使用序列化程序时,如果两个复选框未选中,我无法从这两个复选框中获得值。= models.BooleanField(default=False)如果复选框处于未选中状态,
是否
可以拥有序列化程序的现有值
浏览 1
提问于2017-08-12
得票数 0
1
回答
在EPR片段中,企业家量化的顺序重要吗?
z3
、
smt
、
first-order-logic
、
decidable
一阶逻辑的有效命题片段通常被定义
为
∃X.∀Y.Φ(X,Y)形式的企业家量化公式集,其中X和Y是(可能是空的)变量序列。量化的顺序,即∃*∀*,
是否
关系到EPR的可
判定
性?如果转换量化顺序,我们
是否
失去了决策能力? 特别是,我对在可
判定
逻辑中捕获集一元绑定操作的语义感兴趣。然而,当我在Z3上使用这样的公式时,我从来没有遇到过超时问题,我不知道上面的公式
是否
确实处于某种可
判定
的片段中(同时也承认在实践中的可解性并不意味着理论上的可
判定
性)。欢迎任何意见。
浏览 5
提问于2017-09-12
得票数 3
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
PHP知识点:从‘xulei’ =0是否为真谈谈运算符
答疑分享128:检查字符串最后一位是否为数字,从而判断返回结果
PHP 支持,堆栈异常和用户输入识别
PHP中的这些坑,你没踩过算你厉害
PHP中如何实现简单的生日自动提醒功能,简单又实用!
热门
标签
更多标签
活动推荐
运营活动
广告
关闭
领券