パートI
エントリー
最近、眠れない夜を過ごした後、私は一年の各月の日数を記憶する方法を考えてきました。 これを行うには、カウントと、指の関節を頼りにする方法がありますが、どちらも私に適していない。 そのような問題を解決するための数式はあるのだろうかと思いました-そのような大まかな研究を発見していないので、私はそれを作成することに挑戦しました。
言い換えると、1〜12の数値で表される各月xの値f(x)がその月の日数に等しくなるような関数fを見つける必要があります。 引数と関数値の表1 :
x | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
f(x) | 31 | 28 | 31 | 30 | 31 | 30 | 31 | 31 | 30 | 31 | 30 | 31 |
あなたが私の決定を読む前に自分で試してみたいという欲求があるなら、今がその時です。 完成した回答をすぐに見たい場合は、ネタバレをご覧ください。
答え

以下は、解決策を見つけるための私の手順です。
数学的装置
まず、この問題を解決するための2つの重要な演算子である整数除算と除算の残りのメモリのクイックリフレッシュ。
整数除算は、2つの整数を除算し、商から小数部分を破棄するときに多くのプログラミング言語で使用される演算子です。 私は彼を


除算の余りは、除算の余りを見つける演算子です。 多くのプログラミング言語は%記号を使用しますが、フォームの構造を使用します


部門の残りは部門と同じ優先順位を持っていることに注意してください。
基本
したがって、基本的な式を取得するために、数学的な装置を適用します。 2通常の月である30日または31日。


テーブルを取得すると、正しい値が太字で強調表示されます。
x | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
f(x) | 31 | 30 | 31 | 30 | 31 | 30 | 31 | 30 | 31 | 30 | 31 | 30 |
いいスタートです! すでに1月と3月から7月までの月の正しい値があります。 2月は特別なケースであり、少し後で対処します。 7月以降、残りの月については、0と1の受け取り順序を逆にする必要があります。
これを行うには、割り切れる1に追加します。

x | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
f(x) | 30 | 31 | 30 | 31 | 30 | 31 | 30 | 31 | 30 | 31 | 30 | 31 |
現在、正しい値は8月から12月までですが、予想どおり、他の月の値は正しくありません。 これらの式をどのように組み合わせることができるか見てみましょう。
マスクオーバーレイ
これには区分的に定義された関数が必要ですが、私には退屈そうに思えたので、ある区間で関数の一部を使用し、別の区間で別の部分を使用する別のソリューションパスについて考えました。
1つのアプリケーション領域で1、残りの領域で0に等しい式を見つけるのが最も簡単だと思います。 引数に式を乗算することにより、アプリケーションの範囲外の式から引数を除外する方法。この動作はビットマスクに似ているため、「マスキング」と呼ばれます。
このメソッドを関数の最後の部分に適用するには、1に等しい式を見つける必要があります

x | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
⌊x ⁄ 8⌋ | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 |
今、このマスクを割り切れる



x | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
f(x) | 31 | 30 | 31 | 30 | 31 | 30 | 31 | 31 | 30 | 31 | 30 | 31 |
ユーレカ! 2月以外はすべて正しいです。 サプライズサプライズ。
2月
毎月、30日または31日。ただし、2月28日から2月を除きます(うるう年はこのタスクの範囲外です)。 3現時点では、式によると30日間あるため、2に等しい式を減算すると良いでしょう

私が思いついたのは最高です

x | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
2 mod x | 0 | 0 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 |
残りの月に2を追加して基本定数を28に変更すると、式が得られます。

x | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
f(x) | 29日 | 28 | 31 | 30 | 31 | 30 | 31 | 31 | 30 | 31 | 30 | 31 |
残念ながら、1月は2日短くなりました。 しかし、幸いなことに、最初の1か月のみに適用される式を取得するのは非常に簡単です。


x | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
f(x) | 31 | 28 | 31 | 30 | 31 | 30 | 31 | 31 | 30 | 31 | 30 | 31 |
あとがき
これは、単純な算術を使用して、年の任意の月の日数を取得するための式です。 次回9月の何日かを思い出したら、

