সম্মিলক কুইন্স

Question

পটভূমি

সংযুক্ত যুক্তি কী তা আপনি সবেমাত্র শিখেছেন । বিভিন্ন সংযুক্তকারীদের দ্বারা আগ্রহী আপনি তাদের সম্পর্কে শেখার জন্য বেশ কিছুটা সময় ব্যয় করেন। আপনি এই বিশেষ অভিব্যক্তিটি অবশেষে হোঁচট খাচ্ছেন:

(S I I (S I I))

আপনি লক্ষ্য করেছেন যে এটির স্বাভাবিক আকারে এটি হ্রাস করার চেষ্টা করার সময়, এটি তিনটি পদক্ষেপের পরে নিজের কাছে হ্রাস করে:

(S I I (S I I))
= (I (S I I) (I (S I I)))  (1)
= (S I I (I (S I I)))      (2)
= (S I I (S I I))          (3)

আপনি অন্যান্য বৈশিষ্ট্য যা এই বৈশিষ্ট্যটি ভাগ করে নেওয়ার জন্য দৃ determined় প্রতিজ্ঞ এবং অবিলম্বে এটিতে কাজ শুরু করে।

বিধি

• আপনি নিম্নলিখিত সংযুক্তকারীগুলির যে কোনও সংমিশ্রণ ব্যবহার করতে পারেন:

  B f g x = f (g x)
  C f x y = f y x
  I x     = x
  K x y   = x
  S f g x = f x (g x)
  W f x   = f x x
  

• অ্যাপ্লিকেশনটি সাহচর্য বাকী রয়েছে, যার অর্থ (S K K)আসল ((S K) K)।

• হ্রাস সর্বনিম্ন হ্রাস হ্রাস পদক্ষেপগুলির আর কোনও আদেশ নেই যা কম পদক্ষেপ ব্যবহার করে। উদাহরণ: যদি xহ্রাস থাকে yতবে সঠিক ন্যূনতম হ্রাস (W f x)হ'ল:

  (W f x)
  = (W f y) (1)
  = f y y   (2)
  

  এবং না

  (W f x)
  = f x x   (1)
  = f y x   (2)
  = f y y   (3) 
  

• স্ট্যান্ডার্ড লুফোলস প্রযোজ্য।

কার্য

আমরা দুটি অভিব্যক্তির মধ্যে হ্রাসের সর্বনিম্ন সংখ্যার জন্য একটি প্রকাশের চক্রকে সংজ্ঞায়িত করি ।

আপনার কাজটি হ'ল <100 ব্যবহার করা সংযোজকের সংখ্যা সহ অভিব্যক্তিটি সন্ধান করা যা দীর্ঘতম চক্র উত্পাদন করে।

স্কোরিং

আপনার স্কোরটি আপনার প্রকাশের চক্রের দৈর্ঘ্যের দ্বারা নির্ধারিত হবে। যদি দু'জনের ব্যক্তির অভিব্যক্তির একই চক্র থাকে তবে যে উত্তরটি কম সংযুক্তকারী ব্যবহার করে তা জিততে পারে। যদি তারা উভয়ই সংখ্যক সংমিশ্রণ ব্যবহার করে তবে পূর্বের উত্তরটি জিতবে।

গুড লাক এবং মজা আছে!

Comments

পারমাণবিক কোড-গল্ফ আপনার টাই ব্রেকার জন্য ফিট করতে পারে, তবে আমি টাই ব্রেকার জন্য একটি ট্যাগ যোগ করব না। যদি উপযুক্ত ট্যাগ না থাকে তবে ডিফল্ট হ'ল কোড-চ্যালেঞ্জ , যা নির্দেশ করে যে চ্যালেঞ্জটি একটি কাস্টম বিজয়ী মানদণ্ড ব্যবহার করে।

— মার্টিন ইন্ডার

আমি মনে করি এটির সাহায্য করবে যদি আপনি বলেছিলেন যে আপনার স্বাক্ষরকরণটি কী ধরনের সমিতিগত সম্মেলন ব্যবহার করছে।

— xnor

আপনি যে চক্রটিকে সংজ্ঞায়িত করেছেন তেমন এটি যথাযথভাবে সংজ্ঞায়িত নয়, কারণ প্রদত্ত এক্সপ্রেশনটিতে একাধিক হ্রাস পাওয়া যায়।

— পিটার টেলর

@ থ্রিএফএক্স, আপনি ভুল করেছেন। যেমন যদি তখন xহ্রাস হয় বা বিভিন্ন দৈর্ঘ্যের হয়। yW f x -> W f y -> f y yW f x -> f x x -> f x y -> f y y

— পিটার টেলর

এখন মুশকিল বিষয়টি হল যে কেউ কেবল একটি চক্র পোস্ট করে স্কোর দাবি করতে পারে না; তাদের একটি প্রমাণ প্রয়োজন যে কোনও ছোট হ্রাস নেই, যা গণনাগতভাবে কঠিন হতে পারে।

— xnor

Answer 1

কিছু দিয়ে শুরু করতে হবে

1:(((C (C I) (W I)) (C (C I) (W I)) I I) (W I) (W (C I) (W (C I)) (W (C I))) ((I (W I)) (W I) (W I) I))

