标签: theory

如何使用 pygame 绘制 3D 形状(没有其他模块)

如何使用 pygame 创建和渲染 3D 形状而不使用任何其他模块。我想创建自己的简单 3D 引擎。我可以画一个 3D 盒子,只是不知道如何调整线条的长度和位置,以在旋转盒子时给出 3D 效果。

我很难理解physics旋转物体时的阴影、深度感知和照明

假设我有一个盒子:

class box1():
    x=100
    y=100
    z=100

    size = 150 #length for distance between each point

    point1 = 0,0,0 # top left front
    point2 = 0,0,0 # top right front
    point3 = 0,0,0 # bottom left front
    point4 = 0,0,0 # bottom right front
    point5 = 0,0,0 # top left back
    point6 = 0,0,0 # top right back
    point7 = 0,0,0 # bottom left back
    point8 = …
Run Code Online (Sandbox Code Playgroud)

python theory 3d pygame shapes

2
推荐指数
1
解决办法
1万
查看次数

在 python 3.x 中删除 raw_input() 的原因是什么?

为什么它现在与 合并input(),首先使用它有什么好处?

python theory python-2.x python-3.x

2
推荐指数
1
解决办法
527
查看次数

理解 Coq 中“有根据的”证明

I'm writing a fixpoint that requires an integer to be incremented "towards" zero at every iteration. This is too complicated for Coq to recognize as a decreasing argument automatically and I'm trying prove that my fixpoint will terminate.

I have been copying (what I believe is) an example of a well-foundedness proof for a step function on Z from the standard library. (Here)

Require Import ZArith.Zwf.

Section wf_proof_wf_inc.
  Variable c : Z.
  Let Z_increment (z:Z) := (z + ((Z.sgn c) …
Run Code Online (Sandbox Code Playgroud)

theory coq

2
推荐指数
1
解决办法
428
查看次数

饥饿与护航效应

饥饿护航效应之间的唯一区别是护航效应主要定义在FCFS调度算法上,而饥饿是基于基于优先级的调度吗?

我研究了这两种效果,但找不到比较。这是基于我在大学学位中学到的操作系统理论。

theory operating-system starvation

2
推荐指数
1
解决办法
3442
查看次数

Python 中的所有内容都可以转换为字符串吗?

我正在尝试在 Python 中找到一个无法转换为字符串的示例。

>>> str(None)
'None'
>>> str(False)
'False'
>>> str(5)
'5'
>>> str(object)
"<class 'object'>"
>>> class Test:
...     pass
...
>>> str(Test)
"<class '__main__.Test'>"
>>> str(Test())
'<__main__.Test object at 0x7f7e88a13630>'
Run Code Online (Sandbox Code Playgroud)

整个 Python 世界有什么不能转换为str 的吗?

python theory string casting type-conversion

2
推荐指数
1
解决办法
120
查看次数

如果堆栈操作的时间复杂度为常数 O(1),则该算法的时间复杂度是多少?

BinaryConversion:我们输入一个正整数 n,输出是 n 在堆栈上的二进制表示形式。

这里的时间复杂度是多少?我认为这是 O(n),因为 while 循环每次都会减半,这意味着一组输入大小“n”的迭代减少到 n/2、n/4、n/8 等。

应用几何级数之和,其中 n = a 且 r = 1/2,我们得到 2n。

任何帮助表示赞赏!我还是个菜鸟啊

create empty stack S
while n > 0 do
    push (n mod 2) onto S
    n = floor(n / 2)
end while
return S
Run Code Online (Sandbox Code Playgroud)

theory algorithm big-o time-complexity data-structures

2
推荐指数
1
解决办法
1250
查看次数

我应该避免使用替代控制语法吗?

作为一个大多数自学成才的程序员,我从来没有真正解释为什么应该或不应该使用某些东西.一个例子(我多年前选择并经常使用)是另一种控制结构语法:

x = (y == true) ? "foo" : "bar";
Run Code Online (Sandbox Code Playgroud)

我个人觉得这个语法很容易理解,特别是对于简短,简洁的代码,但是我没有看到它在"狂野"中得到了很多使用,所以我想知道在更多的情况下使用它是不是很糟糕的做法传统的if ... else结构?

提前致谢.

php c# theory syntax

1
推荐指数
1
解决办法
658
查看次数

可数性问题(理论)

我明天要参加GRE,并有一个问题.根据答案键,此练习测试表明从N到{0,1}的所有函数的集合是不可数的.

你不能将自然数映射到这些函数,如下所示?

 i   1 2 3 4 5 6 7 8 ...
f0 = 0 0 0 0 0 0 0 0 ...
f1 = 1 0 0 0 0 0 0 0 ...
f2 = 0 1 0 0 0 0 0 0 ...
f3 = 1 1 0 0 0 0 0 0 ...
f4 = 0 0 1 0 0 0 0 0 ...
Run Code Online (Sandbox Code Playgroud)

即,f4(1)= 0,f4(2)= 0,f4(3)= 1,并且f4(其他任何东西)= 0.这最终会涵盖所有可能的这些功能吗?我们绝对可以将自然数映射到此集.

theory computer-science count set

1
推荐指数
1
解决办法
716
查看次数

渐近符号 - n(log n)(log n)是否简化?

如果我有一个算法需要n个n步骤(例如heapsort),其中步骤需要log n时间(例如比较/交换0到n-1范围内的"大"整数),什么是渐近界限整个过程.

显然我们可以说"n(log n)(log n)",但是我很难说服自己我不能简化为"n log n".与此同时,我很难证明我坚持自己的本能.

我的直觉在这方面是否完全错误?

编辑

似乎我的简单例子 - 避免 - 复杂化问题使问题复杂化.那好吧.

这个问题的真正原因是我经常使用具有已知复杂性的标准算法,但使用不同的底层容器实现,因此各个步骤是O(log n)而不是O(1).例如,Hopcrofts自动机最小化算法是O(n log n) - 但是如果你开始使用二进制树容器来处理状态,转换和中间结果,那么步骤本身就变成O(log n) - O(n log n)是不再有效,因为O(1)访问的假设无效.

尽管如此,人们会声称存在n个状态和m个转换,但是n和m倾向于与自动机线性相关,假设转换注释的数量是恒定的并且自动机具有或多或少的确定性.

我过去对此并没有太多担心 - 与我合作的案例并不是很大.但是,好吧,我正在对我的自动机代码进行重大的重构,而且我认为我可以正确地为一些关键算法进行数学计算.

编辑

我也越来越相信"n(log n)(log n)"是错误的.

如果a是O(b log b),其中b是O(log c),那么就c而言是什么?

theory algorithm asymptotic-complexity

1
推荐指数
1
解决办法
8217
查看次数

如果您可以对数组执行相同的操作,那么堆栈的目的是什么?

编程中使用"堆栈"的频率如何?换句话说,如果我们用数组替换堆栈,我们会丢失一些东西吗?或者是否有任何特殊情况下堆栈不能被其他任何东西替换?我只是一个C++初学者,我所知道的堆栈就是他们用来存储数据的东西,所以这个主题对我来说似乎并不清楚.任何信息都是相关的.

c++ theory arrays stack

1
推荐指数
1
解决办法
229
查看次数