{"id":219,"date":"2010-04-14T12:14:00","date_gmt":"2010-04-14T04:14:00","guid":{"rendered":"http:\/\/localhost\/?p=219"},"modified":"2010-04-14T12:14:00","modified_gmt":"2010-04-14T04:14:00","slug":"ural_1519_formula_1","status":"publish","type":"post","link":"https:\/\/www.shuizilong.com\/wjmzbmr\/?p=219","title":{"rendered":"URAL 1519 Formula 1"},"content":{"rendered":"\n<p>\u8fd9\u9053\u9898\u76ee\u7b97\u6cd5\u5c31\u4e0d\u8bf4\u4e86\u3002\u3002\u5173\u952e\u662f\u6211\u8fd9\u4e2a\u5b9e\u73b0\u65b9\u6cd5\u8fd8\u662f\u5f88\u6709\u610f\u601d\u7684\u3002\u3002<br \/>\u6211\u76f4\u63a5\u7528\u4e00\u4e2a\u7c7b\u6765\u8868\u793a\u72b6\u6001\u3002\u3002\u5927\u5927\u7b80\u5316\u4e86\u4ee3\u7801(*^__^*) \u3002\u3002<br \/>const int maxn=20;<br \/>typedef unsigned long long ull;<br \/>int n,m;<br \/>struct State<br \/>{<br \/>&nbsp;&nbsp;&nbsp;  ull s;<br \/>&nbsp;&nbsp;&nbsp;  State(ull _s=0):s(_s){}<br \/>&nbsp;&nbsp;&nbsp;  int get(int i){return s&gt;&gt;(3*i)&amp;7;}<br \/>&nbsp;&nbsp;&nbsp;  int operator[](int i){return get(i);}<br \/>&nbsp;&nbsp;&nbsp;  void set(int i,int x){s&amp;=~(7ULL&lt;&lt;(3*i));s|=ull(x)&lt;&lt;(3*i);}<br \/>&nbsp;&nbsp;&nbsp;  bool operator&lt;(const State&amp;o)const<br \/>&nbsp;&nbsp;&nbsp;  {return s&lt;o.s;}<br \/>&nbsp;&nbsp;&nbsp;  void normal()<br \/>&nbsp;&nbsp;&nbsp;  {<br \/>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  static int tmp[10],cnt;<br \/>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  memset(tmp,0,sizeof(tmp));<br \/>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  cnt=0;<br \/>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  for(int i=0;i&lt;=m;i++)<br \/>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  {<br \/>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  int t=get(i);<br \/>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  if(!t)continue;<br \/>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  if(!tmp[t]) tmp[t]=++cnt;<br \/>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  set(i,tmp[t]);<br \/>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  }<br \/>&nbsp;&nbsp;&nbsp;  }<br \/>&nbsp;&nbsp;&nbsp;  void Merge(int a,int b)<br \/>&nbsp;&nbsp;&nbsp;  {<br \/>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  for(int i=0;i&lt;=m;i++)<br \/>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  if(get(i)==b)<br \/>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  set(i,a);<br \/>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  normal();<br \/>&nbsp;&nbsp;&nbsp;  }<br \/>&nbsp;&nbsp;&nbsp;  bool LegalAsEnd()const<br \/>&nbsp;&nbsp;&nbsp;  {<br \/>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  return s==0;<br \/>&nbsp;&nbsp;&nbsp;  }<br \/>&nbsp;&nbsp;&nbsp;  void NextRow()<br \/>&nbsp;&nbsp;&nbsp;  {<br \/>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  s&lt;&lt;=3;<br \/>&nbsp;&nbsp;&nbsp;  }<br \/>&nbsp;&nbsp;&nbsp;  void Show()<br \/>&nbsp;&nbsp;&nbsp;  {<br \/>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  for(int i=0;i&lt;=m;i++)<br \/>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  cout&lt;&lt;get(i)&lt;&lt;&quot; &quot;;<br \/>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  cout&lt;&lt;endl;<br \/>&nbsp;&nbsp;&nbsp;  }<br \/>};<br \/>\u5b8c\u6574\u7684\u4ee3\u7801\u5728ideone\u4e0a\u3002\u3002\u767e\u5ea6\u653e\u4e0d\u4e0b\u56e7\u3002\u3002\u3002<br \/><a href=\"http:\/\/www.ideone.com\/0mrgG\">http:\/\/www.ideone.com\/0mrgG<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u8fd9\u9053\u9898\u76ee\u7b97\u6cd5\u5c31\u4e0d\u8bf4\u4e86\u3002\u3002\u5173\u952e\u662f\u6211\u8fd9\u4e2a\u5b9e\u73b0\u65b9\u6cd5\u8fd8\u662f\u5f88\u6709\u610f\u601d\u7684\u3002\u3002\u6211\u76f4\u63a5\u7528\u4e00\u4e2a\u7c7b\u6765\u8868\u793a\u72b6\u6001\u3002\u3002\u5927\u5927\u7b80\u5316\u4e86\u4ee3\u7801(*^__^*) \u3002\u3002const int maxn=20;typedef unsigned long long ull;int n,m;struct State{&nbsp;&nbsp;&nbsp; ull s;&nbsp;&nbsp;&nbsp; State(ull _s=0):s(_s){}&nbsp;&nbsp;&nbsp; int get(int i){return s&gt;&gt;(3*i)&amp;7;}&nbsp;&nbsp;&nbsp; int operator[](int i){return get(i);}&nbsp;&nbsp;&nbsp; void set(int i,int x){s&amp;=~(7ULL&lt;&lt;(3*i));s|=ull(x)&lt;&lt;(3*i);}&nbsp;&nbsp;&nbsp; bool operator&lt;(const State&amp;o)const&nbsp;&nbsp;&nbsp; {return s&lt;o.s;}&nbsp;&nbsp;&nbsp; void normal()&nbsp;&nbsp;&nbsp; {&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; static int tmp[10],cnt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; memset(tmp,0,sizeof(tmp));&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; cnt=0;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; for(int i=0;i&lt;=m;i++)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; {&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; int t=get(i);&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; if(!t)continue;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; if(!tmp[t]) tmp[t]=++cnt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; set(i,tmp[t]);&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; }&nbsp;&nbsp;&nbsp; }&nbsp;&nbsp;&nbsp; void Merge(int a,int b)&nbsp;&nbsp;&nbsp; {&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[10],"tags":[],"jetpack_featured_media_url":"","_links":{"self":[{"href":"https:\/\/www.shuizilong.com\/wjmzbmr\/index.php?rest_route=\/wp\/v2\/posts\/219"}],"collection":[{"href":"https:\/\/www.shuizilong.com\/wjmzbmr\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.shuizilong.com\/wjmzbmr\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.shuizilong.com\/wjmzbmr\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.shuizilong.com\/wjmzbmr\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=219"}],"version-history":[{"count":0,"href":"https:\/\/www.shuizilong.com\/wjmzbmr\/index.php?rest_route=\/wp\/v2\/posts\/219\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.shuizilong.com\/wjmzbmr\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=219"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.shuizilong.com\/wjmzbmr\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=219"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.shuizilong.com\/wjmzbmr\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=219"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}