タグ付けされた質問 「atomic-code-golf」

我々は、すべてのことを知っている（たぶん）が、あなたがそれを証明することができますか？（− a ）× （− a ）= a × a(−a)×(−a)=a×a(-a) \times (-a) = a \times a あなたの仕事は、リング公理を使用してこの事実を証明することです。リング公理とは何ですか？リング公理は、セットの2つのバイナリ演算が従わなければならない規則のリストです。2つの演算は、加算（）と乗算（です。この挑戦のためにここにリング公理ですと、いくつかのセットにバイナリの操作を閉じている、のクローズ単項演算である、及び、、のメンバーである：+++××\times+++××\timesSSS−−-SSSaaabbbcccSSS a + （b + c ）= （a + b ）+ ca+(b+c)=(a+b)+ca + (b + c) = (a + b) + c a + 0 = aa+0=aa + 0 = a a + （− a …

121 math  atomic-code-golf  abstract-algebra  proof-golf 

このコミュニティに異なる種類のゴルフチャレンジを提案したいと思います。 （人工）ニューラルネットワークは、与えられた（通常は未知の）関数を近似するように設計およびトレーニングできる非常に一般的な機械学習モデルです。彼らは多くの場合、ニューラルネットワーク上のプライマーのために...私たちは、音声認識、画像分類の特定の種類、自律走行システムでは、さまざまなタスクのようにアルゴリズム的解決する方法がわからない、非常に複雑な問題を解決するために使用しているこの素晴らしいを考えますウィキペディアの記事。 これが一連の機械学習のゴルフチャレンジになりたいと願う最初のものであるため、できるだけシンプルなものにしたいと思います。 選択した言語とフレームワークで、与えられた）がと間（を含む）のすべての整数積を計算するニューラルネットワークを設計およびトレーニングします。（x1、x2）(x1,x2)(x_1, x_2)バツ1⋅ X2x1⋅x2x_1 \cdot x_2バツ1、x2x1,x2x_1, x_2− 10−10-10101010 パフォーマンス目標 資格を得るために、モデルはこれらのエントリの正しい結果からを超えて逸脱することはできません。0.50.50.5 ルール あなたのモデル 「従来の」ニューラルネットワークである必要があります（ノードの値は、前のレイヤーのノードの一部の重み付き線形結合と、それに続く活性化関数として計算されます）、 次の標準アクティベーション関数のみを使用できます。 線形（x ）= xlinear(x)=x\textrm{linear}(x) = x、 softmax（ x⃗ ）私= eバツ私∑jeバツjsoftmax(x→)i=exi∑jexj\textrm{softmax}(\vec{x})_i = \frac{e^{x_i}}{\sum_j e^{x_j}}、 セルα 、β（x ）= { β⋅ Xα ⋅ β（eバツ− 1 ）、x > 0の場合 、 そうでなければseluα,β(x)={β⋅x, if x>0α⋅β(ex−1), otherwise\textrm{selu}_{\alpha, \beta}(x) = \begin{cases} \beta \cdot …

68 arithmetic  atomic-code-golf  neural-networks 

現在のベストアンサーに勝つための500人の非公式の賞金があります。 ゴール 目標は、非常に限られた算術演算と変数の割り当てのみを使用して2つの数値を乗算することです。 添加 x,y -> x+y 逆数x -> 1/x（除算ではないx,y -> x/y） 否定x -> -x（ない引き算x,y -> x-y、次の2つの操作としてそれを行うことができますがx + (-y)） 定数1（他の定数は許可されません。ただし、からの操作によって生成されるものを除く1） 変数の割り当て [variable] = [expression] スコアリング：値は変数aおよびで始まりますb。あなたの目標は、できるだけ少ない操作で製品a*bを変数に保存するcことです。各操作と割り当てに+, -, /, =はポイントがかかります（（1）、（2）、（3）、または（4）を使用するたびに）。定数1は無料です。最も少ないポイントのソリューションが勝ちます。タイブレークは最も早い投稿です。 手当：あなたの表現は、「ランダムな」実数aとに対して算術的に正確でなければなりませんb。これは、の尺度ゼロサブセットに失敗する可能性があるR 2にプロットされた場合に何の面積を有していない、すなわち集合a- bデカルト平面。（これが原因である可能性があります式の逆数に必要とされる可能性がある0ように1/a。） 文法： これはatomic-code-golfです。他の操作は使用できません。特に、これは、関数、条件、ループ、または非数値データ型がないことを意味します。許可される操作の文法は次のとおりです（可能性はで区切られています|）。プログラムは<statement>sのシーケンスであり、a <statement>は次のように与えられます。 <statement>: <variable> = <expr> <variable>: a | b | c | [string of letters of your …

44 math  restricted-source  arithmetic  atomic-code-golf 

ルール まず、A ≠ BであるポイントAAAとBBB 2つの要素のみから始めます。これらのポイントは、すべての方向に無限の平面を占有します。A ≠ BA≠BA \neq B プロセスの任意のステップで、次の3つのアクションのいずれかを実行できます。 2点を通る線を引きます。 別の点が円上にあるように、ある点を中心とした円を描きます。 2つのオブジェクト（線と円）が交差する新しいポイントを追加します。 目標は、できるだけ少ない円を使用して、正五角形（5辺の長さが等しい凸多角形）の頂点を形成するように5つのポイントを作成することです。もちろん他のポイントもありますが、そのうちの5つは通常の五角形に必要です。スコアリングのために五角形の端を描く必要はありません。 得点 2つの回答を比較する場合、描画する円の数が少ない方が優れています。円が同点の場合、最も少ない線を引く答えの方が優れています。円と線の両方が同点の場合、追加するポイントが最も少ない答えの方が優れています。 アンチルール 規則リストは網羅的であり、このリストにできることのすべてを詳述しているわけではありませんが、何もできないと言っているからといって、できるというわけではありません。 「任意の」オブジェクトを作成することはできません。あなたが見つけるいくつかの構造は、「任意の」場所にポイントを追加し、そこから動作するように考えます。交差点以外の場所に新しいポイントを追加することはできません。 半径をコピーすることはできません。いくつかの構造は、2点間の半径にコンパスを設定し、それを拾って他の場所に円を描くことを伴います。これはできません。 プロセスを制限することはできません。すべての構造は有限数のステップを踏む必要があります。答えに漸近的に近づくだけでは十分ではありません。 スコアリングで円として数えられることを避けるために、円弧または円の一部を描くことはできません。回答を表示または説明するときに視覚的にアークを使用したい場合は、それらが占めるスペースが少なくなりますが、スコアリングの円としてカウントされます。 道具 GeoGebraの問題を考えることができます。形状タブに移動してください。3つのルールは、中心ツールを使用したポイント、ライン、および円に相当します。 立証責任 これは標準ですが、繰り返し申し上げます。特定の回答が有効であるかどうかについて質問がある場合、回答者が、回答が有効ではないことを示す一般公開ではなく、回答が有効であることを証明する責任があります。 これは私のCode-Golfサイトで何をしていますか？！ これは、ちょっと変わったプログラミング言語ではありますが、プルーフゴルフに似たアトミックコードゴルフの形式です。現在、この種のことが許可されているというメタに関するコンセンサスが+ 22 / -0です。

38 math  geometry  atomic-code-golf 

ルービックキューブ（3 * 3 * 3）を妥当な時間内に解決する最短のプログラムを作成し、移動します（たとえば、マシン上で最大5秒、1000回未満の移動）。 入力の形式は次のとおりです。 UF UR UB UL DF DR DB DL FR FL BR BL UFR URB UBL ULF DRF DFL DLB DBR （この特定の入力は、解決されたキューブを表します）。 最初の12個の2文字の文字列は、UF、UR、... BL位置のエッジ（U =上、F =前、R =右、B =後、L =左、D =下）であり、次の8 3文字の文字列は、UFR、URB、... DBR位置のコーナーです。 出力は、次の形式で一連の動きを示します。 D+ L2 U+ F+ D+ L+ D+ F+ U- F+ D1またはD +はD（下）面を時計回りに90度回転することを表し、L2はL面を180度回転し、U3またはU-はU面を反時計回りに90度回転することを表します。 …

38 code-golf  puzzle-solver  rubiks-cube  restricted-time  code-bowling  code-golf  ascii-art  code-challenge  code-golf  c  code-golf  hello-world  code-golf  string  decision-problem  code-challenge  primes  number-theory  code-golf  code-golf  python  pi  code-golf  graphical-output  game  atomic-code-golf  whitespace  balanced-string  code-golf  geometry  code-golf  optimization  board-game  puzzle-solver  fastest-code  primes  code-challenge  code-golf  hello-world  polyglot  code-golf  cryptography  code-golf  javascript 

整数、出力所与truthyのそれは同じ逆さまである場合、値または（180°回転）falsyそうでない場合、値を。 0、1、及び8回転対称性を持っています。6となり9、逆もまた同様です。 真実の結果を生み出す一連の数字：OEIS A000787 0, 1, 8, 11, 69, 88, 96, 101, 111, 181, 609, 619, 689, 808, 818, 888, 906, 916, 986, 1001, 1111, 1691, 1881, 1961, 6009, 6119, 6699, 6889, 6969, 8008, 8118, 8698, 8888, 8968, 9006, 9116, 9696, 9886, 9966, 10001, 10101, 10801, 11011, 11111, 11811, 16091, …

27 code-golf  number  sequence  decision-problem  code-golf  string  parsing  c  code-golf  sorting  integer  code-golf  number  sequence  rational-numbers  graphical-output  atomic-code-golf  assembly  box-256  code-golf  geometry  tips  python  code-golf  number  sequence  arithmetic  number-theory  code-golf  ascii-art  kolmogorov-complexity  geometry  code-golf  graphical-output  code-golf  math  code-golf  grid  cellular-automata  game-of-life  code-golf  string  subsequence  code-golf  arithmetic  rational-numbers  code-golf  tips  dc  code-golf  ascii-art  kolmogorov-complexity  date  code-golf  string  primes  code-golf  string  natural-language  conversion  code-golf  sequence  code-golf  number-theory  primes  base-conversion  code-golf  math  primes  base-conversion  code-golf  ascii-art  fractal  code-golf  matrix  code-golf  math  tips  geometry  python  string  code-challenge  keyboard  code-golf  graphical-output  code-golf  string  code-golf  number  sequence  cops-and-robbers  number  sequence  cops-and-robbers 

符号なし32ビット整数のnモジュロ12を計算します。 ルール： 0〜23のすべてnで機能する必要があります。その他の番号はオプションです。 演算子のみのいずれかを使用しなければならない+-*、~&^|または<<、>>一般に32ビットするuintで定義した通りです。 任意の数の定数uintを使用できます。 配列を含むポインター、またはif三項演算子や「より大きい」演算子などのifステートメントにコンパイルされるものを含むステートメントを使用することはできません。 得点： 演算子+ -とビット演算子~ & ^ | << >>（NOT、AND、XOR、OR、ビットシフトが）のスコアを与える1、*のスコアを与えます2。 最も低い合計スコアが勝ちます。

27 math  number-theory  atomic-code-golf 

今日のGoogle Doodleは、50年の子供のコーディングを祝うことです。目標は、すべてのニンジンを食べることができるように、小さなウサギの道をプログラムすることです。ブロックには4つのタイプがあります（下の図を参照）。 左から右へ： O("...", k)=オレンジ色のピース：これらはfor、プログラムのk回実行されるループ"..."です。 G =緑のピース：可能であれば1歩先に進み、そうでなければ何もしない Bl =青いピース：右に曲がって同じブロックにとどまる Br =青い部分：左に曲がって同じブロックにとどまる 上記のコードは次のように書くことができます O(O(G G Br, 4) Bl Bl, 23) 各ブロック（G, Bl, Br, O(...,k)）は1単位としてカウントされるため、このプログラムの長さは7 kですO。 6つのレベルがあります。レベルを完了するには、すべてのニンジンを食べる必要があります。プログラムが完全に実行されていなくても問題ありません。最後のニンジンを食べるとレベルが直接終了します。 すべてのレベルで4種類のブロックがすべて使用可能であると想定しています。 あなたの仕事は、ゲームのあらゆるレベルを解決する単一のプログラムを見つけることです。 ブロック単位の最短プログラムが勝ちます。 各レベルのスクリーンショット： レベル1： レベル2： レベル3： レベル4： レベル5： レベル6：

26 game  atomic-code-golf 

これは最近の課題のバージョンです。この数値は-2の整数乗ですか？問題の興味深い性質を強調し、課題をより困難にするために設計されたさまざまな基準を使用します。ここで考慮します。 リンクされた質問でTobyが素晴らしく述べた挑戦は、次のとおりです。 整数が2の正確なべき乗であるかどうかを判断する賢い方法があります。それはもはや興味深い問題ではないので、与えられた整数が-2の正確なべき乗であるかどうかを判断しましょう。例えば： -2 => yes: (-2)¹ -1 => no 0 => no 1 => yes: (-2)⁰ 2 => no 3 => no 4 => yes: (-2)² ルール： 整数は、64ビット、符号付き、2の補数です。これは、使用できる唯一のデータ型です。 次の操作のみを使用できます。これらはそれぞれ1つの操作としてカウントされます。 n << k、n >> k：左/右シフトnによってkビット。符号ビットは右シフトで拡張されます。 n >>> k：右シフトしますが、符号ビットを拡張しません。0がシフトインされます。 a & b、a | b、a ^ b：ビット単位のAND、OR、XOR。 a + b、a - b、a …

26 decision-problem  integer  atomic-code-golf 

前書き カーニングとは、テキストの文字間の間隔を調整することを意味します。例として、Top次の3つのグリフで書かれた単語を考えます。 ##### ..... ..... ..#.. ..... ..... ..#.. ..##. .###. ..#.. .#..# .#..# ..#.. .#..# .#..# ..#.. ..##. .###. ..... ..... .#... ..... ..... .#... グリフ間のギャップをドットで埋めて完了させることもできますが、ギャップはどうやら広すぎるように見えます。代わりに、グリフを左にスライドさせて、ほとんど触れないようにします。 #####........ ..#.......... ..#..##..###. ..#.#..#.#..# ..#.#..#.#..# ..#..##..###. .........#... .........#... これはずっと良く見える！のバーがTの左の境界線の上にあることに注意してくださいo。この課題では、このような長方形のグリフに簡単なカーニングプログラムを実装することがタスクです。 カーニングプロセス 二長方形の2次元文字配列考える.と#同じ形状を。単純なカーニングプロセスでは、最初に1列の.sを挟んで配列を並べて配置します。次に、#右と左の配列のいくつか#が直交または斜めに隣接するまで、右の配列のそれぞれを左に1ステップ移動します。カーニングの結果は、隣接するを導入する前のステップ#です。あなたの仕事は、このプロセスを実装することです。 例を見てみましょう： Inputs: ..### #.... #.... ..##. ...#. ...## ..### ....# Process: ..###....#. …

24 code-golf  grid  code-challenge  atomic-code-golf  code-golf  combinatorics  probability-theory  card-games  code-golf  number  geometry  code-golf  decision-problem  chess  code-golf  math  number  sequence  code-golf  string  regular-expression  code-golf  arithmetic  integer  code-golf  math  array-manipulation  code-golf  number  decision-problem  integer  code-golf  string  ascii-art  kolmogorov-complexity  code-golf  decision-problem  graph-theory  binary-matrix  code-golf  string  parsing  code-golf  string  code-golf  morse  code-golf  code-golf  string  code-golf  ascii-art  cellular-automata  code-golf  binary  base-conversion  code-golf  arithmetic  decision-problem  integer  checksum  code-golf  matrix  linear-algebra  code-golf  code-golf  game  code-golf  sequence  binary  code-golf  combinatorics  optimization  code-golf  decision-problem  quine  code-golf  rational-numbers  bitwise  code-golf  string  permutations  code-golf  kolmogorov-complexity  unicode  code-golf  ascii-art  number  code-golf  number  integer  binary  base-conversion  code-golf  array-manipulation  code-golf  chemistry  code-golf  number  sequence  fibonacci  code-golf  matrix  optimization  code-golf  number  code-golf  math  number  sequence  code-golf  math  array-manipulation  matrix  linear-algebra  code-golf  kolmogorov-complexity  cops-and-robbers  cops-and-robbers  code-golf  tips  basic  code-golf  decision-problem  binary  tiling  game  king-of-the-hill  python  code-golf  c  code-golf  ascii-art  code-golf  string  kolmogorov-complexity  alphabet  code-golf  number  code-golf  string  code-golf  number  sequence  integer  code-golf  number  permutations  restricted-complexity  restricted-time 

与えられた整数のリスト{0, 3, 2, 5, 0, 3, 5, 1, 4, 6, 2, 4}。これらの数字に興味がある人のために平日の計算に使用されます。 Weekday = (m[n] + d + y + y>>2 + y/400 - y/100) % 7;、m[n]where-検索する式、-day dof month、y- year - (month <= 2)。 算術演算子、論理演算子、ビット単位演算子で構成される式を作成します。これらの演算子は、リストのn番目の数値に等しくnなるmように正の整数を出力しm % 7ます。 分岐、三項演算子、テーブル検索、およびポインターは許可されていません。 スコア： 1- | & ^ ~ >> <<オペレーター 1.1- + - < …

24 math  arithmetic  date  atomic-code-golf 

（注：これは私の初めてのコードゴルフの質問ですが、私が知る限り、誰もこれを正確に行っていないので、私は良いはずです。） あなたの仕事は、文字列sと整数を取り込んで、n複数の行に折り返されたテキストを返すか出力するプログラムまたは関数を作成することです。各単語は完全に1行である必要があります。つまり、途中で単語が分割されません。各行はn文字より長くすることはできません。また、各行にできるだけ多くの単語を収める必要があります。 例： s = "Lorem ipsum dolor sit amet, consectetur adipiscing elit. Sed eget erat lectus. Morbi mi mi, fringilla sed suscipit ullamcorper, tristique at mauris. Morbi non commodo nibh. Pellentesque habitant morbi tristique senectus et netus et malesuada fames ac turpis egestas. Sed at iaculis mauris. Praesent a …

22 code-golf  string  code-golf  string  parsing  apl  math  primes  integer  fastest-code  code-golf  math  primes  integer  code-golf  ascii-art  kolmogorov-complexity  code-golf  string  array-manipulation  code-golf  number  code-golf  sequence  code-golf  math  arithmetic  code-golf  date  conversion  code-golf  geometry  combinatorics  grid  code-golf  string  code-golf  counting  java  code-golf  chess  code-golf  path-finding  conversion  atomic-code-golf  logic-gates  code-golf  fibonacci  code-golf  ascii-art  fractal  code-golf  quine  code-golf  string  code-golf  array-manipulation  decision-problem  code-golf  quine  code-golf  code-challenge  array-manipulation  code-challenge  word-search  code-golf  binary  conversion  code-golf  code-golf  restricted-source  code-golf  kolmogorov-complexity  restricted-source  code-golf  kolmogorov-complexity  random  animation 

インスピレーションを与えてくれたこの質問に感謝します この挑戦で、私たちはのストリングとしてドミノのラインを表すでしょう|、/そして\。入力としてドミノの文字列が与えられ、落ち着いたときにどのように見えるかを決定する必要があります。ドミノが倒れる方法のルールは次のとおりです |倒れたドミノの左にある立っているドミノは、\同様に左の倒れたドミノになります。 |倒れたドミノの右側にある立っているドミノも、/同様に倒れた右のドミノになります。 倒れたドミノが左倒れ\た/ドミノと右倒れたドミノの間にある場合、立ったままになります。 これらの規則は、配置が変更されなくなるまで繰り返し適用されます。 単一の入力がその結論に到達する方法の例を次に示します |||||||\/|||||||\||\|||/||||||\||||| ||||||\\//|||||\\|\\|||//||||\\||||| |||||\\\///|||\\\\\\|||///||\\\||||| ||||\\\\////|\\\\\\\|||////\\\\||||| |||\\\\\////|\\\\\\\|||////\\\\||||| ||\\\\\\////|\\\\\\\|||////\\\\||||| |\\\\\\\////|\\\\\\\|||////\\\\||||| \\\\\\\\////|\\\\\\\|||////\\\\||||| あなたの仕事は、入力の最終結果を見つけて出力するコードを書くことです。入力は常に有効で、少なくとも2文字が含まれていると想定できます。 これはコードゴルフであるため、回答はバイト単位で記録され、バイト数は少ない方が良いでしょう。 テストケース |||/|||| -> |||///// |||\|||| -> \\\\|||| |/||||\| -> |///\\\| ||/|||\| -> ||//|\\| ||\|||/| -> \\\|||//

22 code-golf  string  dominoes  code-golf  ascii-art  code-golf  date  error-message  code-golf  arithmetic  date  clock  code-golf  ascii-art  kolmogorov-complexity  alphabet  code-golf  math  number-theory  integer  integer-partitions  code-challenge  test-battery  game-of-life  optimized-output  code-golf  decision-problem  integer  division  math  number-theory  atomic-code-golf  code-golf  number  array-manipulation 

正の整数ネスティングレベル所定のn文字列s印刷可能なASCII文字（のと~同じ言語で実行すると、プログラムを出力するプログラムを出力し、出力プログラム。。。文字列を出力しますs。 合計でnプログラムを生成する必要があります。すべてのプログラムは回答と同じ言語で実行する必要があります。 注：プログラムまたは関数を出力することができます-提出物としてデフォルトで許可されているもの。 あなたのs言語のプログラムや関数が通常どのように文字列を入力するかをエスケープ文字で入力できます。 例 例えば、与えられたn=1とs="recursion"、Pythonの2プログラムのかもしれない出力： print "recursion" これを実行すると出力されます： recursion 与えられたn=2s = "PPCG"の場合、Python 2プログラムは次を出力します。 print "print \"PPCG\" " この出力の実行： print "PPCG" この出力の実行： PPCG 関連（+タイトルのインスピレーション）：もう1つのLULと私は出ています 関連（サンドボックス内-現在削除されていますが、十分な評判で表示できます）：ソースコードの再帰 テストケース 次のテストケースでコードが機能することを確認します（1行に1つ）。 n s 2 PPCG 4 Robert'); DROP TABLE Students;-- 17 Deep 2 Spaces In Here 3 "Don't forget quotes!" 5 'Backt`cks might be …

21 code-golf  recursion  code-golf  kolmogorov-complexity  board-game  code-golf  number-theory  polynomials  code-golf  code-golf  array-manipulation  polyglot  alphabet  answer-chaining  code-golf  sequence  math  atomic-code-golf  abstract-algebra  proof-golf  code-golf  internet  code-golf  internet  code-golf  ascii-art  kolmogorov-complexity  code-golf  math  ascii-art  number  integer  code-golf  decision-problem  binary-matrix  code-golf  number  sequence  number-theory  code-golf  math  decision-problem  matrix  abstract-algebra  code-golf  string  keyboard  code-golf  fractal  code-golf  math  sequence  combinatorics  hello-world  vim  code-golf  sequence  code-golf  graphical-output  image-processing  code-golf  decision-problem  matrix  linear-algebra  code-golf  ascii-art  code-golf  math  code-golf  ascii-art  graphical-output  code-golf  string  code-golf  string  substitution  code-golf  string  ascii-art  code-golf  arithmetic  code-golf  number  array-manipulation  decision-problem  code-golf  kolmogorov-complexity  code-generation  fractal  code-golf  ascii-art  kolmogorov-complexity  code-golf  ascii-art  code-golf  string  array-manipulation  code-golf  music  code-golf  array-manipulation  code-golf  internet  stack-exchange-api  math  fastest-algorithm  code-golf  binary  bitwise  code-golf  date  code-golf  string  code-golf  sequence  integer  code-golf  arithmetic  number-theory  code-golf  string  random 

自然控除システムの10の推論を使用して、DeMorganの法則を証明します。 自然控除のルール 否定の紹介： {(P → Q), (P → ¬Q)} ⊢ ¬P 否定の排除： {(¬P → Q), (¬P → ¬Q)} ⊢ P はじめに： {P, Q} ⊢ P ʌ Q そして除去： P ʌ Q ⊢ {P, Q} または紹介： P ⊢ {(P ∨ Q),(Q ∨ P)} または除去： {(P ∨ Q), (P → R), (Q …

21 atomic-code-golf  logic  proof-golf