Hex Artifact Content
Not logged in

Artifact 5beaeafc55fc55b64a6c1b933fbae84215bacae7:


0000: 23 69 6e 63 6c 75 64 65 20 3c 69 6f 73 74 72 65  #include <iostre
0010: 61 6d 3e 0d 0a 23 69 6e 63 6c 75 64 65 20 3c 73  am>..#include <s
0020: 73 74 72 65 61 6d 3e 0d 0a 23 69 6e 63 6c 75 64  stream>..#includ
0030: 65 20 3c 69 6f 6d 61 6e 69 70 3e 0d 0a 23 69 6e  e <iomanip>..#in
0040: 63 6c 75 64 65 20 3c 76 65 63 74 6f 72 3e 0d 0a  clude <vector>..
0050: 23 69 6e 63 6c 75 64 65 20 3c 73 74 72 69 6e 67  #include <string
0060: 3e 0d 0a 23 69 6e 63 6c 75 64 65 20 3c 6d 61 70  >..#include <map
0070: 3e 0d 0a 23 69 6e 63 6c 75 64 65 20 3c 73 65 74  >..#include <set
0080: 3e 0d 0a 23 69 6e 63 6c 75 64 65 20 3c 61 6c 67  >..#include <alg
0090: 6f 72 69 74 68 6d 3e 0d 0a 23 69 6e 63 6c 75 64  orithm>..#includ
00a0: 65 20 3c 6e 75 6d 65 72 69 63 3e 0d 0a 23 69 6e  e <numeric>..#in
00b0: 63 6c 75 64 65 20 3c 69 74 65 72 61 74 6f 72 3e  clude <iterator>
00c0: 0d 0a 23 69 6e 63 6c 75 64 65 20 3c 66 75 6e 63  ..#include <func
00d0: 74 69 6f 6e 61 6c 3e 0d 0a 23 69 6e 63 6c 75 64  tional>..#includ
00e0: 65 20 3c 63 6f 6d 70 6c 65 78 3e 0d 0a 23 69 6e  e <complex>..#in
00f0: 63 6c 75 64 65 20 3c 71 75 65 75 65 3e 0d 0a 23  clude <queue>..#
0100: 69 6e 63 6c 75 64 65 20 3c 73 74 61 63 6b 3e 0d  include <stack>.
0110: 0a 23 69 6e 63 6c 75 64 65 20 3c 63 6d 61 74 68  .#include <cmath
0120: 3e 0d 0a 23 69 6e 63 6c 75 64 65 20 3c 63 61 73  >..#include <cas
0130: 73 65 72 74 3e 0d 0a 23 69 6e 63 6c 75 64 65 20  sert>..#include 
0140: 3c 63 73 74 72 69 6e 67 3e 0d 0a 75 73 69 6e 67  <cstring>..using
0150: 20 6e 61 6d 65 73 70 61 63 65 20 73 74 64 3b 0d   namespace std;.
0160: 0a 74 79 70 65 64 65 66 20 6c 6f 6e 67 20 6c 6f  .typedef long lo
0170: 6e 67 20 4c 4c 3b 0d 0a 74 79 70 65 64 65 66 20  ng LL;..typedef 
0180: 63 6f 6d 70 6c 65 78 3c 64 6f 75 62 6c 65 3e 20  complex<double> 
0190: 43 4d 50 3b 0d 0a 0d 0a 63 6c 61 73 73 20 43 68  CMP;....class Ch
01a0: 69 63 6b 65 6e 4f 72 61 63 6c 65 20 7b 20 70 75  ickenOracle { pu
01b0: 62 6c 69 63 3a 0d 0a 09 73 74 72 69 6e 67 20 74  blic:...string t
01c0: 68 65 54 72 75 74 68 28 69 6e 74 20 6e 2c 20 69  heTruth(int n, i
01d0: 6e 74 20 65 67 67 43 6f 75 6e 74 2c 20 69 6e 74  nt eggCount, int
01e0: 20 6c 69 65 43 6f 75 6e 74 2c 20 69 6e 74 20 6c   lieCount, int l
01f0: 69 61 72 43 6f 75 6e 74 29 20 0d 0a 09 7b 0d 0a  iarCount) ...{..
0200: 09 09 62 6f 6f 6c 20 65 67 67 20 3d 20 63 61 6e  ..bool egg = can
0210: 54 72 75 74 68 54 65 6c 6c 65 72 42 65 28 20 20  TruthTellerBe(  
0220: 20 65 67 67 43 6f 75 6e 74 2c 20 6e 2c 20 6c 69   eggCount, n, li
0230: 65 43 6f 75 6e 74 2c 20 6c 69 61 72 43 6f 75 6e  eCount, liarCoun
0240: 74 20 29 3b 0d 0a 09 09 62 6f 6f 6c 20 63 68 6b  t );....bool chk
0250: 20 3d 20 63 61 6e 54 72 75 74 68 54 65 6c 6c 65   = canTruthTelle
0260: 72 42 65 28 20 6e 2d 65 67 67 43 6f 75 6e 74 2c  rBe( n-eggCount,
0270: 20 6e 2c 20 6c 69 65 43 6f 75 6e 74 2c 20 6c 69   n, lieCount, li
0280: 61 72 43 6f 75 6e 74 20 29 3b 0d 0a 09 09 69 66  arCount );....if
0290: 28 20 65 67 67 20 26 26 20 63 68 6b 20 29 20 72  ( egg && chk ) r
02a0: 65 74 75 72 6e 20 22 41 6d 62 69 67 75 6f 75 73  eturn "Ambiguous
02b0: 22 3b 0d 0a 09 09 69 66 28 20 65 67 67 20 29 20  ";....if( egg ) 
02c0: 72 65 74 75 72 6e 20 22 54 68 65 20 65 67 67 22  return "The egg"
02d0: 3b 0d 0a 09 09 69 66 28 20 63 68 6b 20 29 20 72  ;....if( chk ) r
02e0: 65 74 75 72 6e 20 22 54 68 65 20 63 68 69 63 6b  eturn "The chick
02f0: 65 6e 22 3b 0d 0a 09 09 72 65 74 75 72 6e 20 22  en";....return "
0300: 54 68 65 20 6f 72 61 63 6c 65 20 69 73 20 61 20  The oracle is a 
0310: 6c 69 65 22 3b 0d 0a 09 7d 0d 0a 09 62 6f 6f 6c  lie";...}...bool
0320: 20 63 61 6e 54 72 75 74 68 54 65 6c 6c 65 72 42   canTruthTellerB
0330: 65 28 20 69 6e 74 20 41 2c 20 69 6e 74 20 6e 2c  e( int A, int n,
0340: 20 69 6e 74 20 42 2c 20 69 6e 74 20 20 43 20 29   int B, int  C )
0350: 0d 0a 09 7b 0d 0a 09 09 69 6e 74 20 74 77 6f 5f  ...{....int two_
0360: 78 20 3d 20 41 2b 42 2b 43 20 2d 20 6e 3b 0d 0a  x = A+B+C - n;..
0370: 09 09 69 66 28 20 28 74 77 6f 5f 78 26 31 29 20  ..if( (two_x&1) 
0380: 3d 3d 20 31 20 29 0d 0a 09 09 09 72 65 74 75 72  == 1 ).....retur
0390: 6e 20 66 61 6c 73 65 3b 0d 0a 09 09 69 6e 74 20  n false;....int 
03a0: 78 20 3d 20 74 77 6f 5f 78 2f 32 3b 0d 0a 09 09  x = two_x/2;....
03b0: 72 65 74 75 72 6e 20 30 3c 3d 78 20 26 26 20 78  return 0<=x && x
03c0: 3c 3d 43 20 26 26 20 78 3c 3d 42 20 26 26 20 28  <=C && x<=B && (
03d0: 43 2d 78 29 3c 3d 28 6e 2d 42 29 3b 0d 0a 09 7d  C-x)<=(n-B);...}
03e0: 0d 0a 7d 3b 0d 0a 0d 0a 2f 2f 20 42 45 47 49 4e  ..};....// BEGIN
03f0: 20 43 55 54 20 48 45 52 45 0d 0a 23 69 6e 63 6c   CUT HERE..#incl
0400: 75 64 65 20 3c 63 74 69 6d 65 3e 0d 0a 64 6f 75  ude <ctime>..dou
0410: 62 6c 65 20 73 74 61 72 74 5f 74 69 6d 65 3b 20  ble start_time; 
0420: 73 74 72 69 6e 67 20 74 69 6d 65 72 28 29 0d 0a  string timer()..
0430: 20 7b 20 6f 73 74 72 69 6e 67 73 74 72 65 61 6d   { ostringstream
0440: 20 6f 73 3b 20 6f 73 20 3c 3c 20 22 20 28 22 20   os; os << " (" 
0450: 3c 3c 20 69 6e 74 28 28 63 6c 6f 63 6b 28 29 2d  << int((clock()-
0460: 73 74 61 72 74 5f 74 69 6d 65 29 2f 43 4c 4f 43  start_time)/CLOC
0470: 4b 53 5f 50 45 52 5f 53 45 43 2a 31 30 30 30 29  KS_PER_SEC*1000)
0480: 20 3c 3c 20 22 20 6d 73 65 63 29 22 3b 20 72 65   << " msec)"; re
0490: 74 75 72 6e 20 6f 73 2e 73 74 72 28 29 3b 20 7d  turn os.str(); }
04a0: 0d 0a 74 65 6d 70 6c 61 74 65 3c 74 79 70 65 6e  ..template<typen
04b0: 61 6d 65 20 54 3e 20 6f 73 74 72 65 61 6d 26 20  ame T> ostream& 
04c0: 6f 70 65 72 61 74 6f 72 3c 3c 28 6f 73 74 72 65  operator<<(ostre
04d0: 61 6d 26 20 6f 73 2c 20 63 6f 6e 73 74 20 76 65  am& os, const ve
04e0: 63 74 6f 72 3c 54 3e 26 20 76 29 0d 0a 20 7b 20  ctor<T>& v).. { 
04f0: 6f 73 20 3c 3c 20 22 7b 20 22 3b 0d 0a 20 20 20  os << "{ ";..   
0500: 66 6f 72 28 74 79 70 65 6e 61 6d 65 20 76 65 63  for(typename vec
0510: 74 6f 72 3c 54 3e 3a 3a 63 6f 6e 73 74 5f 69 74  tor<T>::const_it
0520: 65 72 61 74 6f 72 20 69 74 3d 76 2e 62 65 67 69  erator it=v.begi
0530: 6e 28 29 3b 20 69 74 21 3d 76 2e 65 6e 64 28 29  n(); it!=v.end()
0540: 3b 20 2b 2b 69 74 29 0d 0a 20 20 20 6f 73 20 3c  ; ++it)..   os <
0550: 3c 20 27 5c 22 27 20 3c 3c 20 2a 69 74 20 3c 3c  < '\"' << *it <<
0560: 20 27 5c 22 27 20 3c 3c 20 28 69 74 2b 31 3d 3d   '\"' << (it+1==
0570: 76 2e 65 6e 64 28 29 20 3f 20 22 22 20 3a 20 22  v.end() ? "" : "
0580: 2c 20 22 29 3b 20 6f 73 20 3c 3c 20 22 20 7d 22  , "); os << " }"
0590: 3b 20 72 65 74 75 72 6e 20 6f 73 3b 20 7d 0d 0a  ; return os; }..
05a0: 76 6f 69 64 20 76 65 72 69 66 79 5f 63 61 73 65  void verify_case
05b0: 28 63 6f 6e 73 74 20 73 74 72 69 6e 67 26 20 45  (const string& E
05c0: 78 70 65 63 74 65 64 2c 20 63 6f 6e 73 74 20 73  xpected, const s
05d0: 74 72 69 6e 67 26 20 52 65 63 65 69 76 65 64 29  tring& Received)
05e0: 20 7b 0d 0a 20 62 6f 6f 6c 20 6f 6b 20 3d 20 28   {.. bool ok = (
05f0: 45 78 70 65 63 74 65 64 20 3d 3d 20 52 65 63 65  Expected == Rece
0600: 69 76 65 64 29 3b 0d 0a 20 69 66 28 6f 6b 29 20  ived);.. if(ok) 
0610: 63 65 72 72 20 3c 3c 20 22 50 41 53 53 45 44 22  cerr << "PASSED"
0620: 20 3c 3c 20 74 69 6d 65 72 28 29 20 3c 3c 20 65   << timer() << e
0630: 6e 64 6c 3b 20 20 65 6c 73 65 20 7b 20 63 65 72  ndl;  else { cer
0640: 72 20 3c 3c 20 22 46 41 49 4c 45 44 22 20 3c 3c  r << "FAILED" <<
0650: 20 74 69 6d 65 72 28 29 20 3c 3c 20 65 6e 64 6c   timer() << endl
0660: 3b 0d 0a 20 63 65 72 72 20 3c 3c 20 22 5c 74 6f  ;.. cerr << "\to
0670: 3a 20 5c 22 22 20 3c 3c 20 45 78 70 65 63 74 65  : \"" << Expecte
0680: 64 20 3c 3c 20 27 5c 22 27 20 3c 3c 20 65 6e 64  d << '\"' << end
0690: 6c 20 3c 3c 20 22 5c 74 78 3a 20 5c 22 22 20 3c  l << "\tx: \"" <
06a0: 3c 20 52 65 63 65 69 76 65 64 20 3c 3c 20 27 5c  < Received << '\
06b0: 22 27 20 3c 3c 20 65 6e 64 6c 3b 20 7d 20 7d 0d  "' << endl; } }.
06c0: 0a 23 64 65 66 69 6e 65 20 43 41 53 45 28 4e 29  .#define CASE(N)
06d0: 20 7b 63 65 72 72 20 3c 3c 20 22 54 65 73 74 20   {cerr << "Test 
06e0: 43 61 73 65 20 23 22 20 3c 3c 20 4e 20 3c 3c 20  Case #" << N << 
06f0: 22 2e 2e 2e 22 20 3c 3c 20 66 6c 75 73 68 3b 20  "..." << flush; 
0700: 73 74 61 72 74 5f 74 69 6d 65 3d 63 6c 6f 63 6b  start_time=clock
0710: 28 29 3b 0d 0a 23 64 65 66 69 6e 65 20 45 4e 44  ();..#define END
0720: 09 20 76 65 72 69 66 79 5f 63 61 73 65 28 5f 2c  . verify_case(_,
0730: 20 43 68 69 63 6b 65 6e 4f 72 61 63 6c 65 28 29   ChickenOracle()
0740: 2e 74 68 65 54 72 75 74 68 28 6e 2c 20 65 67 67  .theTruth(n, egg
0750: 43 6f 75 6e 74 2c 20 6c 69 65 43 6f 75 6e 74 2c  Count, lieCount,
0760: 20 6c 69 61 72 43 6f 75 6e 74 29 29 3b 7d 0d 0a   liarCount));}..
0770: 69 6e 74 20 6d 61 69 6e 28 29 7b 0d 0a 0d 0a 43  int main(){....C
0780: 41 53 45 28 30 29 0d 0a 09 69 6e 74 20 6e 20 3d  ASE(0)...int n =
0790: 20 31 30 3b 20 0d 0a 09 69 6e 74 20 65 67 67 43   10; ...int eggC
07a0: 6f 75 6e 74 20 3d 20 31 30 3b 20 0d 0a 09 69 6e  ount = 10; ...in
07b0: 74 20 6c 69 65 43 6f 75 6e 74 20 3d 20 30 3b 20  t lieCount = 0; 
07c0: 0d 0a 09 69 6e 74 20 6c 69 61 72 43 6f 75 6e 74  ...int liarCount
07d0: 20 3d 20 30 3b 20 0d 0a 09 73 74 72 69 6e 67 20   = 0; ...string 
07e0: 5f 20 3d 20 22 54 68 65 20 65 67 67 22 3b 20 0d  _ = "The egg"; .
07f0: 0a 45 4e 44 0d 0a 43 41 53 45 28 31 29 0d 0a 09  .END..CASE(1)...
0800: 69 6e 74 20 6e 20 3d 20 36 30 3b 20 0d 0a 09 69  int n = 60; ...i
0810: 6e 74 20 65 67 67 43 6f 75 6e 74 20 3d 20 34 30  nt eggCount = 40
0820: 3b 20 0d 0a 09 69 6e 74 20 6c 69 65 43 6f 75 6e  ; ...int lieCoun
0830: 74 20 3d 20 30 3b 20 0d 0a 09 69 6e 74 20 6c 69  t = 0; ...int li
0840: 61 72 43 6f 75 6e 74 20 3d 20 33 30 3b 20 0d 0a  arCount = 30; ..
0850: 09 73 74 72 69 6e 67 20 5f 20 3d 20 22 54 68 65  .string _ = "The
0860: 20 6f 72 61 63 6c 65 20 69 73 20 61 20 6c 69 65   oracle is a lie
0870: 22 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 32  "; ..END..CASE(2
0880: 29 0d 0a 09 69 6e 74 20 6e 20 3d 20 36 30 3b 20  )...int n = 60; 
0890: 0d 0a 09 69 6e 74 20 65 67 67 43 6f 75 6e 74 20  ...int eggCount 
08a0: 3d 20 32 30 3b 20 0d 0a 09 69 6e 74 20 6c 69 65  = 20; ...int lie
08b0: 43 6f 75 6e 74 20 3d 20 35 3b 20 0d 0a 09 69 6e  Count = 5; ...in
08c0: 74 20 6c 69 61 72 43 6f 75 6e 74 20 3d 20 32 35  t liarCount = 25
08d0: 3b 20 0d 0a 09 73 74 72 69 6e 67 20 5f 20 3d 20  ; ...string _ = 
08e0: 22 54 68 65 20 63 68 69 63 6b 65 6e 22 3b 20 0d  "The chicken"; .
08f0: 0a 45 4e 44 0d 0a 43 41 53 45 28 33 29 0d 0a 09  .END..CASE(3)...
0900: 69 6e 74 20 6e 20 3d 20 31 30 30 30 3b 20 0d 0a  int n = 1000; ..
0910: 09 69 6e 74 20 65 67 67 43 6f 75 6e 74 20 3d 20  .int eggCount = 
0920: 35 30 30 3b 20 0d 0a 09 69 6e 74 20 6c 69 65 43  500; ...int lieC
0930: 6f 75 6e 74 20 3d 20 32 35 30 3b 20 0d 0a 09 69  ount = 250; ...i
0940: 6e 74 20 6c 69 61 72 43 6f 75 6e 74 20 3d 20 32  nt liarCount = 2
0950: 35 30 3b 20 0d 0a 09 73 74 72 69 6e 67 20 5f 20  50; ...string _ 
0960: 3d 20 22 41 6d 62 69 67 75 6f 75 73 22 3b 20 0d  = "Ambiguous"; .
0970: 0a 45 4e 44 0d 0a 43 41 53 45 28 34 29 0d 0a 09  .END..CASE(4)...
0980: 69 6e 74 20 6e 20 3d 20 33 33 38 39 31 39 3b 20  int n = 338919; 
0990: 0d 0a 09 69 6e 74 20 65 67 67 43 6f 75 6e 74 20  ...int eggCount 
09a0: 3d 20 33 31 30 36 34 35 3b 20 0d 0a 09 69 6e 74  = 310645; ...int
09b0: 20 6c 69 65 43 6f 75 6e 74 20 3d 20 37 30 34 32   lieCount = 7042
09c0: 32 3b 20 0d 0a 09 69 6e 74 20 6c 69 61 72 43 6f  2; ...int liarCo
09d0: 75 6e 74 20 3d 20 33 30 34 32 37 39 3b 20 0d 0a  unt = 304279; ..
09e0: 09 73 74 72 69 6e 67 20 5f 20 3d 20 22 54 68 65  .string _ = "The
09f0: 20 6f 72 61 63 6c 65 20 69 73 20 61 20 6c 69 65   oracle is a lie
0a00: 22 3b 20 0d 0a 45 4e 44 0d 0a 43 41 53 45 28 35  "; ..END..CASE(5
0a10: 29 0d 0a 09 69 6e 74 20 6e 20 3d 20 31 3b 20 0d  )...int n = 1; .
0a20: 0a 09 69 6e 74 20 65 67 67 43 6f 75 6e 74 20 3d  ..int eggCount =
0a30: 20 30 3b 20 0d 0a 09 69 6e 74 20 6c 69 65 43 6f   0; ...int lieCo
0a40: 75 6e 74 20 3d 20 30 3b 20 0d 0a 09 69 6e 74 20  unt = 0; ...int 
0a50: 6c 69 61 72 43 6f 75 6e 74 20 3d 20 30 3b 20 0d  liarCount = 0; .
0a60: 0a 09 73 74 72 69 6e 67 20 5f 20 3d 20 22 54 68  ..string _ = "Th
0a70: 65 20 63 68 69 63 6b 65 6e 22 3b 20 0d 0a 45 4e  e chicken"; ..EN
0a80: 44 0d 0a 7d 0d 0a 2f 2f 20 45 4e 44 20 43 55 54  D..}..// END CUT
0a90: 20 48 45 52 45 0d 0a                              HERE..