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

nyfor

原帖由 jboracle1981 于 2011-4-28 19:36 发表
牛！
老大，干脆把这个
subtype w is varchar(999)
改成
subtype w is long算了吧，虽然意义不大。
土点就土点，应该不会出错吧
突破2000b

呵呵，要突破1200bytes，也不用这么变态且不能编译的方法。
将 substr(c(y),-2) = 1 这个条件改为 c(y) like '%01' 即可立减 4 bytes

最终为 1196 bytes
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
      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;

      c(y) := to_char(v + x, ' mm-dd');

      c(x) := c(x) - 1;

      s := sign(x - 1) + 40;
      c(s) := least(+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(+c(40), c(41));
    z(least(+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 = s 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 c(y) like '%01' then
        p(y || ' ' || -c(40));
      end if;
    end loop;
  end;
end;
/

nyfor

晕，substr(c(y),-2) = 1 直接改为判断  c(y) = '04-01' 还比 c(y) like '%01' 少一个字节。

newkid

nyfor太强大了，幸亏你没去当黑客！

cow977

v date := date '1-3-31';
      x := 25 - s - (y - 2344 + trunc(y / 4) - s) mod 7;
      c(y) := to_char(v + x, ' mm-dd');

改为
v date := date '1-4-25';
      x :=  s + (y - 2344 + trunc(y / 4) - s) mod 7;
      c(y) := to_char(v - x, ' mm-dd');

少3Byte.

〇〇

看了看自己的代码，substr(-2)无法改为=，因为我的q是合并后的

for x in 2011..2099 loop
        q:=q||'
'||x||b||o(x);
        if @q,-2)='01' then
                w:=w||'
'||x||b;
        end if;
        end loop;
end;
]','@','substr('),'#',

nyfor

原帖由 cow977 于 2011-4-28 22:58 发表
v date := date '1-3-31';
      x := 25 - s - (y - 2344 + trunc(y / 4) - s) mod 7;
      c(y) := to_char(v + x, ' mm-dd');

改为
v date := date '1-4-25';
      x :=  s + (y - 2344 + trunc(y / 4) - s) mod 7;
      c(y) := to_char(v - x, ' mm-dd');

少3Byte.

最后一步的计算结果改变了，涉及到数组的下标，那么其它地方也要做相应处理，比如：
s := sign(x - 1) + 40; 中的 x - 1 也要修改为 26 - x  这里又会多一个字节。
还有其他的地方需要调整，暂时不去想了。

cow977

关联太多了，牵一发而动全身。

nyfor

s := (11 * s + 4 - trunc((7 * s + 1) / 19)) mod 29;
x := 25 - s - (y - 2344 + trunc(y / 4) - s) mod 7;
s 值最大的可能取值为28，而我们已知 y>=1900
故而 (y - 2344 + trunc(y / 4) -s ) 这部分可以推知，必定 〉0，因此 mod 7 的结果也必定 >=0
故而，我们可以将 （y -2344 + trunc(c / y) -s ）加上7的正整数倍后 mod 7 结果将不变。
由此我们加上 7*334 = 2338 继而变成 (y - 6 + trunc(c / y) - s). 最终就是：
s := (11 * s + 4 - trunc((7 * s + 1) / 19)) mod 29;
x := 25 - s - (y - 6 + trunc(y / 4) - s) mod 7;

这样又可以节省 3 个字节，减少为 1192 字节

再次重申，这种推理变换应该不属于出题者禁止的中间结果吧 ？

nyfor

文件上传最终结果，过五一去了。祝大家节日快乐。
easter.sql (1.93 KB, 下载次数: 25)

2011-4-29 22:16 上传

点击文件名下载附件

newkid

原帖由 nyfor 于 2011-4-29 22:10 发表
s := (11 * s + 4 - trunc((7 * s + 1) / 19)) mod 29;
x := 25 - s - (y - 2344 + trunc(y / 4) - s) mod 7;
s 值最大的可能取值为28，而我们已知 y>=1900
故而 (y - 2344 + trunc(y / 4) -s ) 这部分可以推知，必定 〉0，因此 mod 7 的结果也必定 >=0
故而，我们可以将 （y -2344 + trunc(c / y) -s ）加上7的正整数倍后 mod 7 结果将不变。
由此我们加上 7*334 = 2338 继而变成 (y - 6 + trunc(c / y) - s). 最终就是：
s := (11 * s + 4 - trunc((7 * s + 1) / 19)) mod 29;
x := 25 - s - (y - 6 + trunc(y / 4) - s) mod 7;

这样又可以节省 3 个字节，减少为 1192 字节

再次重申，这种推理变换应该不属于出题者禁止的中间结果吧 ？

这才是妙处所在！快变成机器码了。