文章列表
Comparison<T> 是一个delegate
几个常用的例子:
<1>
class Program
{
static void Main(string[] args)
{
int[] ia = new int[] { 1, 5, 2, 4, 3, 7, 6 };
Array.Sort(ia);
foreach (int i in ia)
Console.WriteLine(i);
}
...
有时候需要判断一个字串是不是一个int/double/float.
C#没有直接的方法实现,可以自己用如下几个方法实现:
<1>try-catch
class Program
{
public static bool IsInt32(string s)
{
try
{
int n = Int32.Parse(s);
return true;
}
catch
...
1.判断一个数是不是素数,效率还行的一段小代码
#include <stdio.h>
#include <math.h>
int IsPrime(int x)
{
if (x == 1)return 0;
else if (x == 2)return 1;
else if (x % 2 == 0) return 0;
else
{
int i,bound = sqrt((double)x) + 1;
for( ...
这段代码帮助你判断四个0-9 之间的数能不能通过加减乘除得到24点,要是可以,程序也会显示一种可行的计算方法,这其实是一个枚举,效率不高。
#include <stdio.h>
double four[4], three[3];
char steps[3][100];
int judge2(double x, double y)
{
if (24 == x + y)
{
sprintf(steps[2],"%lf + %lf = %lf", x, y, x + y);
return 24;
}
if (24 == x ...
很久以前用来枚举组合数的,当时应该是C(4,11)。
class Program
{
static void Main(string[] args)
{
int sum = 0;
int[] vs = new int[4];
int[] vars = new int[11]{1,2,3,4,5,6,7,8,9,10,11};
G(0, 0, 4, ref vars, ref vs, ref sum);
Consol ...
Z3 used for Resolving PG
Explore到了每一步,应该是都扔到Z3里面去确定到底下一步要做什么
主要是PG,你new了实例情况也算差不多吧
这个我觉得Dev不可能控制这么细节的东西
他不一定非要是PG
他把目前的状态信息扔进Z3
然后Z3返回一个序列
然后他就按照这个序列一个一个地issue action
比如他到了S17
然后Z3返回告诉他,S17后面有 A,B,C 这几个action
A,B,C 的顺序是Z3告诉他的
他只管调
说不准哪天Z3返回个B,C,A
不可能有兴趣三天两头去改这个顺序
Z3是通过某个东西来做随机的
就像你Exp ...