function f(x) { return 28 + (x + Math.floor(x/8)) % 2 + 2 % x + 2 * Math.floor(1/x); }
パートII
エントリー
最初の部分では、短くてわずかにエレガントな式が得られました。その主な利点は、数学的装置の単純さ、分岐と条件式の欠如、および簡潔性です。 欠点は、プロジェクトに適用しないという事実に加えて、うるう年ではなくうるう年の検証がないことです。
したがって、1〜12の数字と0より大きいy年で表される各月xの値f(x、y)がy年の x月の日数と等しくなるように、関数fを作成するタスクを自分で設定します。
せっかちな人のために、ネタバレの下に既製の答えがありますが、私は残りの人に私に従ってください。
答え

除算の剰余: modおよび⌊⌋
視覚的にわかりやすくするために、一部の式では、残りの除算演算子が必要に応じて下括弧で置き換えられていることに同意します。

うるう年
うるう年に追加のカレンダー日が導入されます:2月29日。 ご存知のように、うるう年は4の倍数であり、100の倍数でも400の倍数でもありません。このステートメントと同じ式を記述します。

この式を代数的にするには、式の結果に適用する必要があります


これにより、月の日数を決定する式で使用するために、剰余なしで除算する場合は1を、剰余で除算する場合は0を取得できます。
関数g 'として、1-除算の剰余を使用できます


x | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
g '(x) | 無限大 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
配当と除数を1増やすと、正しい公式が得られることが簡単にわかります。


x | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
g '(x) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
したがって、式


そして、表現


このアプローチを使用して、次の関数g(y)を取得します。その年の値はうるう年の場合は1、そうでない場合は0になります。

y | 1990 | 1991 | 1992 | 1993 | 1994 | 1995 | 1996 | 1997 | 1998 | 1999 | 2000年 |
---|---|---|---|---|---|---|---|---|---|---|---|
g(y) | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 1 |
y | 2000年 | 2100 | 2200 | 2300 | 2400 | 2500 | 2600 | 2700 | 2800 | 2900 | 3000 |
g(y) | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 |
太字はle年です。
受け入れられた合意の枠組み内で、部門の残りを取得する演算子はmodとbothの両方で表現できることを思い出してください。
マスクオーバーレイ
式で



x | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
f(x、2000) | 31 | 29日 | 31 | 30 | 31 | 30 | 31 | 31 | 30 | 31 | 30 | 31 |
f(x、2001) | 30 | 28 | 31 | 30 | 31 | 30 | 31 | 31 | 30 | 31 | 30 | 30 |
1月を除くすべての月の値はうるう年ではありません。
この厄介な誤解を修正するために、1月1日までに、すでに知っている式を追加します。


x | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
f(x、2000) | 32 | 29日 | 31 | 30 | 31 | 30 | 31 | 31 | 30 | 31 | 30 | 31 |
f(x、2001) | 31 | 28 | 31 | 30 | 31 | 30 | 31 | 31 | 30 | 31 | 30 | 30 |
うるう年の場合、1月から1日を差し引く必要があります。これは、 x


次に、式は次の形式を取ります。


または:

x | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
f(x、2000) | 31 | 29日 | 31 | 30 | 31 | 30 | 31 | 31 | 30 | 31 | 30 | 31 |
f(x、2001) | 31 | 28 | 31 | 30 | 31 | 30 | 31 | 31 | 30 | 31 | 30 | 30 |
おわりに
その結果、特定の年の月の日数を取得するために使用できる、はるかにかさばるがより普遍的な式が得られました。
function f(x, y) { return 28 + ((x + Math.floor(x / 8)) % 2) + 2 % x + Math.floor((1 + (1 - (y % 4 + 2) % (y % 4 + 1)) * ((y % 100 + 2) % (y % 100 + 1)) + (1 - (y % 400 + 2) % (y % 400 + 1))) / x) + Math.floor(1/x) - Math.floor(((1 - (y % 4 + 2) % (y % 4 + 1)) * ((y % 100 + 2) % (y % 100 + 1)) + (1 - (y % 400 + 2) % (y % 400 + 1)))/x); }
C# ideone.com/fANutzの例。
1 私はそのようなニーモニックの使い方を知らないので、インターネット上のプレートを見ました。
2 。 ほとんどのルールと同様に、「基本」または「多くの例外を伴うルール」。
3 。 2月はもともとローマ暦の年の最後の月であったため、論理は他の誰よりも短いということです。 年末に日を追加または削除するロジックもあるため、その長さは可変です。
更新しました。 1:
VKontakteコミュニティの最初の部分の代替翻訳。
更新しました。 2: kexmenのコメントのおかげで、うるう年( g(y) )を決定する式のバグが修正され、最終的な式が修正されました。