- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我目前正在尝试找出某个方法的作用,以便继续对其进行注释,提供后置条件和循环不变式。
我发现的:
在正负数组上,全为正x
第一次遇到最小值时变为正值。
当数组全为负数时,x
和y
是元素的总和。
有人看到另一种分析该方法的方法吗?感谢您抽出时间。
Java 代码:
public class funA {
public static void functionOfA(int a[]) {
int MAXINT = Integer.MAX_VALUE;
int x = MAXINT;
int y = MAXINT;
int i = 0;
int n = a.length;
while(i != n) {
if(y == MAXINT) {
y = a[i];
x = min(x, y);
System.out.println("x: " + x + " y: " + y);
i= i+1;
} else {
y = min(y + a[i], a[i]);
x= min(x, y);
System.out.println("x: " + x + " y: " + y);
i= i+1;
}
}
System.out.println(x + " " + y);
}
public static int min(int x, int y) {
if(x < y) {
return x;
} else {
return y;
}
}
public static void main (String args[]) {
int a[]= new int[] { 0, -9, 3, 2, -4, 3, -12, 3, 1 };
functionOfA(a);
for(int i= 0; i < a.length; i++) {
System.out.print(a[i]+ " ");
}
System.out.println();
System.out.println();
int a2[]= new int[] { -9, -3, -10, -4, -2 };
functionOfA(a2);
for(int i2 = 0; i2 < a2.length; i2++) {
System.out.print(a2[i2]+ " ");
}
}
}
顺便说一句,这是给定的:
int x = MAXINT; int y = MAXINT; int i = 0;
int a[n];
while (i != n) {
y = min(y + a[i], a[i]);
x = min(x, y);
i = i + 1;
}
最佳答案
输出是一个负数,等于连续负数的最大(绝对值)之和
-1, -1, -1, 5, 4, 3, -10 -> -10
-3, -4, -5, 5, 4, 3, -10 -> -12
至于为什么有人会这样做,我不知道。欧拉计划?
关于java - functionOfA(int a[]) 的作用是什么?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/9709929/
我正在尝试使用 y 组合器在 Scala 中定义 gcd: object Main { def y[A,B]( f : (A => B) => A => B ) : A => B = f(y(f)
我正在尝试了解返回指向函数的指针的函数,在我尝试编译代码后,它给了我这种错误: cannot convert int (*(int))(int) to int (*(int))(int) in ass
所以我一直在关注 youtube 上的游戏编程教程,然后弹出了这段代码:bufferedImageObject.getRGB(int, int, int, int, int[], int, int);
我正在将时间现在 与存储在数据库某处的时间进行比较。数据库中存储的时间格式为“yyyyMMddHHmmss”。例如,数据库可能会为存储的时间值返回 201106203354。然后我使用一个函数将时间现
例如 Maze0.bmp (0,0) (319,239) 65 120 Maze0.bmp (0,0) (319,239) 65 120 (254,243,90) Maze0.bmp (0,0) (
评论 Steve Yegge的post关于 server-side Javascript开始讨论语言中类型系统的优点和这个 comment描述: ... examples from H-M style
我正在研究 C 的指针,从 Deitel 的书中我不明白 int(*function)(int,int) 和 int*function(int, int) 表示函数时。 最佳答案 C 中读取类型的经验
您好,我使用 weblogic 11g 创建 war 应用程序,我对 joda time 的方法有疑问 new DateTime(int, int, int, int, int, int); 这抛出了
Create a method called average that calculates the average of the numbers passed as parameters. The
var a11: Int = 0 var a12: Int = 0 var a21: Int = 0 var a22: Int = 0 var valueDeterminant = a11 * a12
我正在为一个项目设置 LED 阵列。我得到了一个 LED 阵列,可以根据引脚变化电压进行更改,但我无法添加更多引脚。 当我尝试时,编译失败并显示错误:函数“int getMode(int, int,
除了创建对列表执行简单操作的函数之外,我对 haskell 还是很陌生。我想创建一个列表,其中包含 Int 类型的内容, 和 Int -> Int -> Int 类型的函数. 这是我尝试过的: dat
这个问题已经有答案了: Java add buttons dynamically as an array [duplicate] (4 个回答) 已关闭 7 年前。 StackOverFlow问题今天
我有几个 EditText View ,我想在其中设置左侧的图像,而 setCompoundDrawablesWithIntrinsicBounds 似乎不起作用。图形似乎没有改变。 有人知道为什么会
#include using namespace std; int main() { static_assert(is_constructible, int(*)(int,int)>::val
fun sum(a: Int, b: Int) = a + b val x = 1.to(2) 我在找: sum.tupled(x),或者 sum(*x) 当然,以上都不能用 Kotlin 1.1.3
有一个函数: func (first: Int) -> Int -> Bool -> String { return ? } 返回值怎么写?我对上面 func 的返回类型感到很困惑。 最
type foo = A of int * int | B of (int * int) int * int 和 (int * int) 有什么区别?我看到的唯一区别在于模式匹配: let test_
我正在尝试制作一个 slider 游戏。在这个类中,我使用 Graphics 对象 g2 的 drawImage 方法来显示“拼图”的 block 。但在绘制类方法中,我收到此错误:找不到符号方法dr
我试着理解这个表达: static Func isOdd = i => (i & 1) == 1; 但是这是什么意思呢? 例如我有 i = 3。然后 (3 & 1) == 1 或 i = 4。然后
我是一名优秀的程序员,十分优秀!