NOIP2014提高组第四题 虫食算

虫食算

问题描述

所谓虫食算，就是原先的算式中有一部分被虫子啃掉了，需要我们根据剩下的数字来判定被啃掉的字母。来看一个简单的例子：

43#9865#045

+8468#6633

44445509678

其中#号代表被虫子啃掉的数字。根据算式，我们很容易判断：第一行的两个数字分别是5和3，第二行的数字是5。

现在，我们对问题做两个限制：

首先，我们只考虑加法的虫食算。这里的加法是N进制加法，算式中三个数都有N位，允许有前导的0。

其次，虫子把所有的数都啃光了，我们只知道哪些数字是相同的，我们将相同的数字用相同的字母表示，不同的数字用不同的字母表示。如果这个算式是N进制的，我们就取英文字母表午的前N个大写字母来表示这个算式中的0到N-1这N个不同的数字：但是这N个字母并不一定顺序地代表0到N-1)。输入数据保证N个字母分别至少出现一次。

BADC

• CBDA

DCCC 上面的算式是一个4进制的算式。很显然，我们只要让ABCD分别代表0123，便可以让这个式子成立了。你的任务是，对于给定的N进制加法算式，求出N个不同的字母分别代表的数字，使得该加法算式成立。输入数据保证有且仅有一组解

分析

这题直接暴力搜索肯定会超时，所以在搜索过程中我们要加点优化：如果当前有一列的数都知道了，那么判断一下，如果不合法（1+1=0）就退出。

代码

var
  s1,s2,s3:ansistring;
  a:array['A'..'Z'] of longint;
  b:array[0..26] of char;
  f:array[1..26] of boolean;
  n,i,j:longint;


function check1:boolean;
var
  i,g:longint;
begin
  check1:=true;
  g:=0;
  for i:=n downto 1 do
    if (a[s1[i]]<>-1) and (a[s2[i]]<>-1) and (a[s3[i]]<>-1) then
      if ((a[s1[i]]+a[s2[i]]) mod n<>a[s3[i]]) and ((a[s1[i]]+a[s2[i]]+1) mod n<>a[s3[i]])
        then exit(false)
end;


function check2:boolean;
var
  i,x:longint;
begin
  x:=0;
  check2:=true;
  for i:=n downto 1 do
    begin
      x:=x+a[s1[i]]+a[s2[i]];
      if x mod n<>a[s3[i]] then exit(false);
      x:=x div n;
    end;
end;


procedure print;
var
  i:char;
begin
  for i:='A' to chr(64+n) do
    write(a[i],' ');
  halt;
end;


procedure dfs(dep:longint);
var
  i:longint;
begin
  if not check1 then exit;
  if dep>n then if check2 then print;
  for i:=n-1 downto 0 do
    if not f[i] then
      begin
        f[i]:=true;
        a[b[dep]]:=i;
        dfs(dep+1);
        f[i]:=false;
        a[b[dep]]:=-1;
      end;
end;


begin
  readln(n);
  readln(s1);
  readln(s2);
  readln(s3);
  for i:=n downto 1 do
    begin
      if a[s1[i]]<>-1 then
        begin
          inc(j);
          b[j]:=s1[i];
          a[s1[i]]:=-1;
        end;
      if a[s2[i]]<>-1 then
        begin
          inc(j);
          b[j]:=s2[i];
          a[s2[i]]:=-1;
        end;
      if a[s3[i]]<>-1 then
        begin
          inc(j);
          b[j]:=s3[i];
          a[s3[i]]:=-1;
        end;
    end;
  dfs(1);
end.