2:(((C I (C (C I) (W I))) (W I) I I) (W I) ((C I) (W (C I)) (W (C I)) (W (C I))) ((W I) (W I) (W I) I))

3:(((I (W I)) (C (C I) (W I)) I I) (W I) (I (W (C I)) (W (C I)) (W (C I))) ((I (W I)) (W I) (W I) I))

4:(((W I) (C (C I) (W I)) I I) (W I) (W (C I) (W (C I)) (W (C I))) ((W I) (W I) (W I) I))

5:(((I (C (C I) (W I))) (C (C I) (W I)) I I) (W I) ((C I) (W (C I)) (W (C I)) (W (C I))) ((I (W I)) (W I) (W I) I))

6:(((C (C I) (W I)) (C (C I) (W I)) I I) (W I) (I (W (C I)) (W (C I)) (W (C I))) ((W I) (W I) (W I) I))

7:(((C I (C (C I) (W I))) (W I) I I) (W I) (W (C I) (W (C I)) (W (C I))) ((I (W I)) (W I) (W I) I))

8:(((I (W I)) (C (C I) (W I)) I I) (W I) ((C I) (W (C I)) (W (C I)) (W (C I))) ((W I) (W I) (W I) I))

9:(((W I) (C (C I) (W I)) I I) (W I) (I (W (C I)) (W (C I)) (W (C I))) ((I (W I)) (W I) (W I) I))

10:(((I (C (C I) (W I))) (C (C I) (W I)) I I) (W I) (W (C I) (W (C I)) (W (C I))) ((W I) (W I) (W I) I))

11:(((C (C I) (W I)) (C (C I) (W I)) I I) (W I) ((C I) (W (C I)) (W (C I)) (W (C I))) ((I (W I)) (W I) (W I) I))

12:(((C I (C (C I) (W I))) (W I) I I) (W I) (I (W (C I)) (W (C I)) (W (C I))) ((W I) (W I) (W I) I))

13:(((I (W I)) (C (C I) (W I)) I I) (W I) (W (C I) (W (C I)) (W (C I))) ((I (W I)) (W I) (W I) I))

14:(((W I) (C (C I) (W I)) I I) (W I) ((C I) (W (C I)) (W (C I)) (W (C I))) ((W I) (W I) (W I) I))

15:(((I (C (C I) (W I))) (C (C I) (W I)) I I) (W I) (I (W (C I)) (W (C I)) (W (C I))) ((I (W I)) (W I) (W I) I))

16:(((C (C I) (W I)) (C (C I) (W I)) I I) (W I) (W (C I) (W (C I)) (W (C I))) ((W I) (W I) (W I) I))

17:(((C I (C (C I) (W I))) (W I) I I) (W I) ((C I) (W (C I)) (W (C I)) (W (C I))) ((I (W I)) (W I) (W I) I))

18:(((I (W I)) (C (C I) (W I)) I I) (W I) (I (W (C I)) (W (C I)) (W (C I))) ((W I) (W I) (W I) I))

19:(((W I) (C (C I) (W I)) I I) (W I) (W (C I) (W (C I)) (W (C I))) ((I (W I)) (W I) (W I) I))

20:(((I (C (C I) (W I))) (C (C I) (W I)) I I) (W I) ((C I) (W (C I)) (W (C I)) (W (C I))) ((W I) (W I) (W I) I))

21:(((C (C I) (W I)) (C (C I) (W I)) I I) (W I) (I (W (C I)) (W (C I)) (W (C I))) ((I (W I)) (W I) (W I) I))

22:(((C I (C (C I) (W I))) (W I) I I) (W I) (W (C I) (W (C I)) (W (C I))) ((W I) (W I) (W I) I))

23:(((I (W I)) (C (C I) (W I)) I I) (W I) ((C I) (W (C I)) (W (C I)) (W (C I))) ((I (W I)) (W I) (W I) I))

24:(((W I) (C (C I) (W I)) I I) (W I) (I (W (C I)) (W (C I)) (W (C I))) ((W I) (W I) (W I) I))

25:(((I (C (C I) (W I))) (C (C I) (W I)) I I) (W I) (W (C I) (W (C I)) (W (C I))) ((I (W I)) (W I) (W I) I))

26:(((C (C I) (W I)) (C (C I) (W I)) I I) (W I) ((C I) (W (C I)) (W (C I)) (W (C I))) ((W I) (W I) (W I) I))

27:(((C I (C (C I) (W I))) (W I) I I) (W I) (I (W (C I)) (W (C I)) (W (C I))) ((I (W I)) (W I) (W I) I))

28:(((I (W I)) (C (C I) (W I)) I I) (W I) (W (C I) (W (C I)) (W (C I))) ((W I) (W I) (W I) I))

29:(((W I) (C (C I) (W I)) I I) (W I) ((C I) (W (C I)) (W (C I)) (W (C I))) ((I (W I)) (W I) (W I) I))

30:(((I (C (C I) (W I))) (C (C I) (W I)) I I) (W I) (I (W (C I)) (W (C I)) (W (C I))) ((W I) (W I) (W I) I))

31:(((C (C I) (W I)) (C (C I) (W I)) I I) (W I) (W (C I) (W (C I)) (W (C I))) ((I (W I)) (W I) (W I) I))