nyfor 复活节比短代码解题说明

jboracle1981

原帖由 newkid 于 2011-4-27 23:18 发表
为了节省一个BEGIN把初始化代码都移进了过程p,真是极端手段！

大师：请教下？
c(g) := least(0, c(f), c(g));
这步里面用个0作用是什么啊？
有点看不懂，调试了下也没看懂
c(f),c(g)应该都是负值的啊？
不用的0结果却不对

newkid

原帖由 jboracle1981 于 2011-4-27 23:23 发表


大师：请教下？
c(g) := least(0, c(f), c(g));
这步里面用个0作用是什么啊？
有点看不懂，调试了下也没看懂
c(f),c(g)应该都是负值的啊？
不用的0结果却不对

注意c是字符串类型，加个0会强行隐性转换为NUMBER型再比较。

jboracle1981

原帖由 newkid 于 2011-4-27 23:41 发表

注意c是字符串类型，加个0会强行隐性转换为NUMBER型再比较。

3Q

nyfor

使用了subtype,并将原本int型的变量定义成了varchar型, 故而
f := least(0, c(40), c(41));
z(least(f, c(39)));
z(c(39), 0);
z(f, 30, 1);
这段代码中的
z(least(f, c(39)));
这一行有BUG,还得加上一个常数0.

既然f,g都定义成 w (varchar)型了,故而可以复用 s,x这两个变量.
从而又可以减少6个字节,但是修正上面的BUG需多两个字节,故此次修改可以减少4个字节.

PS: 帖子内容能追加折叠功能吗?不想代码默认的显示出来占大量空间.

长度变为: 1211 byte
create or replace package easter is
  procedure showAllEasterDay;
  procedure showMaxOccurenceEasterDay;
  procedure showLeapEasterDay;
  procedure showFoolEasterDay;
end;
/
create or replace package body easter is
  c dbms_sql.varchar2s;
  subtype w is varchar(999);

  s w;
  x w;
  v date := date '1-3-31';

  procedure p(t w) is
  begin
    dbms_output.put_line(t);
  
    for i in -30 .. 50 loop
      c(i) := 0;
    end loop;
  
    for y in 2011 .. 2099 loop
      x := y - 1900;
      s := x mod 19;
      s := (11 * s + 4 - trunc((7 * s + 1) / 19)) mod 29;
      x := 25 - s - (x + trunc(x / 4) + 31 - s) mod 7;
   
      c(y) := to_char(v + x, ' mm-dd');
   
      c(x) := c(x) - 1;
   
      s := sign(x - 1) + 40;
      c(s) := least(0, c(x), c(s));
    end loop;
    s := '';
  end;

  procedure showAllEasterDay is
  begin
    p('YEAR DAY');
    for y in 2011 .. 2099 loop
      p(y || c(y));
    end loop;
  end;
  procedure z(w w, n w := 30, m w := -30) is
  begin
    for f in m .. n loop
      if c(f) = w then
        s := s || to_char(v + f, 'mm-dd/');
      end if;
    end loop;
    s := rtrim(s, '/') || ' ' || -w || ' ';
  end;
  procedure showMaxOccurenceEasterDay is
  begin
    p('MAXOCC                               MO_CNT MAXOCC_3 MO3_CNT    MAXOCC_4          MO4_CNT');
  
    x := least(0, c(40), c(41));
    z(least(0, x, c(39)));
    z(c(39), 0);
    z(x, 30, 1);
  
    p(s);
  end;
  procedure showLeapEasterDay is
  begin
    p('ABSENT_START ABSENT_END');
    for i in 22 - 31 .. 25 loop
      x := to_char(v + i, 'mm-dd   ');
      if c(i) = 0 then
        s := nvl(s, x);
      end if;
      if s < x and (i = 25 or c(i + 1) < 0) then
        p(s || x);
      end if;
    end loop;
  end;
  procedure showFoolEasterDay is
  begin
    p('YEAR TOTAL');
    for y in 2011 .. 2099 loop
      if substr(c(y), -2) = 1 then
        p(y || ' ' || -c(40));
      end if;
    end loop;
  end;
end;
/

dingjun123

这么猛，必须加精啊

dingjun123

考虑的太细致了，这个代码好好研究能学到好多东西，谢谢nyfor

nyfor

谢谢 dingjun123
least函数中,为了将字串转换成数字后比较,才用了一个常数0, 之前一直想到字串前面加个 - 号, 可以将整数变成负数,
可没想到加 + 号也是可以的.
故而, 所有 least 函数中需要常数0的地方都可以用+来实现以减少一个字节.
即:least(0, c(x), c(s)) ==> least(+c(x), c(s))

这样一修改,共三个地方, 故而还可以再减少 3 个字节成为 1208 字节.

regonly1

真是精益求精啊，nyfor的代码有了最终版了没呢？

nyfor

将给定的算法,做等价的转换,并计算一部分中间结果(这个中间结果应该不算破坏规则吧)
原来的:
x := y - 1900;
s := x mod 19;
s := (11 * s + 4 - trunc((7 * s + 1) / 19)) mod 29;
x := 25 - s - (x + trunc(x / 4) + 31 - s) mod 7;
==>
x mod 19 <==> (y - 1900) mod 19 因为1900正好是 19 的整数倍,同时我们的y >= 1900, 故而等价于 y mod 19
trunc(x/4) <==> trunc((y-1900)/4) 同样因为1900正好是 4 的整数倍,同时我们的y >= 1900, 故而等价于 trunc(y/4) - 1900/4

因此我们将第一个赋值表达式去掉, 后面直接用 y 去处理,即得到:
s := y mod 19;
s := (11 * s + 4 - trunc((7 * s + 1) / 19)) mod 29;
x := 25 - s - (y - 1900 + trunc(y / 4) - 1900 / 4 + 31 - s) mod 7;
进一步就是:
s := y mod 19;
s := (11 * s + 4 - trunc((7 * s + 1) / 19)) mod 29;
x := 25 - s - (y - 2344 + trunc(y / 4) - s) mod 7;

此变换将节省 8 字节.最终变成 1200 字节.

jiqing1004

哇  nyfor 老大 太牛了