«set-theory» etiketlenmiş sorular

Laver tabloları matematik standart aksiyomatik sisteminde sona erdirmek için gösterilmemiş programların örnekler sunmak ZFC biri çok büyük kardinal aksiyomlarını varsayar zaman sonlandırmak ama. Giriş Klasik Laver tabloları seti altında yatan sahip benzersiz sonlu cebirleridir ve bir operasyon olduğunu karşılar kimlik ve için ve .An{1,...,2n}*x * (y * z)=(x * y) …

12 code-golf  math  set-theory 

Sonsuzluğu inceleyen Matematik alanında , herhangi bir sonlu sayılabilir kümenin Kartezyen ürününün de sayılabilir olduğu iyi bilinmektedir . Göreviniz bunu uygulamak için iki program yazmak, biri listeden tamsayıya eşlemek, diğeri tamsayıdan listeye eşleştirmek. İşleviniz iki yönlü ve deterministik olmalıdır, yani 1her zaman belirli bir listeyle eşleşir ve her 2zaman başka …

11 code-golf  set-theory 

İlk olarak, birkaç tanım: Verilen nve kbir sıralı liste, düşünün MULTISETS her multiset için seçtiğimiz, knumaraları {0, 1, ..., n-1}tekrarlar ile. Örneğin, n=5ve k=3için: [(0, 0, 0), (0, 0, 1), (0, 0, 2), (0, 0, 3), (0, 0, 4), (0, 1, 1), ( 0, 1, 2), (0, 1, 3), (0, …

10 code-golf  combinatorics  set-theory 

Bir kümenin yinelenmeden sırasız olduğunu unutmayın. Tanım Bir N -Eşsiz katkı grubu S uzunluğu olan K bir dizi gibi olduğu, tüm N olarak uzunlukta alt-gruplar G farklı sayılara toplamı. Başka bir deyişle, S'nin N- uzunluk alt kümelerinin toplamlarının hepsi farklıdır. Amaç girdi olarak bir dizi / seti ve bir dizi …

10 code-golf  number-theory  set-theory 

Kapalı. Bu soru konu dışı . Şu anda cevapları kabul etmiyor. Bu soruyu geliştirmek ister misiniz? Sorunuzu güncelleyin o yüzden -konu üzerinde Kod Golf Stack Exchange için. 4 yıl önce kapalı . Teorik Aritmetiği Ayarlama Öncül Zaten çarpma operatörü olmadan ( burada ve burada ) çarpmayı içeren birkaç zorluk vardır …

10 fastest-code  set-theory 

Amacınız iki tamsayı listesinin kesişme noktasını hesaplamaktır. Kavşak, her iki giriş listesinde en az bir kez bulunan benzersiz sıralanmamış tamsayı grubu olarak tanımlanır. Giriş Giriş istenen herhangi bir formatta (fonksiyon parametresi, stdio, vb.) Olabilir ve iki tamsayı listesinden oluşur. Birçoğunuz, negatif olmayan tamsayılar içerebilmeleri dışında her liste hakkında hiçbir şey …

10 code-golf  math  set-theory 

Diziler Sen numaralı dört sayı dizileri verilmektedir 1yoluyla 4. OEIS0 Doğal sayıların ikilik olarak listelendiği konumdur . Sıralamanın nasıl hesaplanacağına ilişkin bir örnek: 0,1,10,11,100,101,110,111 ^ ^ ^^ ^ ^ 0 3 78 10 14 Dizinin başlangıcı şöyle: 0, 3, 7, 8, 10, 14, 19, 20, 21, 23, 24, 27, 29, …

9 code-golf  math  sequence  set-theory 

Meydan okuma Belirli bir n tamsayı kümesi için, sözlükbilim dizinini çıkaracak bir program yazın. Kurallar Giriş yalnızca boşluklarla ayrılmış benzersiz negatif olmayan tamsayılar kümesi olmalıdır. Permütasyonun sözlükbilimsel indeksini (0 ila n! -1 dahil) çıkarmalısınız. Permütasyon kütüphaneleri veya permütasyon yerleşikleri kullanılamaz. Dizini bulmanıza yardımcı olması için permütasyonlar kümesini veya girdinin herhangi …

9 code-golf  math  combinatorics  set-theory  permutations 

Görev nParametre / giriş olarak alan ve sette topoloji sayısını (aşağıda gösterilmiştir) basan / döndüren bir fonksiyon / program yazın {1,2,...,n}. Topolojinin Tanımı X'in herhangi bir sonlu küme olmasına izin verin ve X'in güç kümesinin (yani X'in alt kümelerini içeren bir kümenin) alt kümesi olan T'nin şu koşulları karşıladığını varsayalım …

9 code-golf  math  set-theory