Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
证明具有 n 个叶子的二叉树的高度至少为 log n
我已经能够创建一个证明 显示树中的最大总节点数等于 n 2 h 1 1 并且从逻辑上我知道二叉树的高度是 log n 可以绘制它出来看看 但我很难构建一个正式的证明来证明一棵有 n 片叶子的树 至少 有 log n 我遇到或能够组合在一起的
Logic
binarytree
Nodes
proof
Induction
XOR 中的 Exclusive 到底意味着什么?
也许这对每个人来说都是显而易见的 但有人可以解释 XOR 或异或 的名字从何而来吗 这个词是什么意思独家的实际意思 这并不重要 但从早上起它就一直萦绕在我的脑海里 OR 0 0 0 0 1 1 1 0 1 1 1 1 XOR 0 0 0 0
languageagnostic
Math
Logic
Boolean
xor
从真值表创建降序二元决策图 (ROBDD)
是否有一个软件包 最好是应用程序 而不是库 可以根据给定的真值表 以某种文本格式 创建降序二元决策图 ROBDD 你也可以尝试这个 http formal cs utah edu 8080 pbl BDD php http formal c
Logic
solver
truthtable
binarydecisiondiagram
c程序生成从1到n的二进制数
我需要一个输出 例如如果数字是 5 则输出应该是 5 个二进制数直到 5 但从 1 开始 下面给出了示例 不使用数组即可完成 输入 5 输出 1 10 11 100 101 但我得到了 输出像 这输入 5 输出 1 11 11 111 11
c
VisualStudio
Binary
Logic
Decimal
Python:pyswip 输出返回 Atom 和 Functor
基于一些较旧的post https stackoverflow com questions 63890053 prolog define logical operator in prolog as placeholder for other
python
Prolog
Logic
Intersection
java赋值中可能存在逻辑错误的误解
我在让这个项目正常工作方面遇到了很多问题 但我目前一直致力于让这个课程正常工作 它应该做的就是从无线电类中获取当前电台并将其传递给此类 问题是我试图在 AM 和 FM 之间进行选择 但每次运行它时 它只显示 AM 电台 我不明白为什么它会自
Java
Logic
多态与 if 和逻辑
class Person private state normal cripple run if this state normal console log run else console log hobble vs abstract c
OOP
Architecture
polymorphism
Logic
错误:系列的真值不明确 - Python pandas [重复]
这个问题在这里已经有答案了 我知道这个问题之前已经被问过 但是 当我尝试做一个if声明 我收到错误 我看了这个link https stackoverflow com questions 36921951 truth value of a
python
pandas
Logic
找到三元组中间值的最快方法?
给定的是一个由三个数值组成的数组 我想知道这三个数值的中间值 问题是 最快的方法是什么找到三者的中间点 我的方法是这种模式 因为有三个数字 所以有六种排列 if array randomIndexA gt array randomIndex
Java
Algorithm
conditionalstatements
Logic
Median
具有“加权”边缘的 Ford-Fulkerson 算法
福特 福尔克森是否有任何变体可以在边缘增加额外的 重量 尺寸 我的意思是 某些边缘比其他边缘更理想 尽管存在所有可能性 但它会优先考虑理想边缘而不是不太理想的边缘 据我所知 增加权重有两种常见的概括 最小成本流 假设您对每条边都有一个权重
php
Algorithm
Logic
选择具有特定值的行之后的行
嘿 再次 我仍然掌握查询和其他东西 所以请原谅所有常见的 SQL 问题 8 无论如何 我试图选择某个值之后的行 不明白 好吧 这就是它实际的样子 表 消息 message id thread id user id to id body me
mysql
sql
phpmyadmin
Logic
无论如何要缩短 if ( i == x || i == y) 吗?
我尝试缩短我的代码 从 if i x i y i z to if i x y z 我知道这种方式是错误的 因为我在日志中得到了不正确的 i 但是 有什么方法可以缩短 Objective C 中的代码吗 你可以使用switch声明 但这并不能
ios
Objectivec
ifstatement
Logic
conditionalstatements
伊莎贝尔证明加法的交换律
我试图证明 Isabelle HOL 中自定义的交换律add功能 我设法证明了关联性 但我坚持这一点 的定义add fun add nat nat nat where add 0 n n add Suc m n Suc add m n 关联
Logic
proof
isabelle
commutativity
解决命题逻辑/布尔表达式的工具(SAT Solver?)
我对命题逻辑和布尔表达式主题很陌生 所以这就是我需要帮助的原因 这是我的问题 在汽车行业 当您购买汽车时 有数千种不同的组件可供选择 并非每个组件都是可组合的 因此对于每辆车都存在许多用命题逻辑表达的规则 就我而言 每辆车都有 2000 到
Logic
booleanlogic
booleanexpression
SAT
satisfiability
C++ - 如何隐藏其他应用程序的窗口
我正在尝试创建一个软件 Qt C 其中我需要一种根据窗口标题隐藏其他应用程序窗口的功能 隐藏意味着不可见而不是最小化 任何人都可以说出如何实现这一目标吗 我目前正在Windows平台上工作 注意 如果您通过 Qt 提供解决方案 将会更加舒适
c
Windows
QT
userinterface
Logic
VBA 如果 <其中任何一个> = <值>?
我对 VBA 相当陌生 我找不到一种简单的方法来测试任何指定变量是否等于指定值 下面的方法似乎可行 但是有更简单的方法吗 If variable1 1 Or variable2 1 Or variable3 1 Or variable4 1
vba
ifstatement
Logic
如何根据日历模式创建事件?
我正在尝试为某人创建一个 轮班 日历 我知道该模式从哪一天开始 并且我知道该模式的断断续续的日期 但我在将其翻译成代码时遇到了麻烦 他们工作4天 休息3天 工作4天 休息3天 工作4天 休息2天 如此循环 我需要创建一些逻辑来基于此为日历创
javascript
Logic
fullcalendar
Momentjs
使用正则表达式验证数据是否正确?
我发现一些文章和帖子建议不要使用正则表达式来验证用户数据 我不确定所有事情 但我通常在电子邮件地址验证时找到它 所以我想清楚使用正则表达式来验证用户输入是否好 如果它很好 那么它验证电子邮件地址有什么不好呢 Edit 因此 我们可以说 对于
regex
validation
Logic
确定 32 位 int 的符号
仅使用 gt NO LOOPS 我需要确定 32 位整数的符号 如果为正 则需要返回 1 如果为 0 则需要返回 0 如果为负 则需要返回 1 有任何想法吗 我首先考虑移动 31 位 然后查看该标志 但这显然行不通 现在我有点卡住了 如果条
c
Logic
BitManipulation
所得税计算的编程逻辑
谁能帮我为我们的办公室员工工资税表创建 PHP 或 mysql 代码 这是我们税收监管的基础 If salary is gt 0 and lt 150 it will be 0 Nill If salary is gt 151 and lt
php
mysql
Logic
«
1
2
3
4
5
6
7
»