问题标签 [correctness]

所以我正在编写这个程序，将用户输入存储在链表上并将其反转，但我有点迷茫。是否可以为不返回任何值的循环类型提供循环不变量？例如，位于 main 内部的循环。

这是我用来在 main 中获取用户输入并将其存储在链表中的循环示例，当然代码上还有更多内容，但我只展示了相关的内容。

是否有可能为此提出一个循环不变量？另外，程序正确性是什么意思，在我的情况下如何证明它？

谢谢！

我来到了这个晦涩难懂的事情......我想知道@符号是否有可能出现在有效的 C/C++ 应用程序的源代码中，除了以下情况：

• 一个const char*值，例如const char* addr = "xyz@gmail.com"
• 一个const char值，例如char c = '@'
• 从未使用过的宏：#define NEVER_EVER ABC@
• 在注释掉的部分

问的原因：好奇:)

我应该通过归纳来证明一个算法，并且对于所有 n >= 0 ，它返回 3 ⁿ - 2 ^{n 。这是用 Eiffel 编写的算法。}

我的理解是，你分三步证明。基本步骤、归纳假设和完整性证明。这就是我目前所拥有的。

基础：

P(0) 返回 0，并且 3 ⁰ - 2 ⁰ = 0。

P(1) 返回 1，并且 3 ¹ - 2 ¹ = 1。

归纳假设：

假设 P(k)对于 0 <= k < n返回 3 ^k - 2 ^{k 。}

完整性证明：

对于 n，P(n) 返回 5(P(n-1)) - 6(P(n-2))

5(P(n-1)) - 6(P(n-2))

5(3 ^n-1 - 2 ^n-1 ) - 6(3 ^n-2 - 2 ^n-2 ) <- 基于归纳假设

这是我卡住的部分。我到底应该如何将其减少到看起来像 3 ⁿ - 2 ⁿ？

我养成了在 PHP 中这样工作的习惯，我想知道这是否是一种正确的工作方式。

基本上，每当我有一个表单时，我都会将数据发布到一个“处理程序”文件中，该文件会执行一些基本检查（在某些情况下），然后创建一个类的实例。

类 __construct 自动调用类中的函数并开始验证发布数据并相应地重定向用户，以及 $_GET 数据以显示成功消息。

我知道这是 Post-Redirect-Get 模式，但是，我的好奇心是：是否可以重定向到文件并在其中创建类实例，或者将数据直接发布到类文件是否可以?

问题陈述：

在正整数上，您可以执行以下 3 个步骤中的任何一个。

1. 从中减去 1。(n = n - 1)

2. 如果它可被 2 整除，则除以 2。（如果 n % 2 == 0 ，则 n = n / 2 ）

3. 如果它可以被 3 整除，则除以 3。（如果 n % 3 == 0 ，则 n = n / 3 ）

给定一个正整数 n ，你的任务是找到从 n 到一的最小步数。

我的递归解决方案（在 C++ 中）比较了 N 可被 3 整除的所有 3 种情况，而一般解决方案只比较 2，但仍然给出了正确的解决方案。

但一般的解决方案是，

我的问题是，为什么我们不比较所有 3 个案例，但仍然得出正确的解决方案。我无法遵循通用解决方案的算法。任何让我理解的帮助将不胜感激。

编程课程作业要求

• 编写一个将两个整数相加的（安全）函数，以及
• 表明该功能是安全的。

以下代码代表我的解决方案。我不是 C 标准（或形式验证方法）方面的专家。所以我想问：有没有更好（或不同）的解决方案？

谢谢

我正在尝试了解 Bellman-Ford 算法，但我坚持正确性的证明。我使用过Wikipedia，但我根本无法理解证明。我在 Youtube 上没有找到任何有用的东西。希望你们中的任何人都可以简要解释一下。此页面“Bellman-ford 正确性我们可以做得更好”没有回答我的问题。

谢谢你。

我有一个函数返回对对象的 const 引用，如下所示：

如果我有另一个功能如下：

在 qwerty 之前使用 const 是必要的还是最佳实践？

我的问题是要编写漂亮干净的 Java 代码。假设我有这个方法：

我打电话给：

这对你来说又好又干净？？我知道我的方法返回一个 Int 但是......我不知道为什么......调用这样的方法对我来说似乎“奇怪”。我只是想学习写这个的正确方法......

我也可以写：

但是像这样似乎对变量的访问是无用的。

或者我可以使用相同的变量“private static int realPosY;”：

但是，再一次，使用与 get 方法完全相同的变量似乎很奇怪。

我对Java很陌生，所以我当然有点困惑。顺便说一句，如果有人想教我，那就太好了。非常感谢你。

所以我希望从 CakePHP 3.0 的视图单元中调用一个组件。据我了解，视图单元应该像迷你控制器..？如果是这样，这是否意味着可以从其中之一调用组件，或者这是不好的做法？

我觉得这可能是不好的做法，因为它不在同一个命名空间中，因此更难访问组件。但如果这不是不好的做法。这可能是疏忽吗？

无论如何，主要问题是什么是获取视图单元内组件的“正确方法”？

谢谢大家，阿什。

额外的

我在文档中注意到了这一点，但仍然没有完全回答我的问题。

单元格模板具有一个独立的范围，与用于呈现当前控制器操作或其他单元格的模板和布局的视图实例不同。因此，他们不知道在操作的模板/布局中进行的任何帮助调用或块设置，反之亦然。