我正在尝试用sci-kit learn LDA分类器绘制决策边界。
我知道您可以使用transform方法转换多变量数据，将数据投影到第一个分量行(两个类的情况)。如何获取作为分类轴心的第一个组件的值？这就是，作为决策边界的值？
谢谢!
浏览 0提问于2013-03-15得票数 2
我刚开始学习滑雪，我想解释分类结果。我感到困惑的是，决策曲面和决策边界之间有什么区别？我看到两个例子显示了分类器的不同：
1)
2)
两者都用来表示分类器的差异。第一种使用预测，第二种使用predict_proba或决策函数。所以我很困惑。
浏览 1提问于2016-04-11得票数 3
回答已采纳
1回答
我设置了一个非常简单的SVC来对MNIST数字进行分类。由于某些原因，分类器一直错误地预测数字5，但在尝试所有其他数字时，它不会漏掉一个数字。有没有人知道我是否把这个设置错了，或者它真的很难预测数字5？
import numpy as np
from sklearn.model_selection import train_test_split
from sklearn import datasets
from sklearn.svm import SVC
from sklearn.metrics import confusion_matrix
data = datasets.load_di
浏览 2提问于2020-03-28得票数 0
回答已采纳
1回答
我有一个编程语言的AST的数据类型，我想解释一下，但AST大约有10个不同的构造函数。
data Term : Set where
UnitTerm : Term
VarTerm : Var -> Term
...
SeqTerm : Term -> Term -> Term
我正在尝试编写一个函数，它对这种语言的语法树具有可判定的等价性。从理论上讲，这很简单:没有什么太复杂的，它只是存储在AST中的简单数据。
问题是，编写这样一个函数似乎需要大约100个用例:对于每个构造函数，有10个用例。
eqDecide : (x : Term) -> (y
浏览 0提问于2017-07-18得票数 2
1回答
在Z3 (Python)中，我解决了以下问题：
y1,y2,x = Ints('y1 y2 x')
univ = ForAll([x], (y1<y2+x*x))
phi = Exists([y1,y2], univ)
solve(phi)
请注意，编码没有意义，只是播放而已。
关键是这个结果完全让我大吃一惊，因为它返回了一个结果！这是令人惊讶的，因为我一直在研究一阶理论，据我所知，LIA是可判定的，而NIA则不是(在理性主义中也是如此)。结果是[]，顺便说一句：有效。
所以我在这一边搜索了这个问题，发现()，是莱昂纳多·德莫拉自己回答如下:如果一个公式有一个解，我们总
浏览 8提问于2021-11-24得票数 2
回答已采纳
1回答
我一直试图绘制我的神经网络的决策边界，这是我在输出层使用乙状结肠函数进行二值分类的方法，但没有成功，我发现了许多讨论科学学习分类器的决策边界的文章，而不是建立在PyTorch中的神经网络。以下是我的神经网络：
class NeuralNetwork(torch.nn.Module):
def __init__(self):
super(NeuralNetwork, self).__init__()
self.fc1 = torch.nn.Linear(23, 16)
self.fc2 = torch.nn.Linear(16, 14)
self.fc3 =
浏览 3提问于2020-03-02得票数 1
3回答
这是维基百科中可判定的定义。
在可计算性理论中，一个不可判定的问题由一系列需要一个特定的是/否答案的实例组成，这样就没有计算机程序，在给定任何问题实例作为输入后，在有限的步骤之后终止和输出所需的答案。更正式地说，一个不可判定的问题是其语言不是递归集的问题。
递归集是可递归枚举集的子集。有一些递归枚举语言在递归集之外。那么，为什么递归枚举语言不能确定呢？
浏览 3提问于2012-02-26得票数 5
回答已采纳
1回答
上下文
我试图在Keras中实现YOLO算法。到目前为止，我拥有的是以下网络：
i = Input(shape=(image_height,image_width, image_channels))
rescaled = Rescaling(1./255)(i)
x = Conv2D(16, (1, 1))(rescaled)
x = Conv2D(32, (3, 3))(x)
x = LeakyReLU(alpha=0.3)(x)
x = MaxPooling2D(pool_size=(2, 2))(x)
x = Conv2D(16, (3, 3))(x)
x = Conv2D(32, (3
浏览 0提问于2021-05-05得票数 0
1回答
我想知道这是否是一个明智的想法，以及是否存在任何已经形成的方法来做到这一点(我是数据科学领域的新手)。
本质上，我使用朴素贝叶斯精确地分类了三种食物，根据它们的营养价值(脂肪、盐、糖、蛋白质和碳水化合物作为我的特征)。
既然我能准确地分类这些食物，是否有一种方法可以利用朴素贝叶斯来逆转这种方法，并找到这些特征仍然可以被归类为一种食物的极端值？
最大脂肪food1可以是，仍然可以被认为是food1。
我意识到这些值会随着其他营养变量的变化而改变，但我想知道是否可以在5个维度中得到一组优化的方程？
浏览 0提问于2019-05-03得票数 1
回答已采纳
在精益手册“精益证明定理”中，我读到：“用经典公理，我们可以证明每一个命题都是可判定的”。
我想要求澄清这一声明，我在问一个Coq论坛，因为这个问题同样适用于Coq，也适用于精益(但我觉得我更有可能在这里得到答案)。
在阅读“用经典公理”时，我知道我们有一些等价于排除中间定律的东西：
Axiom LEM : forall (p:Prop), p \/ ~p.
当阅读“每个命题都是可判定的”时，我理解我们可以定义一个函数(或者至少我们可以证明这样一个函数的存在)：
Definition decide (p:Prop) : Dec p.
其中Dec是归纳型家族：
Inductive Dec (p:
浏览 0提问于2020-04-20得票数 3
回答已采纳
1回答
如何制作一个图灵机图形，它可以识别all words with an even number of a's，但它是not a decider而不是其他任何东西。另外，如何为相同的语言制作decider图灵机图形。
浏览 45提问于2020-06-28得票数 1
我知道也有类似的问题。但我想知道最基本的东西。
假设我有一些数据，z可以是0或1，现在我想用这些数据训练一个神经网络，我想要的输出应该是x，y空间中的一条边界或一条线或一条曲线，它将零从x，y空间除以(例如，男性/女性或其他)。
所以，我想要一个隐藏的图层。我想我不知怎么知道如何为网络提供信息：
把它用X = (x,y)传送到第一层
用加权和偏置的atc做一些计算。
计算错误或损失函数
培训网络，例如梯度下降(即更新权重等)
是啊，现在我的问题来了
最后的输出是什么？对于给定的数据集，网络试图再现给定x，y的z值，对吗？那么，我如何得到一个合适的或决定的边界或其他什
浏览 2提问于2016-02-08得票数 1
1回答
克莱恩星无法分辨
、、、
我知道，如果L是可判定的，我们可以通过构造一个图灵机来证明L*也是可判定的，但是我很难解决这个问题:如果L是不可判定的，那么L*也是不可判定的。这句话是真的还是假的？
浏览 2提问于2017-10-03得票数 1
3回答
C#静态数组绑定检查
、、、、
是否有用于C#的工具可以静态地(不执行代码)检测出绑定数组访问，即将抛出的数组访问。
谢谢。
编辑:是的，我知道在general 中，理论上是不可能这样做的(也就是说，它是不可判定的)，但这并不意味着在某些情况下不可能这样做(事实上，正式验证的整个领域是为理论上不可能的事情生产实用工具)。(我不认为这种赞扬是特别必要的：)
浏览 6提问于2013-12-06得票数 1
回答已采纳
1回答
减少猪的假阳性
、、
我已经使用HOG实现了汽车检测器，目前它运行得很好。不幸的是，我有很多假阳性的分类器。
我到目前为止所做的一切
从1:1到1:3，我改变了样本的阳性率(阳性:阴性)，并在一定程度上降低了假阳性。能不能帮助减少分类器的假阳性。
My实现HOG的方法
获取完整图像的HOG功能(仅块)。根据标签信息和窗口大小提取正特征。通过随机绘制矩形并检查是否与我感兴趣的对象发生碰撞来提取负样本。训练直线运动。测试分类器。
浏览 3提问于2015-09-18得票数 1
我正在研究图灵机，我已经展示了图灵-决策是如何关闭的联合，交叉，连接，补码和克莱恩星的操作。接下来，我做了一些演示，展示了T-可识别语言是如何关闭的联合，十字路口，级联和克莱恩星。
现在我试着回答一个问题来说明为什么T-可识别语言的类别不是为了互补而关闭的，但我无法理解。有人能解释一下吗？
谢谢
浏览 0提问于2013-04-07得票数 0
1回答
我想从库中使用与count_occ函数相关的引理(Count_occ_In)。我已经在Coq脚本中导入了库。但是我还是不能使用它。如果我从scipt中的库中复制count_occ & eq_dec，那么它就可以工作。我的问题是，当我已经包含了库模块时，为什么要重新定义函数。请指导我如何仅通过添加库模块来编写引理(不再定义函数)？
浏览 23提问于2021-04-15得票数 1
我的问题:定义单词的两个集合P和q(即两个问题)：P是不可判定的和不半可的，q是不可判定的和半可判定的，P是⊂q的。
浏览 1提问于2015-02-22得票数 1
回答已采纳
1回答
SMT-LIB中的QF_NRA逻辑是可判定的吗？
我知道Tarski证明了非线性算法是可判定的，在实数中多项式系统是可判定的。然而，QF_NRA是否属于这一保护伞并不明显，因为QF_NRA包含除法。第一个问题是，QF_NRA中的除法是否包括分母可能为零的变量除法。，因为答案本身就足够困难了。
如果零除法不是QF_NRA的一部分，那么QF_NRA中的除法就可以转换为乘法，这个问题将如Tarski所证明的那样是可判定的。如果QF_NRA中实际上包含了部门，那么我就不太确定了。我的感觉是，这个问题仍然可以按情况分解，在除以零的情况下引入新的变量。在这种情况下，QF_NRA仍然是可判定的。
浏览 2提问于2016-10-21得票数 2
回答已采纳
我正在读一篇关于Haskell和HList是如何实现的研究论文，我想知道所描述的技术对于类型检查器来说是可决定的还是不可决定的。另外，因为您可以使用GADT做类似的事情，所以我想知道GADT类型检查是否总是可决定的。
如果你有的话，我更喜欢引用，这样我就可以阅读/理解解释。
谢谢!
浏览 0提问于2008-09-07得票数 16
回答已采纳
3回答
我对不可判定问题和NP困难问题之间的关系感到有点困惑。NP难题是否是不可判定问题的子集，或者它们是相同和相等的，还是它们不具有可比性？
对我来说，我一直在和我的朋友们争论，不可决定的问题是NP困难问题的超集。将会存在一些问题，这些问题不是NP困难的，但无法确定。但我发现这个论点是站不住脚的，而且有点困惑。是否存在无法确定的NP-完全问题？在NP hard中有什么问题是可以决定的吗？？
一些讨论会有很大的帮助！谢谢!
浏览 8提问于2012-05-08得票数 16
回答已采纳
我想用这个定义来假设集合R成员的某些等式成立：
Definition wiring: Prop
(globalHasVoltage -> (voltageOf voltageIn) = vcc)
/\
(globalHasGround -> (
(voltageOf control) = zero
/\
(voltageOf ground) = zero
浏览 4提问于2022-04-24得票数 0
1回答
一阶逻辑的有效命题片段通常被定义为∃X.∀Y.Φ(X,Y)形式的企业家量化公式集，其中X和Y是(可能是空的)变量序列。量化的顺序，即∃*∀*，是否关系到EPR的可判定性？如果转换量化顺序，我们是否失去了决策能力？
特别是，我对在可判定逻辑中捕获集一元绑定操作的语义感兴趣。set -monad的绑定操作作为T1类型元素的集合S1 (即S1有类型T1 Set)和T1 -> T2 Set类型的函数f，通过对S1的每个元素应用f，并将结果集统一起来，构造了一个新的T2 Set类型的集合S2。此行为可以在以下SMT-LIB代码/公式中捕获：
(declare-sort T1)
(declare-s
浏览 5提问于2017-09-12得票数 3
回答已采纳
1回答
白像素聚类提取
、、、
我正在做一个指纹孔提取项目，被困在毛孔(白色像素簇)提取的最后阶段。我有两幅输出图像，我们将从中得到毛孔，但不知道如何做it..also。两幅图像的size..image1大小分别为240*320和230*310 ..here，这是我的图像。
image 1 (240*320) image2 (230*310)
这里是我正在做的，以提取白色的毛孔簇。
for i = 1:230
for j = 1:310
if image1(i,j)==1 && image2(i,j)=
浏览 1提问于2014-03-05得票数 3
回答已采纳
Nautilus通过FTP连接到远程服务器。然后，我在Visual Studio代码中打开所需的文件夹。文件夹将正确打开。IDE接收整个目录结构和文件。
ftp://admin@91.225.136.204/www/example.com/
我打开我需要的文件。它将正确打开- IDE接收到文件的内容。
它正确地创建了一个新文件。
我正在对文件进行更改。保存下来。然后集成开发环境给出一个错误“无法保存”test.txt "：发生系统错误(ESPIPE:无效寻道，写入)“。
同时，一个类似的动作也会在相同的文件中引起Sublime文本错误。
浏览 19提问于2016-08-17得票数 0
回答已采纳
3回答
我想写一个程序，检查一个函数，比如f，是否对其输入的所有值都暂停。简而言之-
haltChecker = function (arg) => bool
例如在JavaScript中，
bool haltChecker ( f(a) ){
return {f halts for all values of a};
}
JS中的解决方案不是必需的，任何语言都可以。
谢谢。
浏览 1提问于2011-12-14得票数 0
回答已采纳
1回答
我正在试着解决这个问题。希望有人能帮上忙。
假设我们有一个名为Confusion的程序；
Program confusion
if(Virus-Finder(Confusion) = false) then
infect-executable
else
halt
End program confusion
显然这是伪代码，所以不会运行。
对于任何程序P，我们可以运行Virus-Finder(P)，如果是病毒，则结果为True，如果不是，则结果为False。
infect-executable是一个模块，它扫描内存中的可执行程序，并在这些可执行程序中复制程序Confusion。
我们
浏览 5提问于2015-05-06得票数 0
1回答
以下是一个模棱两可的CFG：
S -> aSb|bA|Ba
A -> bA|B
B -> aB|A|ε
通过解析字符串"ba“，可以轻松地检查语法的歧义。
是否有像上面那样的修正CFG歧义的算法？
谢谢你的帮助
浏览 1提问于2014-04-15得票数 0
回答已采纳
我试着在滑雪板上做更多。在这里，我试图生成一个不平衡的分类集，运行一个逻辑回归，绘制数据点和绘制一条决策边界线。
为了绘制决策分界线，我首先得到系数：
coef = clf.best_estimator_.coef_
intercept = clf.best_estimator_.intercept_
然后我构造了一条线：
x1 = np.linspace(-8, 10, 100)
x2 = -(coef[0][0] * x1 + intercept[0]) / coef[0][1]
plt.plot(x1, x2, color='#414e8a', linewidth=2)
浏览 0提问于2017-11-17得票数 2
1回答
下面的语言L是不可分辨的吗？
L= {M \M是图灵机描述，并且存在一个长度为k的输入x，使得M最多在k步之后停止。
我想是的，但我无法证明。我试着想办法从停下来的问题上减少一点。
浏览 1提问于2011-07-10得票数 6
回答已采纳
想象一下使用单页应用程序框架(如AngularJS )构建的庞大的web应用程序。它的每条路径都会下载几个HTML模板文件。这些模板文件中的每一个都包含它特有的JS文件。因此，现在，当每个模板文件下载时，它也会拉进来并下载JS文件。
这只是一个假设的情况，以了解浏览器将如何在这种情况下工作。
当用户快速跳过所有页面(这些页面可以是1000或1000 s)时，在内存和性能方面会发生什么？所有JS变量会消耗内存并不必要地阻塞内存，还是JS垃圾收集器会拯救它？
浏览 0提问于2016-01-15得票数 6
回答已采纳
1回答
我必须证明语言L= {< M >：|L(M)| <= 2016}不是半可判定的。现在我想这样做：
以随机字母E为例，现在E中有无限个单词，我们只能通过将E*中的每个单词作为输入传递给M来得出|L(M)| <= 2016。但是因为有无限数量的单词，这意味着我们必须将输入传递给M无限次。但这意味着执行这些检查的图灵机结束于无限循环，因此永远不会返回、接受或拒绝它的输入。因此，语言L不是半定的。
但我认为这可能还不够正式？主要是因为我只是假设检查这种语言的图灵机会让M在E*中的每个单词上运行。这个假设是有效的吗，或者我应该更正式地这么说？
浏览 25提问于2017-05-28得票数 0
1回答
现在，我有一个输入和两个复选框，它们将把一个变量返回给python后端。我希望这两个复选框的默认值为false，如果选中它们，则返回true。我想我的问题是，当我使用序列化程序时，如果两个复选框未选中，我无法从这两个复选框中获得值。如果复选框被选中，我的代码将正常工作，并且该值将保存在模型中。如果不是，我会得到一个错误
html
<input type="text" ng-model="var.name">
<input ng-model="var.pem" type="checkbox">
<inp
浏览 1提问于2017-08-12得票数 0
2回答
我在想，所有无限的语言都是不可决定的吗？
他们肯定是对的，因为TM试图决定一种无限的语言只会永远循环，这使得它成为一个识别器，而不是一个判定者。
谢谢你们。
浏览 4提问于2013-02-13得票数 0
我对哈斯克尔很陌生，只是玩了一会儿。
我编写了一个轻量级的OOP仿真：
--OOP.hs
{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, UndecidableInstances, ScopedTypeVariables, FunctionalDependencies #-}
module OOP where
class Provides obj iface where
provide::obj->iface
(#>)::obj->(iface->a)->a
o #>
浏览 1提问于2014-01-19得票数 5
回答已采纳
1回答
在计算理论中，可证明和可判定这两个术语可以互换吗？它们的意思是一样的吗？
例如，您经常会看到这样的问题:某件事是否可证明，称为决策问题(Das Entscheidungsproblem)。
浏览 0提问于2010-10-12得票数 7
回答已采纳
L={：M(x)是一个运行时间为100\x_2+ 200}的图灵机。
我觉得我很难判断但我解决不了这个问题。请帮我证明一下。谢谢!
浏览 2提问于2022-03-28得票数 0
你能解释一下吗，我怎么能检查一下，第一个上下文无关语法(G1)的语言是第二个上下文无关语法(G2)语言的子集。
G1和G2是两个字母相同的LL(1)语法：
{a, b, c, d, f}
生产规则如下：
A -> αB
或
A -> α
α是一个非epsilon字符串(由终端符号组成).
上下文无关语法G1：
S1 -> aK
K -> bC|cE
C -> cB|d
E -> bA|f
A -> abC
B -> acE
上下文无关语法G2：
S2 -> aX
X -> bZ|cY
Z -> cV|d
Y -> bU
浏览 5提问于2016-01-30得票数 0
回答已采纳
我知道印第安人是怎么工作的。我在某个地方读到了一篇声明：“例如，互联网同意一切都是大人物”。这是如何工作的呢？如果我在2台机器之间有tcp连接，那么这些机器如何决定使用哪一种终端呢？
浏览 0提问于2019-03-26得票数 0
回答已采纳
IP地址140.143.157.254 是腾讯云 地址，以下是网站日志记录
#Version: 1.0
#Date: 2018-09-13 18:59:41
#Fields: date time s-ip cs-method cs-uri-stem cs-uri-query s-port cs-username c-ip cs(User-Agent) sc-status sc-substatus sc-win32-status time-taken
2018-09-13 18:59:41 192.168.111.25 POST /vendor/phpunit/phpunit/src/Util/
浏览 1247提问于2018-09-14
1回答
我想要对一个概念进行一些澄清。为了证明一个问题是NP完全的，我们使用约简。
现在假设我有L<=L‘。是否可以从L到L‘，或者我也可以以相反的方式进行？即，如果L‘可以用L’求解，那么L‘是NP-完全的？
我对此感到相当困惑。
例如。对于从ham循环到ham path的简化，我们采用向后的方式。
此外，我也不能解决这个问题，我必须证明“在一个至少有k条边的图中，是否有一条从s到t的路径”。
请给我一个澄清，并指导我解决上述问题。谢谢
浏览 8提问于2012-11-19得票数 0
1回答
{⟨M，N⟩| L(M)∩L(N)中的所有字符串都以110开头。}
我认为这种语言是可以决定的。我们可以制作一个图灵机TM，它作为输入。对于L(M)∩L(N)中的每个字符串，如果字符串以110开头，在前3位数字之后，我们停止并接受。如果前三位数不是110，我们将停止并拒绝。我不确定如果字符串不在L(M)∩L(N)中，我们该怎么办。
另外，总的来说，我不确定我的图灵机是否真的在工作。我能得到一些关于这个的反馈吗？
浏览 2提问于2018-11-13得票数 0
字母表{1}*上的可识别但不可判定的语言的示例是什么？
我很难找到这样的例子。经过长时间的寻找，我仍然对答案很好奇。
一个提示将非常受欢迎。
浏览 1提问于2012-12-03得票数 7
在iPad应用程序中使用以下代码向Node.js web服务器发送HTTP请求，这会产生以下错误，但是工作正常的w/普通HTML+browser表单。
服务器是Node.js + ，它有一个多部分解析器，仅在上与该一起死亡。
消息:解析器错误，解析29162字节中的0
堆栈:错误:解析器错误，在IncomingForm.write IncomingForm.write在IncomingMessage上解析的29162字节中的0。(/usr/local/lib/node/.npm/formidable/0.9.8/package/lib/formidable/incoming_form.js:
浏览 4提问于2010-10-14得票数 0
1回答
考虑一下语言
考虑语言Aabb = {< M>|M是TM，并且M接受abb} a)由Aabb表示的计算问题是什么？b)表明Aabb是不可决定的。
我试着证明这一点，但不知道该怎么做。
浏览 3提问于2019-12-12得票数 1
我找到了这个网站，并注意到右边的动画。我试图自己做这件事，但我失败了，所以我一直在寻找一些已经写好的代码，找到了particles.js。这看起来非常相似，但是particles.js中的粒子只是离开屏幕或反弹回来。该网站上的粒子不会反弹，它们只是减速并返回。有谁知道如何达到这样的效果吗？任何帮助都被拒绝了。
浏览 3提问于2017-12-28得票数 0
我的模特班：
public class Person
{
[DataType(DataType.Currency)]
public decimal Salary { get; set; }
}
我的控制器
public class PersonController : Controller
{
public ActionResult Create()
{
var person = new Person();
person.Salary = 100; // setting default value
return
浏览 2提问于2013-12-13得票数 3
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
