Arka fon

Kombinasyon mantığının ne olduğunu yeni öğrendiniz . Çeşitli birleştiriciler tarafından ilginizi çeken, onları öğrenmek için biraz zaman harcıyorsunuz. Sonunda bu ifadeye rastladın:

(S I I (S I I))

Normal şekline indirmeye çalışırken, üç adımdan sonra kendine düştüğünü fark edersiniz:

(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)

Bu özelliği paylaşan ve hemen üzerinde çalışmaya başlayan başka ifadeler bulmaya kararlısınız.

kurallar

Aşağıdaki birleştiricilerin herhangi bir kombinasyonunu kullanabilirsiniz:

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

Uygulama çağrıştırıcıdır, yani (S K K)aslında ((S K) K).
Bir azaltma minimumdur , daha az adım kullanan başka bir azaltma sırası sırası yoktur. Örnek: xazaltma varsa , ydoğru asgari azaltma (W f x):
```
(W f x)
= (W f y) (1)
= f y y   (2)
```
ve yok
```
(W f x)
= f x x   (1)
= f y x   (2)
= f y y   (3) 
```
Standart boşluklar geçerlidir.

Görev

Bir ifadenin döngüsünü , iki aynı ifade arasındaki minimum azalma sayısı olarak tanımlarız .

Senin görevin, kullanılan en uzun döngü üreten <100 kullanılan birleştirici sayısı ile ifade bulmaktır.

puanlama

Puanınız, ifadenizin döngüsünün uzunluğuna göre belirlenir. İki kişinin ifadesi aynı döngüye sahipse, daha az birleştirici kullanan cevap kazanır. Her ikisi de aynı sayıda birleştirici kullanıyorsa, önceki cevap kazanır.

İyi şanslar ve iyi eğlenceler!

code-challenge quine busy-beaver

— ThreeFx
kaynak

Atomic-code-golf kravat kırıcıya uygun olurdu, ama kravat kırıcı için bir etiket eklemezdim. Uygun etiket yoksa, varsayılan kod meydan okumadır , bu da meydan okumanın özel bir kazanan ölçüt kullandığını gösterir.

— Martin Ender

Gösterimin hangi ilişkilendirilebilirlik sözleşmelerini kullandığını söylemiş olsaydın yardımcı olacağını düşünüyorum.

— xnor

Döngüsü verilen bir ifadeyi birden çok azalmalar mevcut olabilir çünkü tanımladığımız şekliyle mutlaka iyi tanımlanmamıştır.

— Peter Taylor

@ThreeFx, yanılıyorsunuz. Örneğin x, yo zaman farklı bir uzunluğa sahipse W f x -> W f y -> f y yveya W f x -> f x x -> f x y -> f y yfarklıysa.

— Peter Taylor

Şimdi zor olan şey, birisinin sadece bir döngü göndererek bir puan talep edememesidir; hesaplamanın zor olabileceği daha kısa bir indirgeme olmadığını kanıtlamak zorundadırlar.

— xnor

Bir şeyle başlamalıyım

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))

— homoseksüel
kaynak

Birleştirici sorguları

Arka fon

kurallar

Görev

puanlama